Details

sample23.0ms

Algorithm

intervals

Results

11.0ms

364×

body

valid

simplify8.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	2
1	24	2
2	47	2
3	71	2
4	71	2

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.0b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(fma (fma x y z) y t)

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 (fma x y z) y t)

series55.0ms

Counts

1 → 3

Calls

1 calls:

55.0ms

(fma (fma x y z) y t)

simplify62.0ms

Algorithm

egg-herbie

Counts

13 → 13

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	39	47
1	91	38
2	366	38
3	1887	38
4	5001	38

prune33.0ms

Filtered

13 candidates to 11 candidates (84.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	11	2	13
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	11	3	14

Merged error: 0.0b

Counts

14 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (fma (fma x y z) y t)) (cbrt (fma (fma x y z) y t)))
0.5b	(cbrt (fma (fma x y z) y t))
0.5b	(cbrt (fma (fma x y z) y t))
0.5b	(cbrt (fma (fma x y z) y t))

rewrite11.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:

6.0ms	(* (cbrt (fma (fma x y z) y t)) (cbrt (fma (fma x y z) y t)))
1.0ms	(cbrt (fma (fma x y z) y t))
1.0ms	(cbrt (fma (fma x y z) y t))
1.0ms	(cbrt (fma (fma x y z) y t))

series601.0ms

Counts

4 → 12

Calls

4 calls:

169.0ms	(* (cbrt (fma (fma x y z) y t)) (cbrt (fma (fma x y z) y t)))
148.0ms	(cbrt (fma (fma x y z) y t))
144.0ms	(cbrt (fma (fma x y z) y t))
141.0ms	(cbrt (fma (fma x y z) y t))

simplify178.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 2 (31.0ms)

Iter	Nodes	Cost
0	246	698
1	931	634
2	4917	570
3	5001	570

prune298.0ms

Filtered

93 candidates to 72 candidates (77.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	89	4	93
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	90	6	96

Merged error: 0.0b

Counts

96 → 6

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (fma (fma x y z) y t))
0.5b	(cbrt (fma (fma x y z) y t))
0.5b	(cbrt (fma (fma x y z) y t))
0.6b	(cbrt (cbrt (fma (fma x y z) y t)))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-prod`
9×	`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 → 55

Calls

4 calls:

1.0ms	(cbrt (fma (fma x y z) y t))
1.0ms	(cbrt (fma (fma x y z) y t))
1.0ms	(cbrt (fma (fma x y z) y t))
2.0ms	(cbrt (cbrt (fma (fma x y z) y t)))

series575.0ms

Counts

4 → 12

Calls

4 calls:

145.0ms	(cbrt (fma (fma x y z) y t))
141.0ms	(cbrt (fma (fma x y z) y t))
144.0ms	(cbrt (fma (fma x y z) y t))
144.0ms	(cbrt (cbrt (fma (fma x y z) y t)))

simplify67.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 3 (61.0ms)

Iter	Nodes	Cost
0	194	464
1	519	418
2	2168	398
3	5002	386

prune252.0ms

Filtered

67 candidates to 63 candidates (94.0%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	67	0	67
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	67	6	73

Merged error: 0.0b

Counts

73 → 6

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (fma (fma x y z) y t))
0.5b	(cbrt (fma (fma x y z) y t))
0.5b	(cbrt (fma (fma x y z) y t))
0.5b	(cbrt (fma (fma x y z) y t))

rewrite6.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 (fma x y z) y t))
1.0ms	(cbrt (fma (fma x y z) y t))
1.0ms	(cbrt (fma (fma x y z) y t))
1.0ms	(cbrt (fma (fma x y z) y t))

series589.0ms

Counts

4 → 12

Calls

4 calls:

147.0ms	(cbrt (fma (fma x y z) y t))
146.0ms	(cbrt (fma (fma x y z) y t))
147.0ms	(cbrt (fma (fma x y z) y t))
150.0ms	(cbrt (fma (fma x y z) y t))

simplify44.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 3 (38.0ms)

Iter	Nodes	Cost
0	126	416
1	319	372
2	1242	352
3	5001	340

prune238.0ms

Filtered

64 candidates to 60 candidates (93.8%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	64	6	70

Merged error: 0.0b

Counts

70 → 6

regimes123.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	2

end0.0ms

sample625.0ms

Algorithm

intervals

Results

335.0ms

11290×

body

valid

Details

sample23.0ms

simplify8.0ms

prune6.0ms

localize6.0ms

rewrite1.0ms

series55.0ms

simplify62.0ms

prune33.0ms

localize10.0ms

rewrite11.0ms

series601.0ms

simplify178.0ms

prune298.0ms

localize17.0ms

rewrite6.0ms

series575.0ms

simplify67.0ms

prune252.0ms

localize16.0ms

rewrite6.0ms

series589.0ms

simplify44.0ms

prune238.0ms

regimes123.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample625.0ms

Profiling