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)
