integrale di cos x / cos 2x in dx