airModel :: GasModel
airModel = GasModel sosU kgU muU rhoU cp cv
        where
        sosU (GasCond p t) = sos (p /~ pascal) (t /~ kelvin) *~ (meter / second)
        sos p t = 174.00 !+ (0.58 !* t)
        kgU (GasCond p t) = kg (p /~ pascal) (t /~ kelvin) *~ (watt / (meter * kelvin))
        kg p t = ((2.9929 `e` (-5)) !* t) !** 0.775
        muU (GasCond p t) = mu (p /~ pascal) (t /~ kelvin) *~ (pascal * milli second)
        mu p t = ((2.1284 `e` (-5)) !* t) !** 0.790
        rhoU (GasCond p t) = rho (p /~ pascal) (t /~ kelvin) *~ (gram / milli liter)
        rho p t = (0.3590 !* (p !/ 100000)) !/ (t !+ 2.4543)
        cp = 1.005 *~ (joule / (gram * kelvin))
        cv = 0.718 *~ (joule / (gram * kelvin))
airModel :: GasModel
airModel = GasModel sosU kgU muU rhoU cp cv
        where
        sosU (GasCond p t) = sos (p /~ pascal) (t /~ kelvin) *~ (meter / second)
        sos p t = 174.00 !+ (0.58 !* t)
        kgU (GasCond p t) = kg (p /~ pascal) (t /~ kelvin) *~ (watt / (meter * kelvin))
        kg p t = ((2.9929 `e` (-5)) !* t) !** 0.775
        muU (GasCond p t) = mu (p /~ pascal) (t /~ kelvin) *~ (pascal * milli second)
        mu p t = ((2.1284 `e` (-5)) !* t) !** 0.790
        rhoU (GasCond p t) = rho (p /~ pascal) (t /~ kelvin) *~ (gram / milli liter)
        rho p t = (0.3590 !* (p !/ 100000)) !/ (t !+ 2.4543)
        cp = 1.005 *~ (joule / (gram * kelvin))
        cv = 0.718 *~ (joule / (gram * kelvin))
airModel = GasModel sosU kgU muU rhoU cp cv
        where
        sosU (GasCond p t) = sos (p /~ pascal) (t /~ kelvin) *~ (meter / second)
        sos p t = 174.00 !+ (0.58 !* t)
        kgU (GasCond p t) = kg (p /~ pascal) (t /~ kelvin) *~ (watt / (meter * kelvin))
        kg p t = ((2.9929 `e` (-5)) !* t) !** 0.775
        muU (GasCond p t) = mu (p /~ pascal) (t /~ kelvin) *~ (pascal * milli second)
        mu p t = ((2.1284 `e` (-5)) !* t) !** 0.790
        rhoU (GasCond p t) = rho (p /~ pascal) (t /~ kelvin) *~ (gram / milli liter)
        rho p t = (0.3590 !* (p !/ 100000)) !/ (t !+ 2.4543)
        cp = 1.005 *~ (joule / (gram * kelvin))
        cv = 0.718 *~ (joule / (gram * kelvin))