Analytic DAG Constraints for Differentiable DAG Learning