y'[x] == 5