Pow x4 Mul acosh Mul Pow Mul x4 exp x2 Add x0 x1 -4 Mul Add x0 -1 E 
Mul Pow x4 Add Mul acosh Mul Pow Mul x4 exp x2 Add x0 x1 -4 Mul Add x0 -1 E -1 Mul Mul x4 log x4 Add Mul Mul Add x0 -1 E Mul Mul -4 Mul Pow Mul x4 exp x2 Add Add x0 x1 -1 Mul Mul x4 exp x2 log Mul x4 exp x2 Pow Mul sqrt Add Mul Pow Mul x4 exp x2 Add x0 x1 -4 -1 sqrt Add 1 Mul Pow Mul x4 exp x2 Add x0 x1 -4 -1 Mul acosh Mul Pow Mul x4 exp x2 Add x0 x1 -4 E 