High efficiency mosfet driver
Or save yourself all that messing around and just use one of these: -



They cost 44 pence from mouser here and they are in a SOT23 package, Vcc can be as high as 40 volts,

Using a TL074 to drive a MOSFET is going to be problematic because with its negative supply pin at 0V the output won't swing down below about 2V and you are likely to be never able to switch the lower MOSFET off. No, I'd just go for an integrated MOSFET driver and save time, money and space.