Details

analyze399.0ms

Algorithm: search

sample39.0ms

Algorithm

intervals

Results

12.0ms	78×	body	1280	valid
7.0ms	58×	body	640	valid
4.0ms	20×	body	2560	valid
2.0ms	26×	body	320	valid
2.0ms	69×	body	80	valid
0.0ms	5×	body	160	valid

simplify28.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	5
1	43	5
2	91	5
3	194	5
4	321	5
5	579	5
6	1088	5
7	1305	5
8	1305	5

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 44.7b

Counts

2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x y) z)
8.4b	(- (fma x y z) (+ 1.0 (+ (* x y) z)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-log-exp`
7×	`*-un-lft-identity`
4×	`add-sqr-sqrt` `sum-log`
3×	`diff-log`
2×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube` `distribute-lft-out--`
1×	`+-commutative` `sub-neg` `flip3--` `flip3-+` `flip--` `flip-+` `distribute-lft-out` `associate--r+` `difference-of-squares`

Counts

2 → 29

Calls

2 calls:

7.0ms	(+ (* x y) z)
8.0ms	(- (fma x y z) (+ 1.0 (+ (* x y) z)))

series17.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(+ (* x y) z)
11.0ms	(- (fma x y z) (+ 1.0 (+ (* x y) z)))

simplify62.0ms

Algorithm

egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 2 (17.0ms)

Iter	Nodes	Cost
0	178	220
1	602	204
2	2697	203
3	5001	203

prune67.0ms

Filtered

24 candidates to 35 candidates (-45.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	28	7	35
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	28	8	36

Merged error: 44.3b

Counts

36 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

8.2b	(cbrt (+ (* x y) z))
8.2b	(cbrt (+ (* x y) z))
8.2b	(cbrt (+ (* x y) z))
33.0b	(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (cbrt (+ (* x y) z)))))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod` `add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
7×	`add-cube-cbrt`
6×	`cbrt-div`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`flip3-+` `pow1/3` `flip-+`
2×	`diff-log`
1×	`sub-neg` `flip3--` `sum-log` `flip--` `associate--r+` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 55

Calls

4 calls:

4.0ms	(cbrt (+ (* x y) z))
4.0ms	(cbrt (+ (* x y) z))
4.0ms	(cbrt (+ (* x y) z))
5.0ms	(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (cbrt (+ (* x y) z)))))

series115.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(cbrt (+ (* x y) z))
34.0ms	(cbrt (+ (* x y) z))
36.0ms	(cbrt (+ (* x y) z))
11.0ms	(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (cbrt (+ (* x y) z)))))

simplify53.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 3 (46.0ms)

Iter	Nodes	Cost
0	245	719
1	642	627
2	1964	598
3	5001	556

prune159.0ms

Filtered

56 candidates to 67 candidates (-19.6%)

Pruning

18 alts after pruning (16 fresh and 2 done)

	Pruned	Kept	Total
New	57	10	67
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	57	18	75

Merged error: 44.2b

Counts

75 → 18

localize19.0ms

Local error

Found 4 expressions with local error:

8.2b	(cbrt (+ (* x y) z))
8.2b	(cbrt (+ (* x y) z))
8.2b	(cbrt (+ (* x y) z))
31.6b	(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (* (cbrt (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (cbrt (+ (* x y) z))))) (cbrt (+ (* x y) z)))))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod` `add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
7×	`add-cube-cbrt`
6×	`cbrt-div`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`flip3-+` `pow1/3` `flip-+`
2×	`diff-log`
1×	`sub-neg` `flip3--` `sum-log` `flip--` `associate--r+` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 55

Calls

4 calls:

4.0ms	(cbrt (+ (* x y) z))
4.0ms	(cbrt (+ (* x y) z))
4.0ms	(cbrt (+ (* x y) z))
5.0ms	(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (* (cbrt (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (cbrt (+ (* x y) z))))) (cbrt (+ (* x y) z)))))

series114.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(cbrt (+ (* x y) z))
34.0ms	(cbrt (+ (* x y) z))
35.0ms	(cbrt (+ (* x y) z))
11.0ms	(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (* (cbrt (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (cbrt (+ (* x y) z))))) (cbrt (+ (* x y) z)))))

simplify67.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 3 (56.0ms)

Iter	Nodes	Cost
0	254	949
1	667	879
2	2237	867
3	5001	858

prune185.0ms

Filtered

55 candidates to 67 candidates (-21.8%)

Pruning

21 alts after pruning (19 fresh and 2 done)

	Pruned	Kept	Total
New	58	9	67
Fresh	5	10	15
Picked	1	0	1
Done	0	2	2
Total	64	21	85

Merged error: 44.2b

Counts

85 → 21

localize22.0ms

Local error

Found 4 expressions with local error:

8.2b	(cbrt (+ (* x y) z))
8.2b	(cbrt (+ (* x y) z))
8.2b	(cbrt (+ (* x y) z))
35.2b	(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (* (cbrt (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (cbrt (+ (* x y) z))))) (* (cbrt (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (cbrt (+ (* x y) z)))))))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod` `add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
7×	`add-cube-cbrt`
6×	`cbrt-div`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`flip3-+` `pow1/3` `flip-+`
2×	`diff-log`
1×	`sub-neg` `flip3--` `sum-log` `flip--` `associate--r+` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 55

Calls

4 calls:

4.0ms	(cbrt (+ (* x y) z))
4.0ms	(cbrt (+ (* x y) z))
4.0ms	(cbrt (+ (* x y) z))
5.0ms	(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (* (cbrt (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (cbrt (+ (* x y) z))))) (* (cbrt (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (cbrt (+ (* x y) z)))))))

series115.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(cbrt (+ (* x y) z))
34.0ms	(cbrt (+ (* x y) z))
36.0ms	(cbrt (+ (* x y) z))
12.0ms	(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (* (cbrt (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (cbrt (+ (* x y) z))))) (* (cbrt (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (cbrt (+ (* x y) z)))))))

simplify80.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 3 (70.0ms)

Iter	Nodes	Cost
0	257	1179
1	716	1089
2	2550	1077
3	5001	1068

prune95.0ms

Filtered

55 candidates to 67 candidates (-21.8%)

Pruning

23 alts after pruning (20 fresh and 3 done)

	Pruned	Kept	Total
New	65	2	67
Fresh	0	18	18
Picked	0	1	1
Done	0	2	2
Total	65	23	88

Merged error: 44.2b

Counts

88 → 23

regimes595.0ms

Accuracy

0% (0.7b remaining)

Error of 44.9b against oracle of 44.3b and baseline of 44.9b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	5
1	12	5

end0.0ms

analyze387.0ms

Algorithm: search

sample1.1s

Algorithm

intervals

Results

411.0ms	2592×	body	1280	valid
196.0ms	1565×	body	640	valid
129.0ms	646×	body	2560	valid
78.0ms	2133×	body	80	valid
74.0ms	740×	body	320	valid
21.0ms	324×	body	160	valid

Details

analyze399.0ms

sample39.0ms

simplify28.0ms

prune4.0ms

localize9.0ms

rewrite16.0ms

series17.0ms

simplify62.0ms

prune67.0ms

localize13.0ms

rewrite18.0ms

series115.0ms

simplify53.0ms

prune159.0ms

localize19.0ms

rewrite17.0ms

series114.0ms

simplify67.0ms

prune185.0ms

localize22.0ms

rewrite18.0ms

series115.0ms

simplify80.0ms

prune95.0ms

regimes595.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze387.0ms

sample1.1s

Profiling