Mul sqrt asec Mul Pow pi x0 E Add Mul 1.31303528549933 acsch log coth x1 2 
Mul Add Mul 1.31303528549933 acsch log coth x1 2 Mul Pow Mul 2 sqrt asec Mul Pow pi x0 E -1 Mul Mul E Mul Pow pi Add x0 -1 Mul pi log pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Pow pi x0 E Mul Pow pi x0 E -1 Mul Pow pi x0 E Mul Pow pi x0 E -1 