How to batch pitch shift mp3 files

I would like to take a bunch of songs, and apply the effect of Change Pitch (High Quality Stretching) to them.
Doing it individually would take forever because each song takes an average of 3 minutes to apply the effect, so I’m wondering if running a script would make it less repetitive.
The parameters for the pitch change are:
Pitch from F1 to D1
Semitones: -3.00
Frequency Percent Change -15.910
High Quality Stretching.

You could make a Macro and apply it to the files as a batch process. See: https://manual.audacityteam.org/man/macros.html

Tip: Ensure that the last command in the macro is an “Export” command. The batch processing does not modify the original file, it works on a copy and you need to export it so that the modified copy is written to disk.