Add Add x1 asech Pow Mul -1 Mul -3 x0 -3 x0 
Add Mul Pow Mul -1 Mul -3 x0 4 Pow Mul Mul Pow Mul -1 Mul -3 x0 -3 Pow Mul -1 Mul -3 x0 -3 sqrt Add 1 Mul -1 Pow Mul Pow Mul -1 Mul -3 x0 -3 Pow Mul -1 Mul -3 x0 -3 -1 -1 1 