Fix ec_add formula, which was missing du