Add a formula for the DARTS library.