asec Mul Mul x0 Pow Pow Mul 2 x0 -3 x5 Mul sqrt x0 x0 
Mul Add Mul Mul sqrt x0 x0 Add Pow Pow Mul 2 x0 -3 x5 Mul x0 Mul Pow Pow Mul 2 x0 -3 Add x5 -1 Mul x5 Pow Mul 2 x0 4 Mul Mul x0 Pow Pow Mul 2 x0 -3 x5 Add Mul x0 Pow Mul 2 sqrt x0 -1 sqrt x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 Pow Pow Mul 2 x0 -3 x5 Mul sqrt x0 x0 Mul Mul x0 Pow Pow Mul 2 x0 -3 x5 Mul sqrt x0 x0 -1 Mul Mul x0 Pow Pow Mul 2 x0 -3 x5 Mul sqrt x0 x0 Mul Mul x0 Pow Pow Mul 2 x0 -3 x5 Mul sqrt x0 x0 -1 