SimplCore
core2core
simplifyExpr