Experimental implementation of canonicalization.