Calculate-0-pi-2-arctan-sin-x-2-arctan-cos-3x-15cos-x-8-dx-pi-2-4-ln-2-1-2-

Question Number 151066 by qaz last updated on 18/Aug/21

Calculate :: \int_{0}^{π / 2} (\arctan (\frac{\sin x}{2}) + \arctan (\frac{\cos 3 x + 15 \cos x}{8})) dx

= \frac{π^{2}}{4} - \ln^{2} (1 + \sqrt{2})