Exercise algebra.manipulation.rational.simplify
Description
simplify a rational expression (with a variable in a divisor)
(x^2-7*x+12+x^2+3*x-10)/((x+5)*(x-3))
ready: no
Feedback
Path 1
| path | [0, 0, 0, 0, 1, 0, 0, 1, 0, 6] |
| steps | 10 |
| major rules | 3 |
| active labels | - simplifyrationalexpression
- simplifydivision
|
enter simplifyrationalexpression,
,
enter writeasdivision,
check,
algebra.equations.rational.rational-scale,
check,
algebra.equations.rational.rational-plus,
exit writeasdivision,
enter simplifydivision,
algebra.equations.linear.distr-times