- Current status
- Noindex beta
- Maximum degree
- 2
- Operations
- Expand and collect
- Not included
- Factoring and rational expressions
What expression simplification does
Simplification rewrites an expression into an equivalent, more compact form. In the current beta, that means distributing multiplication over a basic group, collecting terms with the same variable power, and evaluating exact numeric parts.
Supported example
The transformation expands 2(x + 3), then combines 2x and 3x because they are like terms.
Like terms have the same variable part
Terms such as 2x and 3x can combine because both contain x to the first power. A term in x² cannot be combined with a term in x, and the beta should preserve that distinction instead of collapsing unlike terms.
Current limitations
- One-variable polynomial expressions only, up to degree two.
- No factorization claim.
- No algebraic fractions or variable denominators.
- No trigonometric, logarithmic, exponential, or calculus expressions.
Fail closed: If a requested rewrite is unsupported or cannot be independently verified, Proofline should report that boundary instead of displaying a confident simplified form.