Solution (source code)

= Solution

The <derivative> of the <tangent> is $\sec^2x$, and the order of the endpoints must be retained. Thus the <definite integral> is
$$
\left[\tan x\right]_{\pi/3}^{\pi/6}=\frac1{\sqrt3}-\sqrt3=\boxed{-\frac2{\sqrt3}}.
$$