y と 無理関数 √(a^2 + y^2) は明らかにタイプが異なる関数です.