# A common integral in disguise

Calculus Level 3

$\large \int_0^{\pi/2}\ln(\cos(x))\, dx$

If the above integral can be expressed as $$-\frac{\pi}{a} \log (z)$$ for positive integers $$a,z$$, find $$a+z$$.

×