Mul Add Add Add Pow x0 Mul -3 cosh x0 E x0 1 coth exp Mul csch coth x4 x0 
Add Mul coth exp Mul csch coth x4 x0 Add Mul Pow x0 Add Mul -3 cosh x0 -1 Add Mul -3 cosh x0 Mul Mul x0 log x0 Mul -3 sinh x0 1 Mul Add Add Add Pow x0 Mul -3 cosh x0 E x0 1 Mul Mul -1 Pow csch exp Mul csch coth x4 x0 2 Mul exp Mul csch coth x4 x0 csch coth x4 