Mul Mul Add -1 Mul x0 x0 Mul acosh x0 Add -0.416146836547142 x4 3 
Mul 3 Add Mul Mul acosh x0 Add -0.416146836547142 x4 Add x0 x0 Mul Add -1 Mul x0 x0 Mul Add -0.416146836547142 x4 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 