And unless you are recording to tape, why didn't you raise the pitch of the recorded tracks enough for the girl to sing to? Pretty simple trick in any DAW.
Welcome to the BandMix Community of Musicians, Bands and Industry Professionals!
https://forum.bandmix.com/