0.6255	0|_>-(y[1]+_*y[1])
0.612	2|_>(y[1]*v(l(x[1])))
