Mul Pow x0 Add Add x0 -4 Mul x0 E acosh Pow 2.23606797749979 Mul -1 Add x0 x0 
Add Mul acosh Pow 2.23606797749979 Mul -1 Add x0 x0 Mul Pow x0 Add Add Add x0 -4 Mul x0 E -1 Add Add Add x0 -4 Mul x0 E Mul Mul x0 log x0 Add 1 E Mul Pow x0 Add Add x0 -4 Mul x0 E Mul Mul Pow 2.23606797749979 Add Mul -1 Add x0 x0 -1 3.04078693371684 Pow Mul sqrt Add Pow 2.23606797749979 Mul -1 Add x0 x0 -1 sqrt Add 1 Pow 2.23606797749979 Mul -1 Add x0 x0 -1 