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