∞0sin1x2 lnxdx