Added canSimplify
Added sort of working simplifyExpr