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