The simplify/RootOf function is used to simplify expressions which contain the RootOf function.

Polynomials and inverses of polynomials in RootOf are simplified.  Any nth roots involving RootOf are resolved.

$r≔\mathrm{RootOf}\left(x^2-2=0\,x\right)\:$

$\mathrm{simplify}\left(r^2\,\mathrm{RootOf}\right)$

$2$

$\mathrm{simplify}\left(\frac{1}{r}\,\mathrm{RootOf}\right)$

$\frac{\mathrm{RootOf}\left({\mathrm{\_Z}}^2-2\right)}{2}$