-4 -> (-4)
-(-x) -> x
-(-(-x)) -> -x
-(-(-(-x))) -> x
-(-(-(-(-x)))) -> -x
3 + 4 -> 7
0 + y -> y
x + 0 -> x
x + (-y) -> x - y
x + x -> x * 2
x + x * 1 -> x * 2
x + x * 2 -> x * 3
x + x * 3 -> x * 4
x + x * y -> x * (1 + y)
x * 1 + x -> x * 2
x * 2 + x -> x * 3
x * 3 + x -> x * 4
x * y + x -> x * (y + 1)
x * 1 + x * 1 -> x * 2
x * 2 + x * 2 -> x * 4
x * 3 + x * 3 -> x * 6
x * 2 + x * 5 -> x * 7
x * 5 + x * 2 -> x * 7
x * y + x * 5 -> x * (y + 5)
3 - 4 -> (-1)
0 - y -> -y
x - 0 -> x
x - (-y) -> x + y
x - x -> 0
x - x * 1 -> 0
x - x * 2 -> -x
x - x * 3 -> x * (-2)
x - x * y -> x * (1 - y)
x * 1 - x -> 0
x * 2 - x -> x
x * 3 - x -> x * 2
x * y - x -> x * (y - 1)
x * 1 - x * 1 -> 0
x * 2 - x * 2 -> 0
x * 3 - x * 3 -> 0
x * 2 - x * 5 -> x * (-3)
x * 5 - x * 2 -> x * 3
x * y - x * 5 -> x * (y - 5)
3 * 4 -> 12
x * 0 -> 0
0 * y -> 0
1 * y -> y
x * 1 -> x
-1 * y -> -y
x * (-1) -> -x
(-x) * (-y) -> x * y
(-x) * y -> -x * y
-x * (-y) -> x * y
x * x -> x ** 2
x * x ** 1 -> x ** 2
x * x ** 2 -> x ** 3
x * x ** 3 -> x ** 4
x * x ** y -> x ** (y + 1)
x ** 1 * x -> x ** 2
x ** 2 * x -> x ** 3
x ** 3 * x -> x ** 4
x ** y * x -> x ** (y + 1)
x ** 1 * x ** 1 -> x ** 2
x ** 2 * x ** 2 -> x ** 4
x ** 3 * x ** 3 -> x ** 6
x ** 2 * x ** 5 -> x ** 7
x ** 5 * x ** 2 -> x ** 7
x ** y * x ** 5 -> x ** (y + 5)
3 / 4 -> 3 / 4
0 / y -> 0
x / 1 -> x
x / (-1) -> -x
(-x) / (-y) -> x / y
(-x) / y -> -x / y
-x / (-y) -> x / y
x / x -> 1
x / x ** 1 -> 1
x / x ** 2 -> 1 / x
x / x ** 3 -> x ** (-2)
x / x ** y -> x ** (1 - y)
x ** 1 / x -> 1
x ** 2 / x -> x
x ** 3 / x -> x ** 2
x ** y / x -> x ** (y - 1)
x ** 1 / x ** 1 -> 1
x ** 2 / x ** 2 -> 1
x ** 3 / x ** 3 -> 1
x ** 2 / x ** 5 -> x ** (-3)
x ** 5 / x ** 2 -> x ** 3
x ** y / x ** 5 -> x ** (y - 5)
3 ** 4 -> 81
0 ** y -> 0
1 ** y -> 1
x ** 0 -> 1
x ** 1 -> x
x ** (-1) -> 1 / x
(-x) ** 1 -> -x
(-x) ** 2 -> x ** 2
(-x) ** 3 -> (-x) ** 3
(-x) ** 4 -> x ** 4
(-x) ** 5 -> (-x) ** 5
(-x) ** 6 -> x ** 6
