Pow Add Mul csch x6 x0 x0 Mul Add cosh x3 x0 x2 
Mul Pow Add Mul csch x6 x0 x0 Add Mul Add cosh x3 x0 x2 -1 Add Mul Mul Add cosh x3 x0 x2 Add csch x6 1 Mul Mul Add Mul csch x6 x0 x0 log Add Mul csch x6 x0 x0 x2 