Solvability of equations in elementary functions

Alexey Kanel-Belov, Alexey Malistov, Rodion Zaytsev

We prove that the equation $\tan (x)-x=a$ is unsolvable in elementary functions