Если вы подозреваете, что результат может быть записан в виде числа пи, вы можете попробовать nsimplify с подсказкой числа пи в виде константы.
>>> nsimplify(atan(sqrt(3) + 2), [pi])
5*pi/12
Кстати, вы можете увидеть, какие специальные значенияраспознается любой из функций триггера, просматривая исходный код их eval методов.