Single-Atom Verification of the Optimal Trade-Off between Speed and Cost in Shortcuts to Adiabaticity | Synapse