On rational functions of first-class complexity

It is proved that, for every rational function of two variables P(x, y) of analytic complexity one, there is either a representation of the form f(a(x) + b(y)) or a representation of the form f(a(x)b(y)), where f(x), a(x), b(x) are nonconstant rational functions of a single variable. Here, if P(x, y) is a polynomial, then f(x), a(x), and b(x) are nonconstant polynomials of a single variable.