Mul x0 Mul Mul Mul x1 Add x5 Mul x0 3 x0 Mul coth sinh x0 x6 
Add Mul Mul Mul x1 Add x5 Mul x0 3 x0 Mul coth sinh x0 x6 Mul x0 Add Mul Mul coth sinh x0 x6 Add Mul x0 Mul x1 3 Mul x1 Add x5 Mul x0 3 Mul Mul Mul x1 Add x5 Mul x0 3 x0 Mul x6 Mul Mul -1 Pow csch sinh x0 2 cosh x0 