Details

analyze1.1s

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.4%	0.2%	12
12.2%	87.6%	0.2%	13
21.8%	77.8%	0.4%	14

sample29.0ms

Algorithm

intervals

Results

8.0ms	210×	body	80	valid
2.0ms	17×	body	640	valid
1.0ms	14×	body	320	valid
1.0ms	36×	body	80	invalid
1.0ms	5×	body	1280	valid
1.0ms	9×	body	160	valid
0.0ms	1×	body	2560	valid

simplify51.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4892	13
1	4892	13

prune13.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: 10.6b

Counts

2 → 2

localize14.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.7b	(* (- y z) (/ (- t x) (- a z)))

rewrite32.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))))
16.0ms	(* (- y z) (/ (- t x) (- a z)))

series95.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(/ (- t x) (- a z))
50.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
33.0ms	(* (- y z) (/ (- t x) (- a z)))

simplify43.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5183	1602

prune159.0ms

Filtered

87 candidates to 128 candidates (-47.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	119	9	128
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	119	11	130

Merged error: 3.9b

Counts

130 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- a z))
0.6b	(cbrt (- a z))
4.1b	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
7.2b	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

75×	`add-sqr-sqrt`
59×	`*-un-lft-identity`
52×	`times-frac`
46×	`associate-r`
37×	`cbrt-prod`
27×	`add-cube-cbrt`
25×	`add-exp-log`
18×	`cbrt-div` `add-cbrt-cube`
17×	`associate-l`
16×	`distribute-lft-out--` `difference-of-squares`
10×	`associate-/r/`
9×	`flip3--` `flip--`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp`
6×	`pow1` `add-log-exp` `unswap-sqr`
5×	`frac-times`
3×	`associate-r/` `associate-l/`
2×	`pow1/3` `div-inv`
1×	`+-commutative` `flip3-+` `pow-prod-down` `sum-log` `*-commutative` `flip-+`

Counts

4 → 134

Calls

4 calls:

3.0ms	(cbrt (- a z))
3.0ms	(cbrt (- a z))
34.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
6.0ms	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

series152.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cbrt (- a z))
25.0ms	(cbrt (- a z))
53.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
50.0ms	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

simplify37.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5314	2524

prune178.0ms

Filtered

108 candidates to 146 candidates (-35.2%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	143	3	146
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	143	14	157

Merged error: 3.9b

Counts

157 → 14

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- a z))
0.6b	(cbrt (- a z))
4.0b	(* (/ (- y z) (* (cbrt (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
7.7b	(+ x (* (/ (- y z) (* (cbrt (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z))))))

rewrite130.0ms

Algorithm

rewrite-expression-head

Rules

296×	`cbrt-div`
137×	`frac-times`
111×	`flip3--` `flip--`
89×	`associate-l`
84×	`add-sqr-sqrt`
82×	`associate-/r/`
78×	`cbrt-prod`
73×	`*-un-lft-identity`
63×	`times-frac`
61×	`associate-r`
45×	`associate-r/` `associate-l/`
36×	`add-exp-log`
35×	`add-cube-cbrt`
24×	`add-cbrt-cube`
19×	`distribute-lft-out--` `difference-of-squares`
14×	`prod-exp` `cbrt-unprod`
10×	`cbrt-undiv` `div-exp`
6×	`pow1` `add-log-exp`
4×	`unswap-sqr`
2×	`pow1/3` `div-inv`
1×	`+-commutative` `flip3-+` `pow-prod-down` `sum-log` `*-commutative` `flip-+`

Counts

4 → 223

Calls

4 calls:

3.0ms	(cbrt (- a z))
3.0ms	(cbrt (- a z))
101.0ms	(* (/ (- y z) (* (cbrt (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
4.0ms	(+ x (* (/ (- y z) (* (cbrt (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z))))))

series158.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt (- a z))
27.0ms	(cbrt (- a z))
53.0ms	(* (/ (- y z) (* (cbrt (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
53.0ms	(+ x (* (/ (- y z) (* (cbrt (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z))))))

simplify63.0ms

Algorithm

egg-herbie

Counts

235 → 235

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5174	7022

prune381.0ms

Filtered

195 candidates to 235 candidates (-20.5%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	235	0	235
Fresh	0	11	11
Picked	0	1	1
Done	0	2	2
Total	235	14	249

Merged error: 3.9b

Counts

249 → 14

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (- a z))
0.2b	(* (- t x) (/ 1 (- a z)))
4.3b	(+ x (* (- y z) (* (- t x) (/ 1 (- a z)))))
6.7b	(* (- y z) (* (- t x) (/ 1 (- a z))))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-sqr-sqrt`
44×	`*-un-lft-identity`
32×	`add-exp-log` `times-frac`
25×	`add-cube-cbrt`
22×	`associate-r`
20×	`frac-times` `add-cbrt-cube`
17×	`flip3--` `flip--`
13×	`prod-exp`
12×	`pow1`
10×	`associate-r/` `associate-l` `associate-l/`
9×	`distribute-lft-out--` `difference-of-squares`
7×	`cbrt-unprod`
6×	`div-exp` `add-log-exp`
5×	`associate-/r*`
4×	`pow-prod-down` `associate-/r/` `un-div-inv`
3×	`cbrt-undiv` `rec-exp` `1-exp` `associate-/l*` `unswap-sqr`
2×	`*-commutative` `div-inv`
1×	`+-commutative` `pow-flip` `frac-2neg` `flip3-+` `clear-num` `sum-log` `flip-+` `inv-pow`

Counts

4 → 146

Calls

4 calls:

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

series134.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(/ 1 (- a z))
12.0ms	(* (- t x) (/ 1 (- a z)))
82.0ms	(+ x (* (- y z) (* (- t x) (/ 1 (- a z)))))
36.0ms	(* (- y z) (* (- t x) (/ 1 (- a z))))

simplify47.0ms

Algorithm

egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5717	1769

prune123.0ms

Filtered

97 candidates to 158 candidates (-62.9%)

Pruning

14 alts after pruning (10 fresh and 4 done)

	Pruned	Kept	Total
New	158	0	158
Fresh	0	10	10
Picked	0	1	1
Done	0	3	3
Total	158	14	172

Merged error: 3.9b

Counts

172 → 14

regimes787.0ms

Accuracy

45.5% (5.0b remaining)

Error of 8.6b against oracle of 3.6b and baseline of 12.8b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	75	131
1	75	131

end0.0ms

sample789.0ms

Algorithm

intervals

Results

258.0ms	6549×	body	80	valid
70.0ms	480×	body	640	valid
49.0ms	284×	body	1280	valid
49.0ms	1256×	body	80	invalid
49.0ms	440×	body	320	valid
17.0ms	239×	body	160	valid
2.0ms	8×	body	2560	valid

Details

analyze1.1s

sample29.0ms

simplify51.0ms

prune13.0ms

localize14.0ms

rewrite32.0ms

series95.0ms

simplify43.0ms

prune159.0ms

localize14.0ms

rewrite52.0ms

series152.0ms

simplify37.0ms

prune178.0ms

localize18.0ms

rewrite130.0ms

series158.0ms

simplify63.0ms

prune381.0ms

localize11.0ms

rewrite45.0ms

series134.0ms

simplify47.0ms

prune123.0ms

regimes787.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample789.0ms

Profiling