Add Mul Pow x0 atan coth sech Pow x3 2 sqrt x0 sech acoth Pow atan x0 Add Mul x0 x1 Add x0 pi 
Add Add Mul sqrt x0 Mul Pow x0 Add atan coth sech Pow x3 2 -1 atan coth sech Pow x3 2 Mul Pow x0 atan coth sech Pow x3 2 Pow Mul 2 sqrt x0 -1 Mul Mul tanh acoth Pow atan x0 Add Mul x0 x1 Add x0 pi Mul -1 sech acoth Pow atan x0 Add Mul x0 x1 Add x0 pi Mul Mul Pow atan x0 Add Add Mul x0 x1 Add x0 pi -1 Add Mul Add Mul x0 x1 Add x0 pi Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Add x1 1 Pow Add 1 Mul -1 Mul Pow atan x0 Add Mul x0 x1 Add x0 pi Pow atan x0 Add Mul x0 x1 Add x0 pi -1 