Mul log Pow x0 Mul Mul Pow 5 x5 Mul x0 csch x7 x0 acsch E 
Mul acsch E Mul Mul Pow x0 Add Mul Mul Pow 5 x5 Mul x0 csch x7 x0 -1 Add Mul Mul Pow 5 x5 Mul x0 csch x7 x0 Mul Mul x0 log x0 Add Mul x0 Mul Pow 5 x5 csch x7 Mul Pow 5 x5 Mul x0 csch x7 Pow Pow x0 Mul Mul Pow 5 x5 Mul x0 csch x7 x0 -1 