deep-potential. Deep learning for gravitational potentials, based on well-mixed tracers in phase space.