Add Add Mul tan Mul x0 Pow acoth csch x0 5 x7 Pow pi 5 E 
Mul x7 Mul Pow sec Mul x0 Pow acoth csch x0 5 2 Add Pow acoth csch x0 5 Mul x0 Mul Pow acoth csch x0 4 Mul 5 Mul Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul -1 Mul csch x0 csch x0 -1 