ivy: Update formula