Pow coth csch Pow Pow atan x0 x0 Pow x0 cosh x6 Pow x2 x6 
Mul Pow coth csch Pow Pow atan x0 x0 Pow x0 cosh x6 Add Pow x2 x6 -1 Mul Pow x2 x6 Mul Mul -1 Pow csch csch Pow Pow atan x0 x0 Pow x0 cosh x6 2 Mul Mul Mul -1 coth Pow Pow atan x0 x0 Pow x0 cosh x6 csch Pow Pow atan x0 x0 Pow x0 cosh x6 Mul Pow Pow atan x0 x0 Add Pow x0 cosh x6 -1 Add Mul Pow x0 cosh x6 Mul Pow atan x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul x0 x0 -1 Mul atan x0 log atan x0 Mul Mul Pow atan x0 x0 log Pow atan x0 x0 Mul Pow x0 Add cosh x6 -1 cosh x6 