According to the First fundamental theorem of Calculus, the solution of d/dx (integral from -pi to x cos(t) dt) is