>>320
y=1を代入してxだけの制約式を得たうえでそれをg(xy)という項に対して使用するしているので構わないはず