exp Add Mul x3 acosh E Add Pow 2 sqrt Add pi Add Mul x5 x0 x0 x0 
Mul exp Add Mul x3 acosh E Add Pow 2 sqrt Add pi Add Mul x5 x0 x0 x0 Add Mul Pow 2 Add sqrt Add pi Add Mul x5 x0 x0 -1 Mul 2.69314718055995 Mul Pow Mul 2 sqrt Add pi Add Mul x5 x0 x0 -1 Add x5 1 1 