y' = (1 + x²)(1 + y²);