The usefulness of the Floquet formalism combining perturbation expansion with canonical transformations is demonstrated for investigating the nuclear magnetic resonance (NMR) spectroscopy of spin-5/2 quadrupolar nuclear spins in solids undergoing mechanical rotations. This formalism provides better computing efficiency than the direct multi-step method, especially for long evolution times, and offers many physical insights that are unattainable from pure numerical calculations. The analysis procedures and the advantages of this approach are shown by applying the method to a variety of NMR experiments involving spin-5/2 systems ranging from simple single-pulse magic-angle spinning, to nutation, spin-locking, cross-polarization, multi-quantum coherences and heteronuclear correlation experiments.