acosh Mul Mul x2 x0 Add x0 Pow Mul x0 E -3 
Mul Add Mul Add x0 Pow Mul x0 E -3 x2 Mul Mul x2 x0 Add 1 Mul Pow Mul x0 E 4 Mul -3 E Pow Mul sqrt Add Mul Mul x2 x0 Add x0 Pow Mul x0 E -3 -1 sqrt Add 1 Mul Mul x2 x0 Add x0 Pow Mul x0 E -3 -1 