integrate 1 to pi/2 of x cos 1/x