What is the derivative of #arctan(x)^(1/2)#?