atan Add E Mul acos sqrt sec Pow pi x0 x2 
Mul Mul x2 Mul -1 Mul Mul Pow Mul 2 sqrt sec Pow pi x0 -1 Mul Mul tan Pow pi x0 sec Pow pi x0 Mul Pow pi Add x0 -1 Mul pi log pi Pow sqrt Add 1 Mul -1 Mul sqrt sec Pow pi x0 sqrt sec Pow pi x0 -1 Pow Add 1 Mul Add E Mul acos sqrt sec Pow pi x0 x2 Add E Mul acos sqrt sec Pow pi x0 x2 -1 