max(x - (0.4 * sqrt(x) * (x-1) - 3) / sqrt(30))