Average Error: 0.3 → 0.3
Time: 1.1s
Precision: binary64
\[\left(3.5 \cdot 10^{7} + \left(0.40100000000000002 \cdot \frac{10^{3}}{v}\right) \cdot \frac{10^{3}}{v}\right) \cdot \left(v - 10^{3} \cdot 4.27000000000000011 \cdot 10^{-5}\right) - \left(1.3806503000000001 \cdot 10^{-23} \cdot 10^{3}\right) \cdot 300\]
↓
\[\left(3.5 \cdot 10^{7} + \left(0.40100000000000002 \cdot \frac{10^{3}}{v}\right) \cdot \frac{10^{3}}{v}\right) \cdot \left(v - 10^{3} \cdot 4.27000000000000011 \cdot 10^{-5}\right) - \left(1.3806503000000001 \cdot 10^{-23} \cdot 10^{3}\right) \cdot 300\]
\left(3.5 \cdot 10^{7} + \left(0.40100000000000002 \cdot \frac{10^{3}}{v}\right) \cdot \frac{10^{3}}{v}\right) \cdot \left(v - 10^{3} \cdot 4.27000000000000011 \cdot 10^{-5}\right) - \left(1.3806503000000001 \cdot 10^{-23} \cdot 10^{3}\right) \cdot 300
↓
\left(3.5 \cdot 10^{7} + \left(0.40100000000000002 \cdot \frac{10^{3}}{v}\right) \cdot \frac{10^{3}}{v}\right) \cdot \left(v - 10^{3} \cdot 4.27000000000000011 \cdot 10^{-5}\right) - \left(1.3806503000000001 \cdot 10^{-23} \cdot 10^{3}\right) \cdot 300
double code(double v) {
	return ((double) (((double) (((double) (35000000.0 + ((double) (((double) (0.401 * ((double) (1000.0 / v)))) * ((double) (1000.0 / v)))))) * ((double) (v - ((double) (1000.0 * 4.27e-05)))))) - ((double) (((double) (1.3806503e-23 * 1000.0)) * 300.0))));
}
↓
double code(double v) {
	return ((double) (((double) (((double) (35000000.0 + ((double) (((double) (0.401 * ((double) (1000.0 / v)))) * ((double) (1000.0 / v)))))) * ((double) (v - ((double) (1000.0 * 4.27e-05)))))) - ((double) (((double) (1.3806503e-23 * 1000.0)) * 300.0))));
}

Error

Bits error versus v

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.3

    \[\left(3.5 \cdot 10^{7} + \left(0.40100000000000002 \cdot \frac{10^{3}}{v}\right) \cdot \frac{10^{3}}{v}\right) \cdot \left(v - 10^{3} \cdot 4.27000000000000011 \cdot 10^{-5}\right) - \left(1.3806503000000001 \cdot 10^{-23} \cdot 10^{3}\right) \cdot 300\]

  2. Final simplification0.3

    \[\leadsto \left(3.5 \cdot 10^{7} + \left(0.40100000000000002 \cdot \frac{10^{3}}{v}\right) \cdot \frac{10^{3}}{v}\right) \cdot \left(v - 10^{3} \cdot 4.27000000000000011 \cdot 10^{-5}\right) - \left(1.3806503000000001 \cdot 10^{-23} \cdot 10^{3}\right) \cdot 300\]

Reproduce

herbie shell --seed 2020152 
(FPCore (v)
  :name "(- (* (+ 35000000.0 (* (* 0.401 (/ 1000.0 v)) (/ 1000.0 v))) (- v (* 1000.0 4.27e-05))) (* (* 1.3806503e-23 1000.0) 300.0))"
  :precision binary64
  (- (* (+ 35000000.0 (* (* 0.401 (/ 1000.0 v)) (/ 1000.0 v))) (- v (* 1000.0 4.27e-05))) (* (* 1.3806503e-23 1000.0) 300.0)))