phi[f[x, y[x], Derivative[1][y][x]], g[x, y[x], Derivative[1][y][x]]]==0