-- These models should be within 5% relative error for temperatures
-- between 200 K and 400 K and pressures between 0.5 bar and 50 bar

heliumModel :: GasModel
heliumModel = GasModel sosU kgU muU rhoU cp cv
        where
        sosU (GasCond p t) = sos (p /~ pascal) (t /~ kelvin) *~ (meter / second)
        sos p t = 480.59 !+ (1.79 !* t)
        kgU (GasCond p t) = kg (p /~ pascal) (t /~ kelvin) *~ (watt / (meter * kelvin))
        kg p t = ((2.3889 `e` (-4)) !* t) !** 0.710
        muU (GasCond p t) = mu (p /~ pascal) (t /~ kelvin) *~ (pascal * milli second)
        mu p t = ((7.9639 `e` (-6)) !* t) !** 0.647
        rhoU (GasCond p t) = rho (p /~ pascal) (t /~ kelvin) *~ (gram / milli liter)
        rho p t = (0.4791 !* (p !/ 100000)) !/ (t !+ 0.0000)
        cp = 5.193 *~ (joule / (gram * kelvin))
        cv = 3.116 *~ (joule / (gram * kelvin))
heliumModel :: GasModel
heliumModel = GasModel sosU kgU muU rhoU cp cv
        where
        sosU (GasCond p t) = sos (p /~ pascal) (t /~ kelvin) *~ (meter / second)
        sos p t = 480.59 !+ (1.79 !* t)
        kgU (GasCond p t) = kg (p /~ pascal) (t /~ kelvin) *~ (watt / (meter * kelvin))
        kg p t = ((2.3889 `e` (-4)) !* t) !** 0.710
        muU (GasCond p t) = mu (p /~ pascal) (t /~ kelvin) *~ (pascal * milli second)
        mu p t = ((7.9639 `e` (-6)) !* t) !** 0.647
        rhoU (GasCond p t) = rho (p /~ pascal) (t /~ kelvin) *~ (gram / milli liter)
        rho p t = (0.4791 !* (p !/ 100000)) !/ (t !+ 0.0000)
        cp = 5.193 *~ (joule / (gram * kelvin))
        cv = 3.116 *~ (joule / (gram * kelvin))
heliumModel = GasModel sosU kgU muU rhoU cp cv
        where
        sosU (GasCond p t) = sos (p /~ pascal) (t /~ kelvin) *~ (meter / second)
        sos p t = 480.59 !+ (1.79 !* t)
        kgU (GasCond p t) = kg (p /~ pascal) (t /~ kelvin) *~ (watt / (meter * kelvin))
        kg p t = ((2.3889 `e` (-4)) !* t) !** 0.710
        muU (GasCond p t) = mu (p /~ pascal) (t /~ kelvin) *~ (pascal * milli second)
        mu p t = ((7.9639 `e` (-6)) !* t) !** 0.647
        rhoU (GasCond p t) = rho (p /~ pascal) (t /~ kelvin) *~ (gram / milli liter)
        rho p t = (0.4791 !* (p !/ 100000)) !/ (t !+ 0.0000)
        cp = 5.193 *~ (joule / (gram * kelvin))
        cv = 3.116 *~ (joule / (gram * kelvin))