Changing the playback rate with a stretcher filter maintains the original pitch.
Adapted from the https://github.com/ZVK/stretcher.