Normalizing dependent feature by one of the independent ones
I think it's complete alright. In fact, the second model mathematical expression is given by
y=x3f(x1, x2, x3),
which is just like the first model but with some specific feature engineering. I don't see any possibility for data leakage.