(inv-mat-fn size)
Produces optimized code for a function that inverts matrices
of the given size. The resulting code has no loops, branches, or
recursive calls. The inverse is computed using Cramer's rule and
the required determinants are computed using recursive cofactor
expansion along the first column. All intermediate determinants
are bound to local variables since many of them are used multiple
times.