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