Pow atan Add asech log pi x0 cot x0 
Mul Pow atan Add asech log pi x0 Add cot x0 -1 Add Mul cot x0 Pow Add 1 Mul Add asech log pi x0 Add asech log pi x0 -1 Mul Mul atan Add asech log pi x0 log atan Add asech log pi x0 Mul -1 Pow csc x0 2 