expr F = rat_(x^2+2*x+1,1)*rat_(1,1+x)+rat_(2,1); apply { }