integral cos x /