Normal forms for underactuated mechanical systems with symmetry | Synapse