sech Mul acos x0 Pow pi Add x0 x1 
Mul Mul tanh Mul acos x0 Pow pi Add x0 x1 Mul -1 sech Mul acos x0 Pow pi Add x0 x1 Add Mul Pow pi Add x0 x1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Mul Pow pi Add Add x0 x1 -1 Mul pi log pi 