asech Mul Add x0 3 -0.831142902820200 
Mul -0.831142902820200 Pow Mul Mul Mul Add x0 3 -0.831142902820200 Mul Add x0 3 -0.831142902820200 sqrt Add 1 Mul -1 Pow Mul Mul Add x0 3 -0.831142902820200 Mul Add x0 3 -0.831142902820200 -1 -1 