Mul tan Add x7 1 Add 1 cosh Pow x0 Mul csch x0 x5 
Mul tan Add x7 1 Mul sinh Pow x0 Mul csch x0 x5 Mul Pow x0 Add Mul csch x0 x5 -1 Add Mul csch x0 x5 Mul Mul x0 log x0 Mul x5 Mul Mul -1 coth x0 csch x0 