Add x0 coth Add x4 Mul tan atanh coth x0 -1 
Add 1 Mul Mul -1 Pow csch Add x4 Mul tan atanh coth x0 -1 2 Mul -1 Mul Pow sec atanh coth x0 2 Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul -1 Mul coth x0 coth x0 -1 