1pi 0x1.5 sin1x dx