Attempt inversion always when printing terms.

This is really slow.