Вывод значений ArcTan в Mathematica

[Cynic]

Подскажите как заставить Wolfram Mathematica выводить удобоваримые рещения для тригонометрических уровнений подобных $\[\sin 2x + 4co{s^2}x = 1\]$?
В первом случае я ввожу Solve[Sin[2 x] + 4 Cos[x]^2 == 1, x, Reals] на выходе получаю такую "простыню":

$x -> ConditionalExpression[2 ArcTan[1 - \sqrt 2] + 2 \pi C[1], C[1] \in Integers]$
$x -> ConditionalExpression[2 ArcTan[1 + \sqrt 2] + 2 \pi C[1], C[1] \in Integers]$
$x -> ConditionalExpression[2 ArcTan[\frac {1}{3} (-1 - \sqrt 10)] + 2 \pi C[1], C[1] \in Integers]$
$x -> ConditionalExpression[2 ArcTan[\frac {1}{3} (-1 + \sqrt 10)] + 2 \pi C[1], C[1] \in Integers]$

хотя "человеческий" ответ выглядит как:

$\[{x_1} = \arctan (3) + \pi n\]$
$\[{x_2} = \arctan ( - 1) + \pi n = - \frac{\pi }{4} + \pi n\]$

Вообще везде где встречается $ArcTan$ в решении, Mathematica пытается его представить в виде вот таких вот не перевариваемых выражений. Хотелось бы как нибудь изменить это поведение.

[arseniiv]

На ArcTan[1 + Sqrt[2]] и ArcTan[1 - Sqrt[2]] можно подействовать FullSimplify, а вот на остальные два толку нет. Может, что-то ещё специализированное для тригонометрии есть, но, немного покопавшись в справке по восьмой версии, не нашёл.

Лучше для кода использовать теги tt или code (вместо последнего лучше syntax, но там нет поддержки этого языка).

[Cynic]

Интересно, что WolframAlpha тоже пишет всякую ерунду [url]https://www.wolframalpha.com/input/?i=Sin[2x]%2B4Cos[x]^2%3D%3D1[/url]

[Vince Diesel]

Исключение условия Reals дает результат:

Solve[Sin[2 x] + 4 Cos[x]^2 == 1, x]