atan(cot(x)^2)+acot(tan(x)^2)