Enhanced symbolic computation for trigonometric functions of special angles

[rchillyard]

Support exact symbolic results for more special angles (Pythagorean triples, compositions via angle addition formulas, etc.) - requires Expression support for sums of radicals.