average sin x x = 0 to pi