feat(trainer): V4.1 группа 3 — 20 генераторов (выражения + новые формулировки)
Третья волна плана v4 (упрощение/формулы/степени) + новые форматы условий.
Все «корень-вперёд»; simplify проверяется эквивалентностью, compute — целым.
Упрощение (simplify): simp-like-multivar (две буквы), simp-like-const (со числом),
simp-sub-bracket (вычесть скобку — знаки), simp-distribute-combine (раскрыть+привести),
simp-factor-common (вынести множитель), simp-factor-group (группировка),
simp-eval-at (упростить и вычислить при x=x0).
Формулы (formulas): diff-sq-factor (разложить разность квадратов, обратно),
sq-trinom-factor (свернуть в квадрат), sq-sum-coef (квадрат суммы с коэф.),
cube-sum (куб суммы), sum-cubes-factor (сумма кубов),
fmt-blank-square (вставь число в тождество), fmt-fix-square (найди ошибку).
Степени (powers): pow-div (частное), pow-product-base (степень произведения),
pow-frac-combine (дробь степеней), pow-numeric-laws (произведение степеней числом),
pow-standard-form (стандартный вид), pow-which-law (какой показатель).
Новые ФОРМУЛИРОВКИ: вставь-пропуск, найди-ошибку, какой-закон, упрости-и-вычисли,
разложить (обратные формулы) — разнообразие условий по запросу.
Итого 116 генераторов. Смоук 26148 проверок (simplify: приём канон. answerExpr +
отказ off-by-one; compute: целое+приём; все шаги→LaTeX); геометрия не задета (6968/0).
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Maxim Dolgolyov
e4b0747dac