int(x/sqrt(1+5x), x, 3, 7)