Equality over computable reals is not decidable, so I don't think you've actually defined a computable function here. The issue is much more subtle than that.