integral_0^pi |cos(x)-sin(x)| dx