integrate sinx dx, x=0..pi