∫( asin(2x-1) * sin(x) + (1+cos(1))/2*pi, x=0..1 )