double integral of sin(1/x)