\int_0^{\pi/4} arctg(\sin{x})dx=-\int_{\pi/2}^{\pi/4} arctg(\sin{(\frac{\pi}{2}-t)})dt=\int_{\pi/4}^{\pi/2} arctg(\cos{t})dt
