qalc is able to do a lot of useful simplification on trigonometric expression, but one area where it struggles is in handling square roots. For example, sqrt(2) - 2/sqrt(2) could be simplified to 0, ...