Adding formulas for addition on EC