integral of sin x (sin^3 x + cos^3 x - (sin x + cos x)^3) / (1 + sin x cos x)^3 for x=arctan (-1/2)..pi/4