Mul Add x0 Pow asech coth Add x0 3 asech x4 4 
Mul 4 Add 1 Mul Pow asech coth Add x0 3 Add asech x4 -1 Mul asech x4 Mul Mul -1 Pow csch Add x0 3 2 Pow Mul Mul coth Add x0 3 coth Add x0 3 sqrt Add 1 Mul -1 Pow Mul coth Add x0 3 coth Add x0 3 -1 -1 