For a proof of quantum universality, I need to show that $\tan^{-1}\left(2\right)$ is not a rational multiple of $\pi$. How do I show this? I feel like showing algebraic independence over the rationals is hard in general, but is it possible for $\pi$ and an awkward trigonometric value?