Add Mul asec x7 Mul Add x0 3 x0 acsc Mul Mul x0 3 x1 
Add Mul asec x7 Add x0 Add x0 3 Mul -1 Mul Mul x1 3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 3 x1 Mul Mul x0 3 x1 -1 Mul Mul x0 3 x1 Mul Mul x0 3 x1 -1 