Pow coth x0 asec log sqrt x0 
Mul Pow coth x0 Add asec log sqrt x0 -1 Add Mul asec log sqrt x0 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Mul Mul Pow Mul 2 sqrt x0 -1 Pow sqrt x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul log sqrt x0 log sqrt x0 -1 log sqrt x0 log sqrt x0 -1 