Use o TFC2 para expressar integrate from 0 to x of cos t dt como function de x