Pow Add x0 x6 Pow Pow Add x0 x0 x0 Mul Mul sqrt E cosh x2 Add coth x7 2 
Mul Pow Add x0 x6 Add Pow Pow Add x0 x0 x0 Mul Mul sqrt E cosh x2 Add coth x7 2 -1 Add Pow Pow Add x0 x0 x0 Mul Mul sqrt E cosh x2 Add coth x7 2 Mul Mul Add x0 x6 log Add x0 x6 Mul Pow Pow Add x0 x0 x0 Add Mul Mul sqrt E cosh x2 Add coth x7 2 -1 Mul Mul Mul sqrt E cosh x2 Add coth x7 2 Mul Pow Add x0 x0 Add x0 -1 Add Mul x0 2 Mul Add x0 x0 log Add x0 x0 