What is int xsin(x-pi/2) ?