Mul Add Pow coth csch csc Pow x0 2 Pow cosh x7 Add E -1 x0 Pow 4 x4 
Mul Pow 4 x4 Add Mul Pow coth csch csc Pow x0 2 Add Pow cosh x7 Add E -1 -1 Mul Pow cosh x7 Add E -1 Mul Mul -1 Pow csch csch csc Pow x0 2 2 Mul Mul Mul -1 coth csc Pow x0 2 csch csc Pow x0 2 Mul Mul Mul -1 cot Pow x0 2 csc Pow x0 2 Mul x0 2 1 