Mul x0 Mul Mul Mul x0 asech Pow Add x2 x0 0.810814606094671 -3 4 
Add Mul Mul Mul x0 asech Pow Add x2 x0 0.810814606094671 -3 4 Mul x0 Mul 4 Mul -3 Add asech Pow Add x2 x0 0.810814606094671 Mul x0 Mul Mul Pow Add x2 x0 -0.189185393905329 0.810814606094671 Pow Mul Mul Pow Add x2 x0 0.810814606094671 Pow Add x2 x0 0.810814606094671 sqrt Add 1 Mul -1 Pow Mul Pow Add x2 x0 0.810814606094671 Pow Add x2 x0 0.810814606094671 -1 -1 