Mul Pow sqrt x0 Add sech x5 x0 Mul Mul 2 x0 csch Add x0 x0 
Add Mul Mul Mul 2 x0 csch Add x0 x0 Mul Pow sqrt x0 Add Add sech x5 x0 -1 Add Mul Add sech x5 x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 log sqrt x0 Mul Pow sqrt x0 Add sech x5 x0 Add Mul csch Add x0 x0 2 Mul Mul 2 x0 Mul Mul Mul -1 coth Add x0 x0 csch Add x0 x0 2 