derivative 2^tan 1/x