Add symbolic derivations.