-Use Simplifier in main