Mul atan pi Add Pow Pow Pow Add Mul x0 x7 x0 Mul x0 x0 cosh x0 cosh coth x0 E 
Mul atan pi Mul Pow Pow Pow Add Mul x0 x7 x0 Mul x0 x0 cosh x0 Add cosh coth x0 -1 Add Mul cosh coth x0 Mul Pow Pow Add Mul x0 x7 x0 Mul x0 x0 Add cosh x0 -1 Add Mul cosh x0 Mul Pow Add Mul x0 x7 x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Add x7 1 Mul Mul Add Mul x0 x7 x0 log Add Mul x0 x7 x0 Add x0 x0 Mul Mul Pow Add Mul x0 x7 x0 Mul x0 x0 log Pow Add Mul x0 x7 x0 Mul x0 x0 sinh x0 Mul Mul Pow Pow Add Mul x0 x7 x0 Mul x0 x0 cosh x0 log Pow Pow Add Mul x0 x7 x0 Mul x0 x0 cosh x0 Mul sinh coth x0 Mul -1 Pow csch x0 2 