Is this a formal proof system?

No. It uses algebra-engine simplification and differentiation. A result should not be treated as a formal proof over every possible domain.

Which variables can I use?

Use x, y, z, a, b, or c with supported arithmetic and common real-valued functions.

SYMBOLIC ALGEBRA LAB

Inspect an expression before turning it into a number.

Simplify expressions, differentiate with respect to a chosen variable, evaluate a model, or compare two forms. Results are algebra-engine outputs, not formal theorem proofs.

EXPRESSION WORKSPACE

Simplify

BROWSER-ONLY

Rewrite an algebraic expression into a cleaner form.

Expression

ABOUT THIS TOOL

Symbolic Algebra Lab

Simplify and differentiate expressions, evaluate a model at a chosen value, or compare two forms with a clearly labeled algebra-engine result.

Simplify algebraic expressions
Differentiate with respect to a variable
Evaluate and compare expression forms

KEY FUNCTIONS

Symbolic simplificationSymbolic derivativeNumeric evaluationSimplifier-based equivalence check

LEARN THE METHOD

Short guides for this workflow

GUIDESymbolic algebra simplification and differentiationUnderstand what a symbolic algebra engine can simplify, differentiate, and compare.Read →

KEEP SOLVING

Browse all tools →

x²

Equation Solver

Choose a one-variable polynomial workflow or build a coefficient system with 2–8 variables and a transparent matrix-solving method.

→√

Scientific Calculator

Calculate trigonometry, roots, logs, combinations, factorials, integer functions, scientific notation, and reusable variables in a compact workspace.

→⌁

Graphing Calculator

Plot and compare several functions, inspect value tables, trace x-values, and adjust the graph window directly in your browser.

→