int(sin(2 pi x) * cos(2 pi x), x=0.2 .. 0.9)