factorize 3x^2-3
Let's factorize in <math><mi>ℝ</mi></math>: <math><mn>3</mn><msup><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow></msup><mo> -</mo><mn>3</mn></math>
You can factorize this expression into: <math><mn>3</mn><mo>·</mo><mo>(</mo><msup><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow></msup><mo> -</mo><mn>1</mn><mo>)</mo></math>
<u>Factors found</u>: <math><mo>(</mo><mi>x</mi><mo> + </mo><mn>1</mn><mo>)</mo><mo>·</mo><mo>(</mo><mi>x</mi><mo> -</mo><mn>1</mn><mo>)</mo></math>

▷<b>Result: &nbsp; <math><mn>3</mn><mo>·</mo><mo>(</mo><mi>x</mi><mo> + </mo><mn>1</mn><mo>)</mo><mo>·</mo><mo>(</mo><mi>x</mi><mo> -</mo><mn>1</mn><mo>)</mo></math></b><span style='font-size:smaller'> &nbsp; &nbsp; (computation took 3 steps and 2 ms)</span>