Pow pi exp Add Pow x0 Mul 4 x0 acosh Add x0 pi 
Mul Pow pi Add exp Add Pow x0 Mul 4 x0 acosh Add x0 pi -1 Mul Mul pi log pi Mul exp Add Pow x0 Mul 4 x0 acosh Add x0 pi Add Mul Pow x0 Add Mul 4 x0 -1 Add Mul 4 x0 Mul Mul x0 log x0 4 Pow Mul sqrt Add Add x0 pi -1 sqrt Add 1 Add x0 pi -1 