acosh Pow x0 Mul Mul Mul x3 x0 0.000976562500000000 x0 
Mul Mul Pow x0 Add Mul Mul Mul x3 x0 0.000976562500000000 x0 -1 Add Mul Mul Mul x3 x0 0.000976562500000000 x0 Mul Mul x0 log x0 Add Mul x0 Mul 0.000976562500000000 x3 Mul Mul x3 x0 0.000976562500000000 Pow Mul sqrt Add Pow x0 Mul Mul Mul x3 x0 0.000976562500000000 x0 -1 sqrt Add 1 Pow x0 Mul Mul Mul x3 x0 0.000976562500000000 x0 -1 