derive sin2x/x, x = pi/4