Details

sample27.0ms

Algorithm

intervals

Results

8.0ms	230×	body	80	valid
2.0ms	18×	body	640	valid
1.0ms	8×	body	1280	valid
1.0ms	11×	body	320	valid
1.0ms	12×	body	160	valid
0.0ms	1×	body	2560	valid

simplify75.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

prune2.0ms

Filtered

1 candidates to 0 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: 14.1b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- t x) (- a z))
3.2b	(+ x (* (- y z) (/ (- t x) (- a z))))
3.9b	(* (- y z) (/ (- t x) (- a z)))

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

10.0ms	(/ (- t x) (- a z))
3.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
16.0ms	(* (- y z) (/ (- t x) (- a z)))

series326.0ms

Counts

3 → 9

Calls

3 calls:

49.0ms	(/ (- t x) (- a z))
149.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
128.0ms	(* (- y z) (/ (- t x) (- a z)))

simplify59.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 1 (13.0ms)

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

prune310.0ms

Filtered

128 candidates to 88 candidates (68.8%)

Pruning

15 alts after pruning (14 fresh and 1 done)

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

Merged error: 4.1b

Counts

129 → 15

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- a z) (- t x))
0.4b	(/ 1 (/ (- a z) (- t x)))
3.9b	(* (- y z) (/ 1 (/ (- a z) (- t x))))
5.2b	(+ x (* (- y z) (/ 1 (/ (- a z) (- t x)))))

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

series683.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(/ (- a z) (- t x))
191.0ms	(/ 1 (/ (- a z) (- t x)))
291.0ms	(* (- y z) (/ 1 (/ (- a z) (- t x))))
153.0ms	(+ x (* (- y z) (/ 1 (/ (- a z) (- t x)))))

simplify61.0ms

Algorithm

egg-herbie

Counts

356 → 356

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1010	3035
1	5002	2738

prune659.0ms

Filtered

356 candidates to 208 candidates (58.4%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	353	3	356
Fresh	2	11	13
Picked	0	1	1
Done	0	1	1
Total	355	16	371

Merged error: 4.1b

Counts

371 → 16

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- y z) (- a z))
1.6b	(* (/ (- y z) (- a z)) (- t x))
2.5b	(+ x (* (/ (- y z) (- a z)) (- t x)))

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

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

series486.0ms

Counts

3 → 9

Calls

3 calls:

48.0ms	(/ (- y z) (- a z))
287.0ms	(* (/ (- y z) (- a z)) (- t x))
151.0ms	(+ x (* (/ (- y z) (- a z)) (- t x)))

simplify52.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

prune265.0ms

Filtered

136 candidates to 90 candidates (66.2%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	134	2	136
Fresh	3	10	13
Picked	1	0	1
Done	1	1	2
Total	139	13	152

Merged error: 4.1b

Counts

152 → 13

localize10.0ms

Local error

Found 3 expressions with local error:

0.3b	(* (- y z) (/ 1 (- a z)))
1.6b	(* (* (- y z) (/ 1 (- a z))) (- t x))
4.0b	(+ x (* (* (- y z) (/ 1 (- a z))) (- t x)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-sqr-sqrt`
27×	`add-exp-log`
26×	`associate-r`
25×	`*-un-lft-identity`
20×	`frac-times`
17×	`times-frac` `add-cbrt-cube`
16×	`flip3--` `flip--`
14×	`add-cube-cbrt` `associate-*l/`
13×	`prod-exp`
10×	`pow1`
7×	`cbrt-unprod`
6×	`associate-r/` `associate-l*`
5×	`distribute-lft-out--` `add-log-exp` `difference-of-squares`
4×	`distribute-rgt-in` `sub-neg` `associate-+r+` `distribute-lft-in` `div-exp` `pow-prod-down` `un-div-inv`
3×	`unswap-sqr`
2×	`cbrt-undiv` `rec-exp` `1-exp` `associate-/r/` `*-commutative`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+` `div-inv`

Counts

3 → 113

Calls

3 calls:

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

series489.0ms

Counts

3 → 9

Calls

3 calls:

48.0ms	(* (- y z) (/ 1 (- a z)))
290.0ms	(* (* (- y z) (/ 1 (- a z))) (- t x))
151.0ms	(+ x (* (* (- y z) (/ 1 (- a z))) (- t x)))

simplify79.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 2 (68.0ms)

Iter	Nodes	Cost
0	633	904
1	3143	790
2	5001	770

prune217.0ms

Filtered

122 candidates to 81 candidates (66.4%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	121	1	122
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	121	14	135

Merged error: 4.1b

Counts

135 → 14

regimes362.0ms

Accuracy

63.5% (2.6b remaining)

Error of 6.9b against oracle of 4.3b and baseline of 11.4b

bsearch3.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	25
1	41	25

end0.0ms

sample734.0ms

Algorithm

intervals

Results

287.0ms	7748×	body	80	valid
70.0ms	476×	body	640	valid
42.0ms	408×	body	320	valid
40.0ms	234×	body	1280	valid
21.0ms	263×	body	160	valid
4.0ms	18×	body	2560	valid

Details

sample27.0ms

simplify75.0ms

prune2.0ms

localize10.0ms

rewrite35.0ms

series326.0ms

simplify59.0ms

prune310.0ms

localize10.0ms

rewrite81.0ms

series683.0ms

simplify61.0ms

prune659.0ms

localize9.0ms

rewrite31.0ms

series486.0ms

simplify52.0ms

prune265.0ms

localize10.0ms

rewrite36.0ms

series489.0ms

simplify79.0ms

prune217.0ms

regimes362.0ms

bsearch3.0ms

simplify1.0ms

end0.0ms

sample734.0ms

Profiling