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

sample32.0ms

Algorithm

intervals

Results

8.0ms	196×	body	80	valid
4.0ms	25×	body	640	valid
2.0ms	11×	body	1280	valid
1.0ms	38×	body	80	invalid
1.0ms	12×	body	320	valid
1.0ms	11×	body	160	valid
0.0ms	1×	body	2560	valid

simplify68.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4885	13
1	4885	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: 19.3b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- t x) (- a z))
4.1b	(+ x (* (- y z) (/ (- t x) (- a z))))
8.8b	(* (- y z) (/ (- t x) (- a z)))

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

7.0ms	(/ (- t x) (- a z))
4.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
21.0ms	(* (- y z) (/ (- t x) (- a z)))

series101.0ms

Counts

3 → 9

Calls

3 calls:

13.0ms	(/ (- t x) (- a z))
53.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
35.0ms	(* (- y z) (/ (- t x) (- a z)))

simplify42.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5183	1602

prune210.0ms

Filtered

88 candidates to 128 candidates (-45.5%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	111	17	128
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	112	17	129

Merged error: 5.1b

Counts

129 → 17

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- t x))
0.6b	(cbrt (- t x))
1.1b	(* (- y z) (* (/ (cbrt (- t x)) (cbrt (- a z))) (/ (cbrt (- t x)) (cbrt (- a z)))))
13.4b	(+ x (* (* (- y z) (* (/ (cbrt (- t x)) (cbrt (- a z))) (/ (cbrt (- t x)) (cbrt (- a z))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-exp-log`
14×	`add-sqr-sqrt` `add-cbrt-cube`
13×	`*-un-lft-identity`
10×	`cbrt-prod`
9×	`pow1` `frac-times` `prod-exp` `cbrt-unprod`
7×	`add-cube-cbrt`
6×	`flip3--` `associate-*r/` `flip--` `add-log-exp`
5×	`associate-l` `associate-*l/`
4×	`cbrt-undiv` `cbrt-div` `div-exp`
3×	`pow-prod-down` `distribute-lft-out--` `difference-of-squares`
2×	`pow1/3`
1×	`+-commutative` `flip3-+` `associate-r` `sum-log` `*-commutative` `flip-+` `unswap-sqr`

Counts

4 → 79

Calls

4 calls:

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

series224.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt (- t x))
28.0ms	(cbrt (- t x))
117.0ms	(* (- y z) (* (/ (cbrt (- t x)) (cbrt (- a z))) (/ (cbrt (- t x)) (cbrt (- a z)))))
53.0ms	(+ x (* (* (- y z) (* (/ (cbrt (- t x)) (cbrt (- a z))) (/ (cbrt (- t x)) (cbrt (- a z))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

simplify29.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5025	1489

prune157.0ms

Filtered

63 candidates to 91 candidates (-44.4%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	90	1	91
Fresh	0	16	16
Picked	0	1	1
Done	0	0	0
Total	90	18	108

Merged error: 5.1b

Counts

108 → 18

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

15×	`cbrt-prod`
13×	`add-sqr-sqrt` `*-un-lft-identity`
7×	`add-cube-cbrt`
6×	`cbrt-div` `add-log-exp`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`flip3--` `pow1/3` `flip--` `distribute-lft-out--` `difference-of-squares`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

4 → 56

Calls

4 calls:

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

series137.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(cbrt (- y z))
26.0ms	(cbrt (- y z))
27.0ms	(cbrt (- y z))
55.0ms	(+ x (* (* (* (cbrt (- y z)) (cbrt (- y z))) (* (/ (cbrt (- t x)) (cbrt (- a z))) (* (/ (cbrt (- t x)) (cbrt (- a z))) (cbrt (- y z))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

simplify31.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5181	677

prune138.0ms

Filtered

54 candidates to 68 candidates (-25.9%)

Pruning

18 alts after pruning (16 fresh and 2 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	16	16
Picked	0	1	1
Done	0	1	1
Total	68	18	86

Merged error: 5.1b

Counts

86 → 18

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- a z))
0.6b	(cbrt (- a z))
2.6b	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
11.2b	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

rewrite55.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))
37.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
4.0ms	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

series165.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt (- a z))
28.0ms	(cbrt (- a z))
56.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
55.0ms	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

simplify38.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5314	2524

prune136.0ms

Filtered

108 candidates to 146 candidates (-35.2%)

Pruning

17 alts after pruning (14 fresh and 3 done)

	Pruned	Kept	Total
New	143	3	146
Fresh	4	11	15
Picked	0	1	1
Done	0	2	2
Total	147	17	164

Merged error: 5.1b

Counts

164 → 17

regimes858.0ms

Accuracy

61.4% (3.3b remaining)

Error of 6.9b against oracle of 3.6b and baseline of 12.2b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	83	113
1	83	113

end0.0ms

sample810.0ms

Algorithm

intervals

Results

267.0ms	6521×	body	80	valid
76.0ms	515×	body	640	valid
50.0ms	260×	body	1280	valid
46.0ms	1224×	body	80	invalid
43.0ms	397×	body	320	valid
21.0ms	290×	body	160	valid
4.0ms	17×	body	2560	valid

Details

analyze1.0s

sample32.0ms

simplify68.0ms

prune4.0ms

localize9.0ms

rewrite38.0ms

series101.0ms

simplify42.0ms

prune210.0ms

localize15.0ms

rewrite40.0ms

series224.0ms

simplify29.0ms

prune157.0ms

localize20.0ms

rewrite16.0ms

series137.0ms

simplify31.0ms

prune138.0ms

localize13.0ms

rewrite55.0ms

series165.0ms

simplify38.0ms

prune136.0ms

regimes858.0ms

bsearch2.0ms

simplify2.0ms

end0.0ms

sample810.0ms

Profiling