Analytic derivatives for perturbatively corrected “double hybrid” density functionals: Theory, implementation, and applications | Synapse