SUCCESS
0.03 (total time)

COMPLETED TRS
add(multiply(x, inverse(x)), multiply(y, one)) -> y
add(multiply(x, inverse(y)), multiply(x, add(x, inverse(y)))) -> x
add(multiply(x, inverse(y)), multiply(y, add(x, inverse(y)))) -> x
add(multiply(y, x), multiply(z, x)) -> multiply(x, add(y, z))
add(x, inverse(x)) -> one