Average Error: 0.0 → 0.0
Time: 5.0s
Precision: binary64
Cost: 512
\[\frac{-\left(f + n\right)}{f - n}\]
↓
\[\frac{-\left(f + n\right)}{f - n}\]
\frac{-\left(f + n\right)}{f - n}
↓
\frac{-\left(f + n\right)}{f - n}
(FPCore (f n) :precision binary64 (/ (- (+ f n)) (- f n)))
↓
(FPCore (f n) :precision binary64 (/ (- (+ f n)) (- f n)))
double code(double f, double n) {
	return -(f + n) / (f - n);
}
↓
double code(double f, double n) {
	return -(f + n) / (f - n);
}

Error

Bits error versus f

Bits error versus n

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Alternatives

Alternative 1
Error0.1
Cost39872
\[\frac{\sqrt[3]{f + n} \cdot \sqrt[3]{f + n}}{\sqrt[3]{n - f} \cdot \sqrt[3]{n - f}} \cdot \frac{\sqrt[3]{f + n}}{\sqrt[3]{n - f}}\]
Alternative 2
Error32.9
Cost33216
\[\frac{\sqrt[3]{f + n} \cdot \sqrt[3]{f + n}}{\sqrt{n - f}} \cdot \frac{\sqrt[3]{f + n}}{\sqrt{n - f}}\]
Alternative 3
Error32.6
Cost33216
\[\frac{\sqrt{f + n}}{\sqrt[3]{n - f} \cdot \sqrt[3]{n - f}} \cdot \frac{\sqrt{f + n}}{\sqrt[3]{n - f}}\]
Alternative 4
Error0.1
Cost20672
\[\sqrt[3]{\frac{f + n}{n - f}} \cdot \left(\sqrt[3]{\frac{f + n}{n - f}} \cdot \sqrt[3]{\frac{f + n}{n - f}}\right)\]
Alternative 5
Error1.4
Cost20288
\[\frac{1}{\sqrt[3]{n - f} \cdot \sqrt[3]{n - f}} \cdot \frac{f + n}{\sqrt[3]{n - f}}\]
Alternative 6
Error1.4
Cost20160
\[\frac{\frac{f + n}{\sqrt[3]{n - f} \cdot \sqrt[3]{n - f}}}{\sqrt[3]{n - f}}\]
Alternative 7
Error1.3
Cost20160
\[\left(\sqrt[3]{f + n} \cdot \sqrt[3]{f + n}\right) \cdot \frac{\sqrt[3]{f + n}}{n - f}\]
Alternative 8
Error43.1
Cost14144
\[\frac{f + n}{{n}^{3} - {f}^{3}} \cdot \left(n \cdot n + \left(f \cdot f + f \cdot n\right)\right)\]
Alternative 9
Error43.3
Cost14016
\[\frac{{f}^{3} + {n}^{3}}{\left(n - f\right) \cdot \left(f \cdot f + n \cdot \left(n - f\right)\right)}\]
Alternative 10
Error32.1
Cost13504
\[\sqrt{f + n} \cdot \frac{\sqrt{f + n}}{n - f}\]
Alternative 11
Error31.8
Cost832
\[-1 + \frac{n}{f} \cdot \left(-2 - \frac{n}{f} \cdot 2\right)\]
Alternative 12
Error0.2
Cost576
\[\left(f + n\right) \cdot \frac{1}{n - f}\]
Alternative 13
Error0.0
Cost576
\[\frac{1}{\frac{n - f}{f + n}}\]
Alternative 14
Error31.3
Cost448
\[-1 - \frac{n}{f} \cdot 2\]
Alternative 15
Error31.8
Cost448
\[1 + 2 \cdot \frac{f}{n}\]
Alternative 16
Error0.0
Cost448
\[\frac{f + n}{n - f}\]
Alternative 17
Error32.4
Cost64
\[1\]
Alternative 18
Error32.0
Cost64
\[-1\]
Alternative 19
Error62.0
Cost64
\[0\]

Error

Derivation

  1. Initial program 0.0

    \[\frac{-\left(f + n\right)}{f - n}\]

  2. Simplified0.0

    \[\leadsto \color{blue}{\frac{-\left(f + n\right)}{f - n}}\]

  3. Final simplification0.0

    \[\leadsto \frac{-\left(f + n\right)}{f - n}\]

Reproduce

herbie shell --seed 2021022 
(FPCore (f n)
  :name "subtraction fraction"
  :precision binary64
  (/ (- (+ f n)) (- f n)))