Pow Add Mul Pow 0.250000000000000 Mul x2 x0 Add Pow Mul Mul x0 x0 x0 acosh sqrt x1 x3 x3 -5 
Mul Pow Add Mul Pow 0.250000000000000 Mul x2 x0 Add Pow Mul Mul x0 x0 x0 acosh sqrt x1 x3 x3 6 Mul -5 Add Mul Add Pow Mul Mul x0 x0 x0 acosh sqrt x1 x3 Mul Pow 0.250000000000000 Add Mul x2 x0 -1 Mul -1.13629436111989 x2 Mul Pow 0.250000000000000 Mul x2 x0 Mul Pow Mul Mul x0 x0 x0 Add acosh sqrt x1 -1 Mul acosh sqrt x1 Add Mul x0 Add x0 x0 Mul x0 x0 