Mul Mul -2 Pow Pow 2 Mul log x1 5 Mul Mul -1 csch x0 cosh x0 x3 
Mul x3 Mul -2 Mul Pow Pow 2 Mul log x1 5 Add Mul Mul -1 csch x0 cosh x0 -1 Mul Mul Pow 2 Mul log x1 5 log Pow 2 Mul log x1 5 Add Mul cosh x0 Mul -1 Mul Mul -1 coth x0 csch x0 Mul Mul -1 csch x0 sinh x0 