As I recall, the music on Wendy Carlos’s albums isn’t exactly the versions in the film except for some of them. I think the “Heartbeats / Worrying” was more extensively edited in the final film, so people’s comments about an actual album being difficult to recreate like the movie are true.
Otherwise there is very little Wendy Carlos in the movie - it’s mostly Penderecki and Ligeti - some of the original recordings are referenced here - you could also Shazam them to find the actual alb recording, I’ve had good success tracking down the right classical recordings with Shazam.