T=d li cd
V=x
R=0,1,1
F=(abs(x)=if(1,0,1)) + (if(1,0,1)=abs(x))
C=fp_equal(fp_abs(x),0) + fp_equal(0,fp_abs(x))
