Mul csch sech acoth Mul x4 Pow x4 Add -2 x2 Add Mul E x0 Pow Add x0 atanh Mul x0 x1 sec cosh x0 
Mul csch sech acoth Mul x4 Pow x4 Add -2 x2 Add E Mul Pow Add x0 atanh Mul x0 x1 Add sec cosh x0 -1 Add Mul sec cosh x0 Add 1 Mul x1 Pow Add 1 Mul -1 Mul Mul x0 x1 Mul x0 x1 -1 Mul Mul Add x0 atanh Mul x0 x1 log Add x0 atanh Mul x0 x1 Mul Mul tan cosh x0 sec cosh x0 sinh x0 