Mul Pow Mul tan Mul 2 Pow csch x0 E 5 x0 acsc x1 
Mul acsc x1 Mul Pow Mul tan Mul 2 Pow csch x0 E 5 Add x0 -1 Add Mul x0 Mul 5 Mul Pow sec Mul 2 Pow csch x0 E 2 Mul 2 Mul Pow csch x0 Add E -1 Mul E Mul Mul -1 coth x0 csch x0 Mul Mul tan Mul 2 Pow csch x0 E 5 log Mul tan Mul 2 Pow csch x0 E 5 