Mul -2 sqrt acosh Pow Add x0 E Pow pi x1 
Mul -2 Mul Pow Mul 2 sqrt acosh Pow Add x0 E Pow pi x1 -1 Mul Mul Pow Add x0 E Add Pow pi x1 -1 Pow pi x1 Pow Mul sqrt Add Pow Add x0 E Pow pi x1 -1 sqrt Add 1 Pow Add x0 E Pow pi x1 -1 