atan Add csch x7 Add x4 Mul Pow atan x0 Pow pi Pow x0 Add acos sech x0 4 x0 
Mul Add Mul x0 Mul Pow atan x0 Add Pow pi Pow x0 Add acos sech x0 4 -1 Add Mul Pow pi Pow x0 Add acos sech x0 4 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul Pow pi Add Pow x0 Add acos sech x0 4 -1 Mul Mul pi log pi Mul Pow x0 Add Add acos sech x0 4 -1 Add Add acos sech x0 4 Mul Mul x0 log x0 Mul -1 Mul Mul tanh x0 Mul -1 sech x0 Pow sqrt Add 1 Mul -1 Mul sech x0 sech x0 -1 Pow atan x0 Pow pi Pow x0 Add acos sech x0 4 Pow Add 1 Mul Add csch x7 Add x4 Mul Pow atan x0 Pow pi Pow x0 Add acos sech x0 4 x0 Add csch x7 Add x4 Mul Pow atan x0 Pow pi Pow x0 Add acos sech x0 4 x0 -1 