integral[sin(ax)*cos(bx),dx]