T=d f ld li
V=x
R=-10,10,1
F=1*((x*x)=16) + 2*((x*x)<16) + 4*((x*x)<=16) + \
  8*((x*x)>16) + 16*((x*x)>=16) + 32*((x*x)!=16)
C=1*fp_equal((x*x),16) + 2*fp_less((x*x),16) + 4*fp_lessOrEq((x*x),16) + \
  8*fp_greater((x*x),16) + 16*fp_greaterOrEq((x*x),16) + 32*fp_nequal((x*x),16)
