derive 1/6arctan(sqrt(x^2-9)/3)-sqrt(x^2-9)/(2x^2)