5703324808184E-01) / (3.80568385693018E+00 + 4.18112109994712E+00)) {
        return 3.80568385693018E+00 * x - 4.75703324808184E-01;
    } else {
        return -4.18112109994712E+00 * x + 5.35651507139080E+02;
    }
}

float colormap_green(float x) {
    if (x < (7.72815970386039E+02 + 2.57000000000000E+02) / (4.00000000000000E+00 + 4.04283447911158E+00)) {
        return 4.00000000000000E+00 * x - 2.57000000000000E+02;
    } else {
        return -4.04283447911158E+00 * x + 7.72815970386039E+02;
    }
}
