modified ceval to be used with fixed point operator