cosh Pow log Mul Mul x7 Pow 4 Pow sec coth x0 x1 x0 log sinh x0 
Mul sinh Pow log Mul Mul x7 Pow 4 Pow sec coth x0 x1 x0 log sinh x0 Mul Pow log Mul Mul x7 Pow 4 Pow sec coth x0 x1 x0 Add log sinh x0 -1 Add Mul log sinh x0 Mul Add Mul x0 Mul x7 Mul Pow 4 Add Pow sec coth x0 x1 -1 Mul 5.38629436111989 Mul Pow sec coth x0 Add x1 -1 Mul x1 Mul Mul tan coth x0 sec coth x0 Mul -1 Pow csch x0 2 Mul x7 Pow 4 Pow sec coth x0 x1 Pow Mul Mul x7 Pow 4 Pow sec coth x0 x1 x0 -1 Mul Mul log Mul Mul x7 Pow 4 Pow sec coth x0 x1 x0 log log Mul Mul x7 Pow 4 Pow sec coth x0 x1 x0 Mul cosh x0 Pow sinh x0 -1 