Why the hell did I make this?! o__o

I() = 1, I(x) = x + 1, I(x, y, z) = x + 1
K() = -1, K(x) = x - 1, K(x, y, z) = y - 1
S() = 0, S(x, y, z) = x(z, y(z, x, y), x(y, z, z))

If expression reduces to n(x, y, z) with n:R,
n(x, y, z) => n

I(I) = I(I, y, z) = I() + 1 = 2
I(K) = I(K, y, z) = K() + 1 = 0
I(S) = I(S, y, z) = S() + 1 = 1

K(I) = K(x, I, z) = I() - 1 = 0
K(K) = K(x, K, z) = K() - 1 = -2
K(S) = K(x, K, z) = S() - 1 = -1

S(I, I, I) = I(I) = 2
S(K, I, I) = K(I(I)) = 1
S(I, K, I) = I(I) = 2
S(I, I, K) = I(I) = 2
S(K, K, I) = K(K(K)) = -3
S(K, I, K) = K(I(K)) = -1
S(I, K, K) = I(K)) = 0
S(K, K, K) = K(K(K)) = -3

S(S, I, I) = S(I, I(I), S(I, I, I)) = S(I, 2, 2) = I(2) = 3
S(I, S, I) = I(I) = 2
S(I, I, S) = I(I) = 2

S(S, S, I) = S(I, S(S, I, S), S(S, I, I)) = S(I, S(S, I, S), 3) = S(I, 1, 3) = I(3) = 4
S(S, I, S) = S(S, I(S), S(I, S, S)) = S(S, 1, 1) = 1
S(I, S, S) = I(S) = 1

S(S, K, K) = S(K, K(S), S(K, K, K)) = S(K, -1, -3) = K(-1) = -2
S(K, S, K) = K(S(K, K, S)) = -4
S(K, K, S) = K(K(K)) = -3

S(S, S, K) = S(K, S(K, S, S), S(S, K, K)) =
S(S, K, S) = S(S, K(S), K(S)) = S(S, -1, -1) = S(-1, -1, S(-1, -1, -1)) = -1
S(K, S, S) = K(S(S, K, S)) = K(-1) = -2

S(S, K, I) = S(I, K(I), S(K, I, I)) = I(S(K, I, I)) = I(1) = 2
S(S, I, K) = S(K, I(S), S(I, K, K)) = 0
S(I, S, K) = I(K) = 0
S(K, S, I) = K(S(I, K, S)) = K(0) = -1
S(I, K, S) = I(S) = 0
S(K, I, S) = K(I(S)) = -1

S(S, S, S) = S(S, S(S, S, S), S(S, S, S)) = etc... (never reduces)