Add Mul x0 Add Pow pi Mul 2 asech x0 Mul atanh E csc x0 Add Mul x0 atan sqrt x0 4 
Add Add Add Pow pi Mul 2 asech x0 Mul atanh E csc x0 Mul x0 Add Mul Pow pi Add Mul 2 asech x0 -1 Mul Mul pi log pi Mul 2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul atanh E Mul Mul -1 cot x0 csc x0 Add atan sqrt x0 Mul x0 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul sqrt x0 sqrt x0 -1 