Pow Mul Pow x0 x5 x0 Mul -2 sec csch x0 
Mul Pow Mul Pow x0 x5 x0 Add Mul -2 sec csch x0 -1 Add Mul Mul -2 sec csch x0 Add Mul x0 Mul Pow x0 Add x5 -1 x5 Pow x0 x5 Mul Mul Mul Pow x0 x5 x0 log Mul Pow x0 x5 x0 Mul -2 Mul Mul tan csch x0 sec csch x0 Mul Mul -1 coth x0 csch x0 