Fixed bug where MAX wasn't simplified because the Maxima name  had a regex special character