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