Add coth Add Pow 3 cosh x5 Mul atan log x0 3 Add Pow x0 4 Mul Add 5 Mul x1 Add x0 x0 E 
Add Mul Mul -1 Pow csch Add Pow 3 cosh x5 Mul atan log x0 3 2 Mul 3 Mul Pow x0 -1 Pow Add 1 Mul log x0 log x0 -1 Add Mul Pow x0 3 4 Mul E Mul x1 2 