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