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