Details

sample19.0ms

Algorithm

intervals

Results

10.0ms

293×

body

valid

simplify56.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 4 (10.0ms)

Iter	Nodes	Cost
0	20	5
1	48	5
2	105	5
3	224	5
4	418	4
5	681	4
6	970	4
7	1398	4
8	1987	4
9	1991	4
10	1991	4

prune5.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 0.0b

Counts

2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (fma y x 0.918938533204673) (fma x 1.0 (* y 0.5)))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt` `*-un-lft-identity`
9×	`prod-diff`
8×	`add-cube-cbrt`
3×	`fma-neg` `add-log-exp`
2×	`fma-udef`
1×	`pow1` `add-exp-log` `expm1-log1p-u` `sub-neg` `flip3--` `diff-log` `associate--l+` `add-cbrt-cube` `flip--` `log1p-expm1-u` `associate--r+` `distribute-lft-out--` `difference-of-squares`

Counts

1 → 30

Calls

1 calls:

4.0ms

(- (fma y x 0.918938533204673) (fma x 1.0 (* y 0.5)))

series30.0ms

Counts

1 → 3

Calls

1 calls:

30.0ms

(- (fma y x 0.918938533204673) (fma x 1.0 (* y 0.5)))

simplify86.0ms

Algorithm

egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 3 (81.0ms)

Iter	Nodes	Cost
0	142	359
1	423	235
2	3034	223
3	5001	221

prune55.0ms

Filtered

33 candidates to 22 candidates (33.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	32	1	33
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	32	2	34

Merged error: 0b

Counts

34 → 2

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (- (pow (cbrt (fma y x 0.918938533204673)) 3) (* x 1.0)) (* y 0.5))
0.2b	(cbrt (fma y x 0.918938533204673))
0.4b	(pow (cbrt (fma y x 0.918938533204673)) 3)

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

415×	`add-sqr-sqrt`
288×	`prod-diff`
196×	`*-un-lft-identity`
134×	`associate--l+`
130×	`unpow-prod-down`
128×	`add-cube-cbrt`
106×	`difference-of-squares`
90×	`associate-l`
77×	`unswap-sqr`
72×	`associate-r`
68×	`cbrt-prod`
39×	`sqr-pow`
36×	`distribute-lft-out--`
24×	`*-commutative`
13×	`fma-neg` `unpow3`
8×	`add-log-exp`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`expm1-log1p-u` `pow-unpow` `diff-log` `log1p-expm1-u`
2×	`sub-neg` `pow-pow` `pow1/3` `rem-cube-cbrt`
1×	`associate--l-` `pow-to-exp` `flip3--` `pow-exp` `flip--`

Counts

3 → 366

Calls

3 calls:

43.0ms	(- (- (pow (cbrt (fma y x 0.918938533204673)) 3) (* x 1.0)) (* y 0.5))
1.0ms	(cbrt (fma y x 0.918938533204673))
2.0ms	(pow (cbrt (fma y x 0.918938533204673)) 3)

series529.0ms

Counts

3 → 9

Calls

3 calls:

31.0ms	(- (- (pow (cbrt (fma y x 0.918938533204673)) 3) (* x 1.0)) (* y 0.5))
207.0ms	(cbrt (fma y x 0.918938533204673))
291.0ms	(pow (cbrt (fma y x 0.918938533204673)) 3)

simplify147.0ms

Algorithm

egg-herbie

Counts

375 → 375

Iterations

Useful iterations: 2 (95.0ms)

Iter	Nodes	Cost
0	952	6000
1	3362	4096
2	5002	3876

prune922.0ms

Filtered

375 candidates to 206 candidates (45.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	375	0	375
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	375	2	377

Merged error: 0b

Counts

377 → 2

regimes29.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	4
1	10	4

end0.0ms

sample371.0ms

Algorithm

intervals

Results

223.0ms	9072×	body	80	valid
0.0ms	2×	body	320	valid