1T=d f ld
2V=x
3R=-3,3,0.5
4F=1*(log(abs(x))=log(2)) + \
5  2*(log(abs(x))<log(2)) + \
6  4*(log(abs(x))<=log(2)) + \
7  8*(log(abs(x))>log(2)) + \
8  16*(log(abs(x))>=log(2)) + \
9  32*(log(abs(x))!=log(2))
10C=1*fp_equal(fp_log(fp_abs(x)),fp_log(2)) + \
11  2*fp_less(fp_log(fp_abs(x)),fp_log(2)) + \
12  4*fp_lessOrEq(fp_log(fp_abs(x)),fp_log(2)) + \
13  8*fp_greater(fp_log(fp_abs(x)),fp_log(2)) + \
14  16*fp_greaterOrEq(fp_log(fp_abs(x)),fp_log(2)) + \
15  32*fp_nequal(fp_log(fp_abs(x)),fp_log(2))
16