pulse skipping is the best, easies solution.
otherwise acquire the frequency and generate the new pulse with software DDS / Timers
at 9600 RPM, or 160 Hz, it's going to be 800Hz pulses in, 640Hz pulses out. Almost trivial.
I am doing a simillar thing with a PIC18 for airflow sensors. Using one timer i acquire the input frequency, using another timer i re-create the signal.
I have to compensate the reading for the interrupt routine entry latency, but once calibrated with a fixed value i can get to up to 8kHz with < 25Hz error, less if use different values for different frequency ranges (use the last acquisition to decide which compensation value to use). If the MCU wasn't doind a lot of other stuff i could probably get to > 10kHz but that's already outside the range of interest