This functionality takes a shared value [x][x][x] and returns an uniform random sharing of x−1x^{-1}x−1. We will denote it as [x−1][x^{-1}][x−1]. It is implemented as follows: