exp Add cosh x0 Pow pi Pow sech Pow x5 x0 Mul Mul -2 atan x0 Mul x0 x0 
Mul exp Add cosh x0 Pow pi Pow sech Pow x5 x0 Mul Mul -2 atan x0 Mul x0 x0 Add sinh x0 Mul Pow pi Add Pow sech Pow x5 x0 Mul Mul -2 atan x0 Mul x0 x0 -1 Mul Mul pi log pi Mul Pow sech Pow x5 x0 Add Mul Mul -2 atan x0 Mul x0 x0 -1 Add Mul Mul Mul -2 atan x0 Mul x0 x0 Mul Mul tanh Pow x5 x0 Mul -1 sech Pow x5 x0 Mul Pow x5 Add x0 -1 Mul x5 log x5 Mul Mul sech Pow x5 x0 log sech Pow x5 x0 Add Mul Mul x0 x0 Mul -2 Pow Add 1 Mul x0 x0 -1 Mul Mul -2 atan x0 Add x0 x0 