Add x0 asech Mul asech Mul -0.523598775598299 x0 2 
Add 1 Mul Mul 2 Mul -0.523598775598299 Pow Mul Mul Mul -0.523598775598299 x0 Mul -0.523598775598299 x0 sqrt Add 1 Mul -1 Pow Mul Mul -0.523598775598299 x0 Mul -0.523598775598299 x0 -1 -1 Pow Mul Mul Mul asech Mul -0.523598775598299 x0 2 Mul asech Mul -0.523598775598299 x0 2 sqrt Add 1 Mul -1 Pow Mul Mul asech Mul -0.523598775598299 x0 2 Mul asech Mul -0.523598775598299 x0 2 -1 -1 