Details

sample34.0ms

Algorithm

intervals

Results

12.0ms	270×	body	80	valid
8.0ms	239×	body	80	nan

simplify19.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	21	5
1	51	4
2	86	4
3	126	4
4	151	4
5	169	4
6	185	4
7	187	4
8	187	4

prune6.0ms

Filtered

1 candidates to 1 candidates (100.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.1b

Counts

2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

0.1b	(fma (sqrt z) y x)

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `fma-udef` `log1p-expm1-u` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

1.0ms

(fma (sqrt z) y x)

series62.0ms

Counts

1 → 3

Calls

1 calls:

62.0ms

(fma (sqrt z) y x)

simplify59.0ms

Algorithm

egg-herbie

Counts

13 → 13

Iterations

Useful iterations: 4 (57.0ms)

Iter	Nodes	Cost
0	70	58
1	176	50
2	528	50
3	1813	46
4	5001	43

prune36.0ms

Filtered

13 candidates to 12 candidates (92.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	10	3	13
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	10	4	14

Merged error: 0.1b

Counts

14 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (cbrt (fma (sqrt z) y x)) (cbrt (fma (sqrt z) y x)))
0.6b	(cbrt (fma (sqrt z) y x))
0.6b	(cbrt (fma (sqrt z) y x))
0.6b	(cbrt (fma (sqrt z) y x))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 81

Calls

4 calls:

8.0ms	(* (cbrt (fma (sqrt z) y x)) (cbrt (fma (sqrt z) y x)))
1.0ms	(cbrt (fma (sqrt z) y x))
1.0ms	(cbrt (fma (sqrt z) y x))
1.0ms	(cbrt (fma (sqrt z) y x))

series1.2s

Counts

4 → 12

Calls

4 calls:

235.0ms	(* (cbrt (fma (sqrt z) y x)) (cbrt (fma (sqrt z) y x)))
306.0ms	(cbrt (fma (sqrt z) y x))
309.0ms	(cbrt (fma (sqrt z) y x))
303.0ms	(cbrt (fma (sqrt z) y x))

simplify41.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 2 (31.0ms)

Iter	Nodes	Cost
0	318	868
1	1125	805
2	5001	760

prune270.0ms

Filtered

93 candidates to 72 candidates (77.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	90	3	93
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	90	7	97

Merged error: 0.0b

Counts

97 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (fma (sqrt z) y x))
0.6b	(cbrt (fma (sqrt z) y x))
0.6b	(cbrt (fma (sqrt z) y x))
0.6b	(cbrt (fma (sqrt z) y x))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `expm1-log1p-u` `pow1/3` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`

Counts

4 → 52

Calls

4 calls:

1.0ms	(cbrt (fma (sqrt z) y x))
1.0ms	(cbrt (fma (sqrt z) y x))
1.0ms	(cbrt (fma (sqrt z) y x))
1.0ms	(cbrt (fma (sqrt z) y x))

series1.3s

Counts

4 → 12

Calls

4 calls:

319.0ms	(cbrt (fma (sqrt z) y x))
314.0ms	(cbrt (fma (sqrt z) y x))
382.0ms	(cbrt (fma (sqrt z) y x))
300.0ms	(cbrt (fma (sqrt z) y x))

simplify58.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 3 (51.0ms)

Iter	Nodes	Cost
0	165	584
1	460	544
2	1748	532
3	5002	496

prune297.0ms

Filtered

64 candidates to 60 candidates (93.8%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	62	2	64
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	62	9	71

Merged error: 0.0b

Counts

71 → 9

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (fma (sqrt z) y x))
0.6b	(cbrt (fma (sqrt z) y x))
0.6b	(cbrt (fma (sqrt z) y x))
0.9b	(pow (cbrt (cbrt (fma (sqrt z) y x))) 4)

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-prod`
11×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`unpow-prod-down`
5×	`pow1` `add-exp-log`
4×	`expm1-log1p-u` `pow1/3` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
3×	`pow-unpow`
2×	`pow-pow`
1×	`pow-to-exp` `pow-exp` `sqr-pow`

Counts

4 → 65

Calls

4 calls:

1.0ms	(cbrt (fma (sqrt z) y x))
1.0ms	(cbrt (fma (sqrt z) y x))
1.0ms	(cbrt (fma (sqrt z) y x))
4.0ms	(pow (cbrt (cbrt (fma (sqrt z) y x))) 4)

series1.4s

Counts

4 → 12

Calls

4 calls:

354.0ms	(cbrt (fma (sqrt z) y x))
313.0ms	(cbrt (fma (sqrt z) y x))
326.0ms	(cbrt (fma (sqrt z) y x))
423.0ms	(pow (cbrt (cbrt (fma (sqrt z) y x))) 4)

simplify115.0ms

Algorithm

egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 3 (107.0ms)

Iter	Nodes	Cost
0	308	684
1	951	634
2	4156	615
3	5001	582

prune332.0ms

Filtered

77 candidates to 68 candidates (88.3%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	77	0	77
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	77	9	86

Merged error: 0.0b

Counts

86 → 9

regimes164.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	4
1	10	4

end0.0ms

sample960.0ms

Algorithm

intervals

Results

309.0ms	8520×	body	80	valid
286.0ms	8519×	body	80	nan

Details

sample34.0ms

simplify19.0ms

prune6.0ms

localize7.0ms

rewrite1.0ms

series62.0ms

simplify59.0ms

prune36.0ms

localize11.0ms

rewrite14.0ms

series1.2s

simplify41.0ms

prune270.0ms

localize15.0ms

rewrite8.0ms

series1.3s

simplify58.0ms

prune297.0ms

localize16.0ms

rewrite9.0ms

series1.4s

simplify115.0ms

prune332.0ms

regimes164.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample960.0ms

Profiling