You already found the AMR rotation, at least I’m assuming you modified the default one rather than making yours from scratch.
However that can be quite hard to follow as it’s there for the simulator to implement while it runs, which is why you can tell it to use your one and it just works. It’s a very cool feature for those of us who like to poke things more.
There are two ways of seeing it in a more readable way, the first is looking at the AMR guide for the spec you want to look at, in this case Protection Paladin.
The other is a bit more involved but as you’re running simulations anyway you won’t find it hard.
In the last step of running a simulation, after you’ve set up the gear etc, there’s an option for Report Type. If you change that to Log you can then filter the log in the results section.
On the result page expand the Log section:
and then choose Cast Success
and it will filter the simulated log just showing you what it cast. You might need/want to turn other options on too, but I’m sure you’ll work it out from there.