Mul sqrt asech asech Add atan asech pi x0 log Mul Add Pow x0 4 x0 Pow atanh x0 x0 
Add Mul log Mul Add Pow x0 4 x0 Pow atanh x0 x0 Mul Pow Mul 2 sqrt asech asech Add atan asech pi x0 -1 Mul Pow Mul Mul Add atan asech pi x0 Add atan asech pi x0 sqrt Add 1 Mul -1 Pow Mul Add atan asech pi x0 Add atan asech pi x0 -1 -1 Pow Mul Mul asech Add atan asech pi x0 asech Add atan asech pi x0 sqrt Add 1 Mul -1 Pow Mul asech Add atan asech pi x0 asech Add atan asech pi x0 -1 -1 Mul sqrt asech asech Add atan asech pi x0 Mul Add Mul Pow atanh x0 x0 Add Mul Pow x0 3 4 1 Mul Add Pow x0 4 x0 Mul Pow atanh x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 log atanh x0 Pow Mul Add Pow x0 4 x0 Pow atanh x0 x0 -1 