ты сравнивал свой яп с другими? такой подход типа "я буду определять тип выражения с помощью регулярок" не дает мне сделать допустип это? a() + b
и да. То, что ты мне показал - будет распарсенно в токен, как обычный EXPRESSION, после чего - успешно скормлен в парсер мат. выражений