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