Reducing leakage of single-qubit gates for superconducting quantum processors using analytical control pulse envelopes | Synapse