4. Evaluate the integral \( \int_{0}^{\frac{\pi}{4}} \sqrt{1+\cos 4x} dx \) .