Exercise

Exercise algebra.manipulation.rational.simplify

Description
simplify a rational expression (with a variable in a divisor)

(7*x+7-2*x+6)/((x-3)*(x+1))

ready: no

Feedback

onefirst
allfirsts (2)
allapplications
derivation
microsteps

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

path	[0, 0, 0, 0, 1, 0, 0, 1, 0, 6]
steps	10
major rules	3
active labels	simplifyrationalexpression simplifydivision