You need to explicitly call trig_simplify for it to do the simplification in the other direction:
sage: f = arccos(1/2*sqrt(3)); f