Average Error: 16.7 → 12.4

Time: 9.6s

Precision: binary64

Cost: 7104

\[\pi \cdot \ell - \frac{1}{F \cdot F} \cdot \tan \left(\pi \cdot \ell\right)\]

↓

\[\pi \cdot \ell - \frac{\frac{\tan \left(\pi \cdot \ell\right)}{F}}{F}\]

\pi \cdot \ell - \frac{1}{F \cdot F} \cdot \tan \left(\pi \cdot \ell\right)

↓

\pi \cdot \ell - \frac{\frac{\tan \left(\pi \cdot \ell\right)}{F}}{F}

(FPCore (F l)
 :precision binary64
 (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l)))))

↓

(FPCore (F l) :precision binary64 (- (* PI l) (/ (/ (tan (* PI l)) F) F)))

double code(double F, double l) {
	return (((double) M_PI) * l) - ((1.0 / (F * F)) * tan(((double) M_PI) * l));
}

↓

double code(double F, double l) {
	return (((double) M_PI) * l) - ((tan(((double) M_PI) * l) / F) / F);
}

Error

The X axis uses an exponential scale — Bits error versus `F`

Try it out

In
Out

Enter valid numbers for all inputs

Alternatives

Alternative 1
Error	12.6
Cost	78848

\[\pi \cdot \ell - \frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{\frac{{\left(\sqrt[3]{F}\right)}^{2}}{\sqrt[3]{\frac{\tan \left(\pi \cdot \ell\right)}{F}} \cdot \sqrt[3]{\frac{\tan \left(\pi \cdot \ell\right)}{F}}}} \cdot \frac{\sqrt[3]{1}}{\frac{\sqrt[3]{F}}{\sqrt[3]{\frac{\tan \left(\pi \cdot \ell\right)}{F}}}}\]

Alternative 2
Error	12.6
Cost	78592

\[\pi \cdot \ell - \left(\frac{\sqrt[3]{\tan \left(\pi \cdot \ell\right)} \cdot \sqrt[3]{\tan \left(\pi \cdot \ell\right)}}{F} \cdot \frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{\sqrt[3]{F}}\right) \cdot \frac{\sqrt[3]{1}}{\frac{{\left(\sqrt[3]{F}\right)}^{2}}{\sqrt[3]{\tan \left(\pi \cdot \ell\right)}}}\]

Alternative 3
Error	12.8
Cost	65344

\[\pi \cdot \ell - \frac{{\left(\sqrt[3]{\sqrt[3]{\tan \left(\pi \cdot \ell\right)}}\right)}^{4} \cdot {\left(\sqrt[3]{\sqrt[3]{\tan \left(\pi \cdot \ell\right)}}\right)}^{2}}{F} \cdot \frac{\sqrt[3]{\tan \left(\pi \cdot \ell\right)}}{F}\]

Alternative 4
Error	12.6
Cost	59712

\[\pi \cdot \ell - \frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{\sqrt[3]{\frac{F}{\frac{\tan \left(\pi \cdot \ell\right)}{F}}} \cdot \sqrt[3]{\frac{F}{\frac{\tan \left(\pi \cdot \ell\right)}{F}}}} \cdot \frac{\sqrt[3]{1}}{\sqrt[3]{\frac{F}{\frac{\tan \left(\pi \cdot \ell\right)}{F}}}}\]

Alternative 5
Error	12.8
Cost	58880

\[\pi \cdot \ell - \frac{\sqrt[3]{\tan \left(\pi \cdot \ell\right)}}{F} \cdot \frac{\sqrt[3]{\sqrt[3]{\tan \left(\pi \cdot \ell\right)}} \cdot {\left(\sqrt[3]{\sqrt[3]{\tan \left(\pi \cdot \ell\right)}}\right)}^{5}}{F}\]

Alternative 6
Error	13.6
Cost	46080

\[\pi \cdot \ell - \frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{F \cdot \sqrt[3]{F}} \cdot \frac{\sqrt[3]{1}}{\frac{{\left(\sqrt[3]{F}\right)}^{2}}{\tan \left(\pi \cdot \ell\right)}}\]

Alternative 7
Error	12.6
Cost	40384

\[\pi \cdot \ell - \frac{1}{\sqrt[3]{\frac{F}{\frac{\tan \left(\pi \cdot \ell\right)}{F}}} \cdot \sqrt[3]{\frac{F}{\frac{\tan \left(\pi \cdot \ell\right)}{F}}}} \cdot \frac{1}{\sqrt[3]{\frac{F}{\frac{\tan \left(\pi \cdot \ell\right)}{F}}}}\]

Alternative 8
Error	12.6
Cost	40256

\[\pi \cdot \ell - \frac{\frac{1}{\sqrt[3]{\frac{F}{\frac{\tan \left(\pi \cdot \ell\right)}{F}}} \cdot \sqrt[3]{\frac{F}{\frac{\tan \left(\pi \cdot \ell\right)}{F}}}}}{\sqrt[3]{\frac{F}{\frac{\tan \left(\pi \cdot \ell\right)}{F}}}}\]

Alternative 9
Error	12.6
Cost	40128

\[\pi \cdot \ell - \sqrt[3]{\frac{\frac{\tan \left(\pi \cdot \ell\right)}{F}}{F}} \cdot \left(\sqrt[3]{\frac{\frac{\tan \left(\pi \cdot \ell\right)}{F}}{F}} \cdot \sqrt[3]{\frac{\frac{\tan \left(\pi \cdot \ell\right)}{F}}{F}}\right)\]

Alternative 10
Error	16.5
Cost	40128

\[\pi \cdot \ell - \sqrt[3]{\frac{\tan \left(\pi \cdot \ell\right)}{F \cdot F}} \cdot \left(\sqrt[3]{\frac{\tan \left(\pi \cdot \ell\right)}{F \cdot F}} \cdot \sqrt[3]{\frac{\tan \left(\pi \cdot \ell\right)}{F \cdot F}}\right)\]

Alternative 11
Error	16.5
Cost	39616

\[\pi \cdot \ell - \frac{\sqrt[3]{\tan \left(\pi \cdot \ell\right)} \cdot \left(\sqrt[3]{\tan \left(\pi \cdot \ell\right)} \cdot \sqrt[3]{\tan \left(\pi \cdot \ell\right)}\right)}{F \cdot F}\]

Alternative 12
Error	12.6
Cost	39616

\[\pi \cdot \ell - \frac{\sqrt[3]{\tan \left(\pi \cdot \ell\right)}}{F} \cdot \frac{\sqrt[3]{\tan \left(\pi \cdot \ell\right)} \cdot \sqrt[3]{\tan \left(\pi \cdot \ell\right)}}{F}\]

Alternative 13
Error	39.3
Cost	39552

\[\pi \cdot \ell - \frac{1}{{\left(\sqrt[3]{F}\right)}^{2} \cdot \sqrt{F}} \cdot \frac{\frac{\tan \left(\pi \cdot \ell\right)}{\sqrt[3]{F}}}{\sqrt{F}}\]

Alternative 14
Error	39.9
Cost	39552

\[\pi \cdot \ell - \left(\tan \left(\pi \cdot \ell\right) \cdot \frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{\sqrt{F}}\right) \cdot \frac{\sqrt[3]{1}}{{F}^{1.5}}\]

Alternative 15
Error	40.4
Cost	32960

\[\pi \cdot \ell - \frac{\tan \left(\left(\sqrt{\ell} \cdot \sqrt{\pi}\right) \cdot \left(\sqrt{\ell} \cdot \sqrt{\pi}\right)\right)}{F \cdot F}\]

Alternative 16
Error	17.0
Cost	26816

\[\sqrt[3]{\pi \cdot \ell} \cdot \left(\sqrt[3]{\pi \cdot \ell} \cdot \sqrt[3]{\pi \cdot \ell}\right) - \frac{\tan \left(\pi \cdot \ell\right)}{F \cdot F}\]

Alternative 17
Error	16.5
Cost	26816

\[\pi \cdot \ell - \frac{\tan \left(\sqrt[3]{\pi \cdot \ell} \cdot \left(\sqrt[3]{\pi \cdot \ell} \cdot \sqrt[3]{\pi \cdot \ell}\right)\right)}{F \cdot F}\]

Alternative 18
Error	30.1
Cost	26816

\[\pi \cdot \ell - \sqrt{\frac{\tan \left(\pi \cdot \ell\right)}{F \cdot F}} \cdot \sqrt{\frac{\tan \left(\pi \cdot \ell\right)}{F \cdot F}}\]

Alternative 19
Error	13.6
Cost	26624

\[\pi \cdot \ell - \frac{1}{F \cdot \sqrt[3]{F}} \cdot \frac{\tan \left(\pi \cdot \ell\right)}{{\left(\sqrt[3]{F}\right)}^{2}}\]

Alternative 20
Error	16.5
Cost	26560

\[\pi \cdot \ell - \frac{\tan \left(\sqrt[3]{\ell} \cdot \left(\pi \cdot \left(\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}\right)\right)\right)}{F \cdot F}\]

Alternative 21
Error	16.5
Cost	26560

\[\pi \cdot \ell - \frac{\tan \left(\left(\sqrt[3]{\pi} \cdot \sqrt[3]{\pi}\right) \cdot \left(\ell \cdot \sqrt[3]{\pi}\right)\right)}{F \cdot F}\]

Alternative 22
Error	40.6
Cost	26560

\[\pi \cdot \ell - \frac{\sqrt{\tan \left(\pi \cdot \ell\right)} \cdot \sqrt{\tan \left(\pi \cdot \ell\right)}}{F \cdot F}\]

Alternative 23
Error	38.7
Cost	26560

\[\pi \cdot \ell - \frac{\sqrt{\tan \left(\pi \cdot \ell\right)}}{F} \cdot \frac{\sqrt{\tan \left(\pi \cdot \ell\right)}}{F}\]

Alternative 24
Error	12.6
Cost	26560

\[\pi \cdot \ell - \frac{\frac{\frac{\tan \left(\pi \cdot \ell\right)}{\sqrt[3]{F} \cdot \sqrt[3]{F}}}{\sqrt[3]{F}}}{F}\]

Alternative 25
Error	17.0
Cost	26560

\[\sqrt[3]{\ell} \cdot \left(\pi \cdot \left(\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}\right)\right) - \frac{\tan \left(\pi \cdot \ell\right)}{F \cdot F}\]

Alternative 26
Error	40.4
Cost	20160

\[\pi \cdot \ell - \frac{\tan \left(\sqrt{\pi \cdot \ell} \cdot \sqrt{\pi \cdot \ell}\right)}{F \cdot F}\]

Alternative 27
Error	39.0
Cost	20160

\[\pi \cdot \ell - \frac{1}{\sqrt{F}} \cdot \frac{\frac{\tan \left(\pi \cdot \ell\right)}{F}}{\sqrt{F}}\]

Alternative 28
Error	40.5
Cost	20160

\[\sqrt{\pi \cdot \ell} \cdot \sqrt{\pi \cdot \ell} - \frac{\tan \left(\pi \cdot \ell\right)}{F \cdot F}\]

Alternative 29
Error	39.9
Cost	20096

\[\pi \cdot \ell - \frac{\tan \left(\pi \cdot \ell\right)}{\sqrt{F}} \cdot \frac{1}{{F}^{1.5}}\]

Alternative 30
Error	40.4
Cost	20032

\[\pi \cdot \ell - \frac{\tan \left(\sqrt{\ell} \cdot \left(\pi \cdot \sqrt{\ell}\right)\right)}{F \cdot F}\]

Alternative 31
Error	16.4
Cost	20032

\[\pi \cdot \ell - \frac{\tan \left(\sqrt{\pi} \cdot \left(\ell \cdot \sqrt{\pi}\right)\right)}{F \cdot F}\]

Alternative 32
Error	39.1
Cost	20032

\[\pi \cdot \ell - \frac{1}{\frac{F}{\frac{\tan \left(e^{\log \left(\pi \cdot \ell\right)}\right)}{F}}}\]

Alternative 33
Error	40.5
Cost	20032

\[\sqrt{\ell} \cdot \left(\pi \cdot \sqrt{\ell}\right) - \frac{\tan \left(\pi \cdot \ell\right)}{F \cdot F}\]

Alternative 34
Error	22.6
Cost	19968

\[\pi \cdot \ell - \sqrt[3]{{\left(\frac{\tan \left(\pi \cdot \ell\right)}{F \cdot F}\right)}^{3}}\]

Alternative 35
Error	17.1
Cost	19968

\[\pi \cdot \ell - \frac{\sqrt[3]{{\left(\frac{\tan \left(\pi \cdot \ell\right)}{F}\right)}^{3}}}{F}\]

Alternative 36
Error	37.6
Cost	19968

\[\pi \cdot \ell - \frac{\tan \left(\sqrt[3]{{\left(\pi \cdot \ell\right)}^{3}}\right)}{F \cdot F}\]

Alternative 37
Error	24.8
Cost	19904

\[\pi \cdot \ell - \frac{\log \left(e^{\tan \left(\pi \cdot \ell\right)}\right)}{F \cdot F}\]

Alternative 38
Error	41.0
Cost	19904

\[\pi \cdot \ell - \frac{e^{\log \tan \left(\pi \cdot \ell\right)}}{F \cdot F}\]

Alternative 39
Error	34.4
Cost	19904

\[\pi \cdot \ell - \frac{e^{\log \left(\frac{\tan \left(\pi \cdot \ell\right)}{F}\right)}}{F}\]

Alternative 40
Error	30.4
Cost	19904

\[\pi \cdot \ell - e^{\log \left(\frac{\tan \left(\pi \cdot \ell\right)}{F \cdot F}\right)}\]

Alternative 41
Error	40.8
Cost	19904

\[\pi \cdot \ell - \frac{\tan \left(e^{\log \left(\pi \cdot \ell\right)}\right)}{F \cdot F}\]

Alternative 42
Error	16.4
Cost	13760

\[\pi \cdot \ell - \frac{\frac{\sin \left(\pi \cdot \ell\right)}{\cos \left(\pi \cdot \ell\right)}}{F \cdot F}\]

Alternative 43
Error	12.4
Cost	7232

\[\pi \cdot \ell - \frac{1}{\frac{F}{\frac{\tan \left(\pi \cdot \ell\right)}{F}}}\]

Alternative 44
Error	12.4
Cost	7232

\[\pi \cdot \ell - \frac{\tan \left(\pi \cdot \ell\right)}{F} \cdot \frac{1}{F}\]

Alternative 45
Error	12.4
Cost	7232

\[\pi \cdot \ell - \frac{\tan \left(\pi \cdot \ell\right) \cdot \frac{1}{F}}{F}\]

Alternative 46
Error	16.7
Cost	7232

\[\pi \cdot \ell - \tan \left(\pi \cdot \ell\right) \cdot \frac{1}{F \cdot F}\]

Alternative 47
Error	16.4
Cost	7104

\[\pi \cdot \ell - \frac{\tan \left(\pi \cdot \ell\right)}{F \cdot F}\]

Alternative 48
Error	17.3
Cost	832

\[\pi \cdot \ell - \frac{1}{\frac{F}{\frac{\pi \cdot \ell}{F}}}\]

Alternative 49
Error	17.3
Cost	704

\[\pi \cdot \ell - \frac{\frac{\pi \cdot \ell}{F}}{F}\]

Alternative 50
Error	21.3
Cost	704

\[\pi \cdot \ell - \frac{\pi \cdot \ell}{F \cdot F}\]

Alternative 51
Error	61.8
Cost	64

\[1\]

Alternative 52
Error	61.9
Cost	64

\[0\]

Alternative 53
Error	61.8
Cost	64

\[-1\]

Error

Derivation

Initial program 16.7
\[\pi \cdot \ell - \frac{1}{F \cdot F} \cdot \tan \left(\pi \cdot \ell\right)\]
Simplified16.4
\[\leadsto \color{blue}{\pi \cdot \ell - \frac{\tan \left(\pi \cdot \ell\right)}{F \cdot F}}\]
Using strategy rm
Applied associate-/r*_binary6412.4
\[\leadsto \pi \cdot \ell - \color{blue}{\frac{\frac{\tan \left(\pi \cdot \ell\right)}{F}}{F}}\]
Simplified12.4
\[\leadsto \color{blue}{\pi \cdot \ell - \frac{\frac{\tan \left(\pi \cdot \ell\right)}{F}}{F}}\]
Final simplification12.4
\[\leadsto \pi \cdot \ell - \frac{\frac{\tan \left(\pi \cdot \ell\right)}{F}}{F}\]

Reproduce

herbie shell --seed 2021042 
(FPCore (F l)
  :name "VandenBroeck and Keller, Equation (6)"
  :precision binary64
  (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l)))))