integrate cos 2x from 0 to pi/4