Merge the auto optimize Maxima into the main branch.