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