I've designed this circuit with 4 logic gates, and did Karnaugh map's simplification and Quine McCluskey method. However I found out that actually my circuit design is already optimized and I can't really compare how the simplifications offer a less expensive circuit.

I'd like to add a few more gates to the circuit not changing the boolean function of it. Which is (X2'∙X0)+(X2∙X1)