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