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