Mul Add cosh x2 Add Mul x0 x4 exp coth Add x6 Add x0 Mul x2 -3 Mul x0 x1 
Add Mul Mul x0 x1 Add x4 Mul exp coth Add x6 Add x0 Mul x2 -3 Mul -1 Pow csch Add x6 Add x0 Mul x2 -3 2 Mul Add cosh x2 Add Mul x0 x4 exp coth Add x6 Add x0 Mul x2 -3 x1 