Details

sample41.0ms

Algorithm

intervals

Results

14.0ms	240×	body	80	valid
3.0ms	22×	body	640	valid
1.0ms	8×	body	1280	valid
1.0ms	9×	body	320	valid
1.0ms	13×	body	160	valid
0.0ms	1×	body	2560	valid

simplify73.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	6
1	44	6
2	122	6
3	327	6
4	868	6
5	1727	6
6	3544	6
7	5001	6

prune4.0ms

Filtered

1 candidates to 0 candidates (100.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: 16.4b

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

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

series98.0ms

Counts

3 → 9

Calls

3 calls:

14.0ms	(/ (- t x) (- a z))
47.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
37.0ms	(* (- y z) (/ (- t x) (- a z)))

simplify53.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	473	869
1	2012	820
2	5002	820

prune187.0ms

Filtered

128 candidates to 88 candidates (31.3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	114	14	128
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	115	14	129

Merged error: 4.8b

Counts

129 → 14

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- a z))
0.5b	(cbrt (- a z))
0.9b	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
9.5b	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

rewrite54.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))
38.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)))))

series155.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt (- a z))
27.0ms	(cbrt (- a z))
52.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)))))

simplify89.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 2 (73.0ms)

Iter	Nodes	Cost
0	752	1839
1	3320	1671
2	5001	1580

prune193.0ms

Filtered

146 candidates to 103 candidates (29.5%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	144	2	146
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	144	16	160

Merged error: 4.8b

Counts

160 → 16

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- a z) (- t x))
0.3b	(/ 1 (/ (- a z) (- t x)))
6.1b	(+ x (* (- y z) (/ 1 (/ (- a z) (- t x)))))
6.7b	(* (- y z) (/ 1 (/ (- a z) (- t x))))

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

series143.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(/ (- a z) (- t x))
29.0ms	(/ 1 (/ (- a z) (- t x)))
49.0ms	(+ x (* (- y z) (/ 1 (/ (- a z) (- t x)))))
52.0ms	(* (- y z) (/ 1 (/ (- a z) (- t x))))

simplify55.0ms

Algorithm

egg-herbie

Counts

356 → 356

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1010	3035
1	5002	2738

prune336.0ms

Filtered

356 candidates to 208 candidates (41.6%)

Pruning

17 alts after pruning (15 fresh and 2 done)

	Pruned	Kept	Total
New	354	2	356
Fresh	1	13	14
Picked	0	1	1
Done	0	1	1
Total	355	17	372

Merged error: 4.8b

Counts

372 → 17

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- y z) (- a z))
2.2b	(* (/ (- y z) (- a z)) (- t x))
3.4b	(+ 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×	`distribute-rgt-in` `sub-neg` `associate-+r+` `distribute-lft-in` `associate-/r/`
2×	`cbrt-undiv` `frac-times` `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 → 127

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)))

series112.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify54.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	522	929
1	1920	879
2	5003	879

prune104.0ms

Filtered

136 candidates to 90 candidates (33.8%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	134	2	136
Fresh	3	11	14
Picked	1	0	1
Done	0	2	2
Total	138	15	153

Merged error: 4.8b

Counts

153 → 15

regimes740.0ms

Accuracy

62% (3.0b remaining)

Error of 7.2b against oracle of 4.1b and baseline of 12.1b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	29
1	47	29
2	50	29
3	50	29

end0.0ms

sample984.0ms

Algorithm

intervals

Results

301.0ms	7743×	body	80	valid
71.0ms	499×	body	640	valid
51.0ms	271×	body	1280	valid
47.0ms	435×	body	320	valid
23.0ms	283×	body	160	valid
2.0ms	11×	body	2560	valid

Details

sample41.0ms

simplify73.0ms

prune4.0ms

localize9.0ms

rewrite33.0ms

series98.0ms

simplify53.0ms

prune187.0ms

localize13.0ms

rewrite54.0ms

series155.0ms

simplify89.0ms

prune193.0ms

localize11.0ms

rewrite87.0ms

series143.0ms

simplify55.0ms

prune336.0ms

localize10.0ms

rewrite33.0ms

series112.0ms

simplify54.0ms

prune104.0ms

regimes740.0ms

bsearch2.0ms

simplify2.0ms

end0.0ms

sample984.0ms

Profiling