Mul -3 cosh Add Add Mul x0 Mul x0 x6 Pow atan acsc coth x1 x0 Add x0 sin x3 
Mul -3 Mul sinh Add Add Mul x0 Mul x0 x6 Pow atan acsc coth x1 x0 Add x0 sin x3 Add Add Add Mul x0 x6 Mul x0 x6 Mul Pow atan acsc coth x1 Add x0 -1 Mul atan acsc coth x1 log atan acsc coth x1 1 