Add extra domain requirement when dividing by x
Remove assumption in question