Exercise

Exercise algebra.manipulation.exponents.simplify

Description
simplify expression (powers)

Rules for algebra.manipulation.exponents.simplify

Rule name	Args	Used	Siblings	Rewrite rule
`algebra.manipulation.exponents.add-exponents`	0	yes
`algebra.manipulation.exponents.calc-power.minus`	0	yes
`algebra.manipulation.exponents.calc-power.plus`	0	yes
`algebra.manipulation.exponents.distr-power`	0	yes
`algebra.manipulation.exponents.mul-exponents`	0	yes
`algebra.manipulation.exponents.power-zero`	0	yes
`algebra.manipulation.exponents.push-negation-out`	0	yes
`algebra.manipulation.exponents.reciprocal-var`	0	yes
`algebra.manipulation.exponents.sub-exponents`	0	yes
`algebra.manipulation.exponents.write-as-power`	0	yes
`arithmetic.operation.rational.power`	0	yes

Buggy rules for algebra.manipulation.exponents.simplify

Rule name

Args

Used

Siblings

Rewrite rule