Details

analyze620.0ms

Algorithm: search

sample37.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

localize8.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)))

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

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

series17.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify63.0ms

Algorithm

egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 2 (18.0ms)

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

prune63.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

localize11.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)))))

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

3.0ms	(cbrt (+ (* x y) z))
3.0ms	(cbrt (+ (* x y) z))
3.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)))))

series102.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(cbrt (+ (* x y) z))
32.0ms	(cbrt (+ (* x y) z))
30.0ms	(cbrt (+ (* x y) z))
9.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 (45.0ms)

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

prune155.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

localize18.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)))))

series101.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(cbrt (+ (* x y) z))
29.0ms	(cbrt (+ (* x y) z))
32.0ms	(cbrt (+ (* x y) z))
10.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)))))

simplify68.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 3 (59.0ms)

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

prune177.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)))))))

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 (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (cbrt (+ (* x y) z)))))))

series101.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(cbrt (+ (* x y) z))
32.0ms	(cbrt (+ (* x y) z))
29.0ms	(cbrt (+ (* x y) z))
10.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

prune91.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

regimes578.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

analyze366.0ms

Algorithm: search

sample1.0s

Algorithm

intervals

Results

396.0ms	2592×	body	1280	valid
189.0ms	1565×	body	640	valid
116.0ms	646×	body	2560	valid
74.0ms	2133×	body	80	valid
69.0ms	740×	body	320	valid
20.0ms	324×	body	160	valid

Details

analyze620.0ms

sample37.0ms

simplify28.0ms

prune4.0ms

localize8.0ms

rewrite12.0ms

series17.0ms

simplify63.0ms

prune63.0ms

localize11.0ms

rewrite16.0ms

series102.0ms

simplify53.0ms

prune155.0ms

localize18.0ms

rewrite17.0ms

series101.0ms

simplify68.0ms

prune177.0ms

localize22.0ms

rewrite17.0ms

series101.0ms

simplify80.0ms

prune91.0ms

regimes578.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze366.0ms

sample1.0s

Profiling