Details

analyze1.0s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
3.5%	96.2%	0.2%	10
9.8%	89.9%	0.2%	11
14.1%	85.7%	0.2%	12
22.6%	77.1%	0.2%	13
23.7%	76%	0.2%	14

sample29.0ms

Algorithm

intervals

Results

9.0ms	222×	body	80	valid
2.0ms	11×	body	640	valid
1.0ms	13×	body	320	valid
1.0ms	31×	body	80	invalid
1.0ms	4×	body	1280	valid
0.0ms	6×	body	160	valid

simplify93.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (92.0ms)

Iter	Nodes	Cost
0	4893	13
1	4893	13

prune18.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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: 4.4b

Counts

2 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (+ y (* y (/ (- z t) (- t a)))))
0.0b	(/ (- z t) (- t a))
3.0b	(* y (/ (- z t) (- t a)))
3.3b	(+ y (* y (/ (- z t) (- t a))))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

77×	`add-sqr-sqrt`
74×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
28×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
11×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
6×	`pow1`
5×	`associate-/r` `associate-/l`
4×	`sum-log` `associate-/r/`
3×	`flip3--` `associate-l` `flip--`
2×	`cbrt-undiv` `+-commutative` `flip3-+` `div-exp` `prod-exp` `cbrt-unprod` `flip-+` `div-inv` `associate-/l/` `unswap-sqr`
1×	`associate-+r+` `frac-2neg` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `-commutative` `distribute-lft-out`

Counts

4 → 127

Calls

4 calls:

5.0ms	(+ x (+ y (* y (/ (- z t) (- t a)))))
8.0ms	(/ (- z t) (- t a))
13.0ms	(* y (/ (- z t) (- t a)))
3.0ms	(+ y (* y (/ (- z t) (- t a))))

series87.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(+ x (+ y (* y (/ (- z t) (- t a)))))
10.0ms	(/ (- z t) (- t a))
19.0ms	(* y (/ (- z t) (- t a)))
23.0ms	(+ y (* y (/ (- z t) (- t a))))

simplify44.0ms

Algorithm

egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5072	1615

prune171.0ms

Filtered

96 candidates to 139 candidates (-44.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	131	8	139
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	132	9	141

Merged error: 2.5b

Counts

141 → 9

localize17.0ms

Local error

Found 4 expressions with local error:

3.0b	(* y (/ (- z t) (- t a)))
3.3b	(+ y (* y (/ (- z t) (- t a))))
3.3b	(+ y (* y (/ (- z t) (- t a))))
3.3b	(+ y (* y (/ (- z t) (- t a))))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-sqr-sqrt`
36×	`*-un-lft-identity`
31×	`associate-r`
26×	`times-frac`
16×	`add-cube-cbrt`
10×	`distribute-lft-out--` `add-log-exp` `difference-of-squares`
9×	`add-exp-log` `add-cbrt-cube`
6×	`pow1`
3×	`+-commutative` `flip3-+` `associate-l` `sum-log` `flip-+`
2×	`prod-exp` `associate-/r/` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `flip3--` `associate-r/` `div-exp` `pow-prod-down` `-commutative` `flip--` `div-inv`

Counts

4 → 83

Calls

4 calls:

13.0ms	(* y (/ (- z t) (- t a)))
4.0ms	(+ y (* y (/ (- z t) (- t a))))
3.0ms	(+ y (* y (/ (- z t) (- t a))))
3.0ms	(+ y (* y (/ (- z t) (- t a))))

series89.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(* y (/ (- z t) (- t a)))
23.0ms	(+ y (* y (/ (- z t) (- t a))))
26.0ms	(+ y (* y (/ (- z t) (- t a))))
23.0ms	(+ y (* y (/ (- z t) (- t a))))

simplify45.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5487	1085

prune146.0ms

Filtered

70 candidates to 95 candidates (-35.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	94	1	95
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	95	9	104

Merged error: 2.4b

Counts

104 → 9

localize21.0ms

Local error

Found 4 expressions with local error:

3.3b	(+ y (* y (/ (- z t) (- t a))))
4.7b	(cbrt (/ (- z t) (- t a)))
4.7b	(cbrt (/ (- z t) (- t a)))
4.7b	(cbrt (/ (- z t) (- t a)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

97×	`add-sqr-sqrt` `*-un-lft-identity`
93×	`cbrt-prod`
75×	`times-frac`
37×	`add-cube-cbrt`
30×	`distribute-lft-out--` `difference-of-squares`
6×	`associate-/r/` `add-log-exp`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`cbrt-div` `flip3--` `pow1/3` `flip--` `div-inv`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

4 → 131

Calls

4 calls:

3.0ms	(+ y (* y (/ (- z t) (- t a))))
7.0ms	(cbrt (/ (- z t) (- t a)))
8.0ms	(cbrt (/ (- z t) (- t a)))
7.0ms	(cbrt (/ (- z t) (- t a)))

series208.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(+ y (* y (/ (- z t) (- t a))))
60.0ms	(cbrt (/ (- z t) (- t a)))
62.0ms	(cbrt (/ (- z t) (- t a)))
63.0ms	(cbrt (/ (- z t) (- t a)))

simplify71.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5334	2238

prune201.0ms

Filtered

105 candidates to 143 candidates (-36.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	143	0	143
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	143	9	152

Merged error: 2.4b

Counts

152 → 9

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (+ y (* y (* (- z t) (/ 1 (- t a))))))
0.2b	(* (- z t) (/ 1 (- t a)))
3.0b	(* y (* (- z t) (/ 1 (- t a))))
4.5b	(+ y (* y (* (- z t) (/ 1 (- t a)))))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt`
28×	`add-exp-log`
26×	`*-un-lft-identity`
22×	`associate-r`
18×	`add-cbrt-cube`
17×	`times-frac`
15×	`add-cube-cbrt`
13×	`prod-exp`
11×	`pow1` `add-log-exp`
8×	`associate-r/` `associate-l*`
7×	`cbrt-unprod`
5×	`flip3--` `flip--`
4×	`frac-times` `div-exp` `pow-prod-down` `associate-*l/` `sum-log` `distribute-lft-out--` `difference-of-squares`
3×	`unswap-sqr`
2×	`cbrt-undiv` `+-commutative` `rec-exp` `flip3-+` `1-exp` `associate-/r/` `un-div-inv` `*-commutative` `flip-+`
1×	`associate-+r+` `div-inv` `distribute-lft-out`

Counts

4 → 103

Calls

4 calls:

5.0ms	(+ x (+ y (* y (* (- z t) (/ 1 (- t a))))))
15.0ms	(* (- z t) (/ 1 (- t a)))
12.0ms	(* y (* (- z t) (/ 1 (- t a))))
4.0ms	(+ y (* y (* (- z t) (/ 1 (- t a)))))

series86.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(+ x (+ y (* y (* (- z t) (/ 1 (- t a))))))
10.0ms	(* (- z t) (/ 1 (- t a)))
16.0ms	(* y (* (- z t) (/ 1 (- t a))))
23.0ms	(+ y (* y (* (- z t) (/ 1 (- t a)))))

simplify54.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5059	1201

prune103.0ms

Filtered

77 candidates to 115 candidates (-49.4%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	114	1	115
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	114	10	124

Merged error: 2.4b

Counts

124 → 10

regimes624.0ms

Accuracy

25.4% (3.6b remaining)

Error of 6.7b against oracle of 3.1b and baseline of 7.9b

bsearch1.0ms

simplify11.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (10.0ms)

Iter	Nodes	Cost
0	552	113
1	552	113

end0.0ms

sample734.0ms

Algorithm

intervals

Results

252.0ms	6652×	body	80	valid
69.0ms	482×	body	640	valid
47.0ms	357×	body	320	valid
41.0ms	238×	body	1280	valid
33.0ms	719×	body	80	invalid
17.0ms	246×	body	160	valid
5.0ms	25×	body	2560	valid

Details

analyze1.0s

sample29.0ms

simplify93.0ms

prune18.0ms

localize9.0ms

rewrite34.0ms

series87.0ms

simplify44.0ms

prune171.0ms

localize17.0ms

rewrite27.0ms

series89.0ms

simplify45.0ms

prune146.0ms

localize21.0ms

rewrite32.0ms

series208.0ms

simplify71.0ms

prune201.0ms

localize10.0ms

rewrite40.0ms

series86.0ms

simplify54.0ms

prune103.0ms

regimes624.0ms

bsearch1.0ms

simplify11.0ms

end0.0ms

sample734.0ms

Profiling