calculation ExponentRule1:
	1^a -> 1

calculation ExponentRule2:
	a^1 -> a

calculation ExponentRule3:
	a^0 -> 1

expansion ExponentRule4:
	(a * b) ^ n -> a^n * b^n

expansion ExponentRule8:
	a ^ (b + c) -> a^b * a^c

expansion ExponentRule9:
	(a ^ b) ^ c -> a ^ (b * c)

expansion ExponentRule15:
	a * a -> a^2

reduction ExponentRule16a:
	a^b * a^c -> a ^ (b + c)
reduction ExponentRule16b:
	a^b * a -> a ^ (b + 1)
reduction ExponentRule16c:
	a * a^b -> a ^ (1 + b)

expansion ExponentRule17:
	root(a, x) -> x ^ (1 / a)

reduction ExponentRule18:
	(a * b) * b -> a * (b^2)
reduction ExponentRule18a:
	(a * (b^c)) * b -> a * (b^(c + 1))
reduction ExponentRule18b:
	(a * b) * (b^c) -> a * (b^(c + 1))
reduction ExponentRule18c:
	(a * (b^c)) * (b^d) -> a * (b^(c + d))
reduction ExponentRule18d:
	(a * (b^2)) * b -> a * (b^3)
