cos 2 x integration