# Integral of arctangent of sine of cosine!

Calculus Level 4

$\large \int_0^{\pi} \arctan(\sin(\cos(x))) \, dx$

The integral above has a closed form. Find this closed form.