How severely should I cut this rosemary back to get it bushy again? – Reddit Post

This rosemary had a lot of mint around it which made things worse. As you see it has gone very “woody” and we’d like it to be “bushy” instead. How short should we cut it, and when, please:) we are in England (Essex), and ok to wait for it to come back in spring. Thank you in advance for your guidance and insight!