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
1.8%	98%	0.2%	10
7.7%	92.1%	0.2%	11
10.4%	89.3%	0.2%	12
12.2%	87.5%	0.2%	13
21.9%	77.7%	0.4%	14

sample35.0ms

Algorithm

intervals

Results

13.0ms	215×	body	80	valid
2.0ms	13×	body	640	valid
2.0ms	10×	body	1280	valid
1.0ms	33×	body	80	invalid
1.0ms	10×	body	320	valid
1.0ms	8×	body	160	valid

simplify38.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4912	13
1	4912	13

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

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 119

Calls

3 calls:

8.0ms	(/ (- t x) (- a z))
4.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
17.0ms	(* (- y z) (/ (- t x) (- a z)))

series98.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(/ (- t x) (- a z))
48.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
37.0ms	(* (- y z) (/ (- t x) (- a z)))

simplify52.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	6521	1596

prune183.0ms

Filtered

88 candidates to 128 candidates (-45.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	120	8	128
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	120	9	129

Merged error: 2.4b

Counts

129 → 9

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- a z) (- t x))
0.4b	(/ 1 (/ (- a z) (- t x)))
4.8b	(+ x (* (- y z) (/ 1 (/ (- a z) (- t x)))))
6.8b	(* (- y z) (/ 1 (/ (- a z) (- t x))))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

392×	`times-frac`
338×	`add-sqr-sqrt`
326×	`*-un-lft-identity`
158×	`add-cube-cbrt`
98×	`associate-r`
83×	`distribute-lft-out--` `difference-of-squares`
36×	`add-exp-log` `associate-/r*`
20×	`add-cbrt-cube`
18×	`associate-/r/`
15×	`div-exp`
11×	`flip3--` `flip--`
10×	`div-inv`
8×	`associate-/l*`
7×	`pow1` `cbrt-undiv` `prod-exp`
6×	`add-log-exp`
5×	`associate-l` `unswap-sqr`
4×	`rec-exp` `1-exp`
3×	`cbrt-unprod`
2×	`frac-times` `frac-2neg` `associate-*l/` `clear-num` `associate-/l/`
1×	`+-commutative` `pow-flip` `flip3-+` `div-sub` `associate-r/` `pow-prod-down` `sum-log` `un-div-inv` `-commutative` `flip-+` `inv-pow`

Counts

4 → 344

Calls

4 calls:

8.0ms	(/ (- a z) (- t x))
12.0ms	(/ 1 (/ (- a z) (- t x)))
4.0ms	(+ x (* (- y z) (/ 1 (/ (- a z) (- t x)))))
38.0ms	(* (- y z) (/ 1 (/ (- a z) (- t x))))

series151.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(/ (- a z) (- t x))
30.0ms	(/ 1 (/ (- a z) (- t x)))
49.0ms	(+ x (* (- y z) (/ 1 (/ (- a z) (- t x)))))
59.0ms	(* (- y z) (/ 1 (/ (- a z) (- t x))))

simplify85.0ms

Algorithm

egg-herbie

Counts

356 → 356

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5270	4965

prune337.0ms

Filtered

206 candidates to 356 candidates (-72.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	353	3	356
Fresh	3	4	7
Picked	0	1	1
Done	0	1	1
Total	356	9	365

Merged error: 2.3b

Counts

365 → 9

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- y z) (- a z))
2.0b	(* (/ (- y z) (- a z)) (- t x))
2.3b	(+ x (* (/ (- y z) (- a z)) (- t x)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

78×	`add-sqr-sqrt`
73×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-l`
27×	`add-cube-cbrt`
23×	`distribute-lft-out--` `difference-of-squares`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `flip3--` `associate-r` `associate-/r` `flip--` `associate-/l` `add-log-exp`
4×	`sub-neg` `associate-/r/`
2×	`cbrt-undiv` `distribute-rgt-in` `frac-times` `associate-+r+` `distribute-lft-in` `associate-*r/` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `flip3-+` `div-sub` `pow-prod-down` `associate-l/` `clear-num` `sum-log` `-commutative` `flip-+`

Counts

3 → 123

Calls

3 calls:

8.0ms	(/ (- y z) (- a z))
16.0ms	(* (/ (- y z) (- a z)) (- t x))
4.0ms	(+ x (* (/ (- y z) (- a z)) (- t x)))

series114.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(/ (- y z) (- a z))
55.0ms	(* (/ (- y z) (- a z)) (- t x))
50.0ms	(+ x (* (/ (- y z) (- a z)) (- t x)))

simplify48.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4965	1670
1	4965	1670

prune146.0ms

Filtered

92 candidates to 132 candidates (-43.5%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	132	9	141

Merged error: 2.3b

Counts

141 → 9

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

330×	`times-frac`
323×	`*-un-lft-identity`
321×	`add-sqr-sqrt`
113×	`add-cube-cbrt`
104×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r*`
15×	`associate-/r/`
10×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
9×	`flip3--` `flip--`
8×	`div-inv`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp` `associate-/l/`
3×	`pow1` `div-sub`
2×	`frac-2neg` `clear-num`
1×	`+-commutative` `associate-+r-` `flip3-+` `sum-log` `flip-+` `distribute-lft-out`

Counts

3 → 274

Calls

3 calls:

8.0ms	(/ (- a z) (- t x))
44.0ms	(+ x (/ (- y z) (/ (- a z) (- t x))))
16.0ms	(/ (- y z) (/ (- a z) (- t x)))

series120.0ms

Counts

3 → 9

Calls

3 calls:

14.0ms	(/ (- a z) (- t x))
48.0ms	(+ x (/ (- y z) (/ (- a z) (- t x))))
58.0ms	(/ (- y z) (/ (- a z) (- t x)))

simplify66.0ms

Algorithm

egg-herbie

Counts

283 → 283

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5431	5455

prune208.0ms

Filtered

170 candidates to 283 candidates (-66.5%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	283	0	283
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	283	9	292

Merged error: 2.3b

Counts

292 → 9

regimes586.0ms

Accuracy

63.5% (3.1b remaining)

Error of 6.8b against oracle of 3.7b and baseline of 12.1b

bsearch2.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	166	59
1	166	59

end0.0ms

sample848.0ms

Algorithm

intervals

Results

276.0ms	6492×	body	80	valid
72.0ms	515×	body	640	valid
49.0ms	263×	body	1280	valid
49.0ms	1167×	body	80	invalid
47.0ms	409×	body	320	valid
22.0ms	300×	body	160	valid
5.0ms	21×	body	2560	valid

Details

analyze1.0s

sample35.0ms

simplify38.0ms

prune4.0ms

localize9.0ms

rewrite34.0ms

series98.0ms

simplify52.0ms

prune183.0ms

localize11.0ms

rewrite83.0ms

series151.0ms

simplify85.0ms

prune337.0ms

localize9.0ms

rewrite33.0ms

series114.0ms

simplify48.0ms

prune146.0ms

localize9.0ms

rewrite85.0ms

series120.0ms

simplify66.0ms

prune208.0ms

regimes586.0ms

bsearch2.0ms

simplify3.0ms

end0.0ms

sample848.0ms

Profiling