integral from 0 to x of sin(x) + cos(x)