Details

sample40.0ms

Algorithm

intervals

Results

10.0ms	263×	body	80	valid
2.0ms	16×	body	640	valid
1.0ms	7×	body	1280	valid
1.0ms	9×	body	320	valid
1.0ms	8×	body	160	valid
0.0ms	1×	body	2560	valid

simplify118.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (116.0ms)

Iter	Nodes	Cost
0	5450	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: 13.5b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- t x) (- a z))
2.9b	(+ x (* (- y z) (/ (- t x) (- a z))))
4.5b	(* (- y z) (/ (- t x) (- a z)))

rewrite31.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))
3.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
15.0ms	(* (- y z) (/ (- t x) (- a z)))

series99.0ms

Counts

3 → 9

Calls

3 calls:

13.0ms	(/ (- t x) (- a z))
49.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
37.0ms	(* (- y z) (/ (- t x) (- a z)))

simplify31.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	5022	1602

prune177.0ms

Filtered

88 candidates to 128 candidates (-45.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	116	12	128
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	116	13	129

Merged error: 2.8b

Counts

129 → 13

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- a z))
0.5b	(cbrt (- a z))
1.2b	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
5.8b	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

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

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

series159.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(cbrt (- a z))
26.0ms	(cbrt (- a z))
57.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
49.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 (23.0ms)

Iter	Nodes	Cost
0	5188	2532

prune171.0ms

Filtered

108 candidates to 146 candidates (-35.2%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	145	1	146
Fresh	2	9	11
Picked	0	1	1
Done	0	1	1
Total	147	12	159

Merged error: 2.8b

Counts

159 → 12

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite41.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)))
14.0ms	(* (- y z) (* (- t x) (/ 1 (- a z))))
4.0ms	(+ x (* (- y z) (* (- t x) (/ 1 (- a z)))))

series107.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ 1 (- a z))
14.0ms	(* (- t x) (/ 1 (- a z)))
36.0ms	(* (- y z) (* (- t x) (/ 1 (- a z))))
53.0ms	(+ x (* (- y z) (* (- t x) (/ 1 (- a z)))))

simplify48.0ms

Algorithm

egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5477	1770

prune164.0ms

Filtered

98 candidates to 158 candidates (-61.2%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	157	1	158
Fresh	1	8	9
Picked	0	1	1
Done	0	2	2
Total	158	12	170

Merged error: 2.8b

Counts

170 → 12

localize14.0ms

Local error

Found 4 expressions with local error:

5.8b	(cbrt (/ (- t x) (- a z)))
5.8b	(cbrt (/ (- t x) (- a z)))
5.8b	(cbrt (/ (- t x) (- a z)))
8.5b	(+ x (* (* (- y z) (* (cbrt (/ (- t x) (- a z))) (cbrt (/ (- t x) (- a z))))) (cbrt (/ (- t x) (- a z)))))

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

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

series196.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(cbrt (/ (- t x) (- a z)))
48.0ms	(cbrt (/ (- t x) (- a z)))
47.0ms	(cbrt (/ (- t x) (- a z)))
54.0ms	(+ x (* (* (- y z) (* (cbrt (/ (- t x) (- a z))) (cbrt (/ (- t x) (- a z))))) (cbrt (/ (- t x) (- a z)))))

simplify71.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5041	2289

prune132.0ms

Filtered

105 candidates to 143 candidates (-36.2%)

Pruning

13 alts after pruning (9 fresh and 4 done)

	Pruned	Kept	Total
New	141	2	143
Fresh	1	7	8
Picked	0	1	1
Done	0	3	3
Total	142	13	155

Merged error: 2.8b

Counts

155 → 13

regimes715.0ms

Accuracy

54.4% (4.2b remaining)

Error of 7.5b against oracle of 3.3b and baseline of 12.5b

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	37	68
1	37	68

end0.0ms

sample1.0s

Algorithm

intervals

Results

313.0ms	7777×	body	80	valid
74.0ms	485×	body	640	valid
49.0ms	265×	body	1280	valid
45.0ms	400×	body	320	valid
21.0ms	268×	body	160	valid
3.0ms	11×	body	2560	valid

Details

sample40.0ms

simplify118.0ms

prune4.0ms

localize10.0ms

rewrite31.0ms

series99.0ms

simplify31.0ms

prune177.0ms

localize13.0ms

rewrite50.0ms

series159.0ms

simplify37.0ms

prune171.0ms

localize10.0ms

rewrite41.0ms

series107.0ms

simplify48.0ms

prune164.0ms

localize14.0ms

rewrite29.0ms

series196.0ms

simplify71.0ms

prune132.0ms

regimes715.0ms

bsearch1.0ms

simplify1.0ms

end0.0ms

sample1.0s

Profiling