Exercise algebra.manipulation.rational.simplify
Description
simplify a rational expression (with a variable in a divisor)
(-9-6*x)/((x+2)*(x+1))
ready: yes
Feedback
Path 1
path | [0, 0, 0, 0, 1, 0, 0, 1, 0, 6, 5, 1, 1, 0, 0, 0, 0, 5, 0] |
steps | 19 |
major rules | 5 |
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,
navigator.down,
navigator.down,
navigator.down,
algebra.equations.linear.merge,
navigator.up,
navigator.up,
navigator.up,
navigator.down,
algebra.equations.linear.merge