integrate (sqrt(1 - x^2) - x) dx from x=0..1