integral(cos(2x))