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