ddxsin(x)=cos(x)

f(x)dx=1