Really fixed infinite recursion for (x + ramp1)*ramp2.