Add Mul Pow x2 x0 pi acosh Mul Add x0 x0 Pow 2 x0 
Add Mul pi Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul Add Mul Pow 2 x0 2 Mul Add x0 x0 Mul Pow 2 Add x0 -1 2.69314718055995 Pow Mul sqrt Add Mul Add x0 x0 Pow 2 x0 -1 sqrt Add 1 Mul Add x0 x0 Pow 2 x0 -1 