simplifier x vs dlx