integral from 0 to pi of |cos^2(x)-cos(x)|