@ColinTheMathmo yeah, it doesn't do simplification. Intriguingly, the second suggestion is 3*cos(Pi/12)-sin(Pi/12)