Exercise

Exercise arithmetic.exponents

Description
simplify expression (powers)

Rules for arithmetic.exponents

Rule name	Args	Used	Siblings	Rewrite rule
`algebra.manipulation.division-denominator`	0	yes
`algebra.manipulation.division-numerator`	0	yes
`algebra.manipulation.double-negate`	0	yes
`algebra.manipulation.exponents.divide-base`	0	yes
`algebra.manipulation.exponents.reciprocal-inverse`	0	yes
`algebra.manipulation.negate-zero`	0	yes
`algebra.manipulation.simpler-fraction`	0	yes
`arithmetic.operation.integer.division`	0	yes
`arithmetic.operation.rational.minus`	0	yes
`arithmetic.operation.rational.plus`	0	yes
`arithmetic.operation.rational.power`	0	yes
`arithmetic.operation.rational.times`	0	yes

Buggy rules for arithmetic.exponents

Rule name

Args

Used

Siblings

Rewrite rule