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