Details

sample28.0ms

Algorithm

intervals

Results

10.0ms	262×	body	80	valid
2.0ms	18×	body	640	valid
2.0ms	18×	body	320	valid
1.0ms	3×	body	1280	valid
0.0ms	1×	body	2560	valid
0.0ms	3×	body	160	valid

simplify72.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	20	6
1	45	6
2	111	6
3	288	6
4	714	6
5	1493	6
6	3393	6
7	5002	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: 25.7b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- y x) (- z t))
1.2b	(+ x (/ (* (- y x) (- z t)) (- a t)))
18.7b	(/ (* (- y x) (- z t)) (- a t))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt` `*-un-lft-identity`
13×	`flip3--` `flip--`
10×	`add-exp-log` `add-cbrt-cube`
8×	`frac-times` `associate-/l/`
7×	`add-cube-cbrt`
5×	`pow1` `times-frac` `associate-r` `associate-l` `associate-/r*` `add-log-exp`
4×	`associate-r/` `associate-l/` `distribute-lft-out--` `difference-of-squares`
2×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `distribute-lft-in` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod`
1×	`+-commutative` `frac-2neg` `flip3-+` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out` `associate-/l` `unswap-sqr`

Counts

3 → 81

Calls

3 calls:

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

series299.0ms

Counts

3 → 9

Calls

3 calls:

35.0ms	(* (- y x) (- z t))
152.0ms	(+ x (/ (* (- y x) (- z t)) (- a t)))
112.0ms	(/ (* (- y x) (- z t)) (- a t))

simplify58.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	468	583
1	2162	534
2	5003	534

prune228.0ms

Filtered

90 candidates to 67 candidates (74.4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	78	12	90
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	12	91

Merged error: 5.7b

Counts

91 → 12

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- z t) (- a t))
1.2b	(+ x (* (- y x) (/ (- z t) (- a t))))
1.5b	(* (- y x) (/ (- z t) (- a t)))

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

series310.0ms

Counts

3 → 9

Calls

3 calls:

46.0ms	(/ (- z t) (- a t))
153.0ms	(+ x (* (- y x) (/ (- z t) (- a t))))
110.0ms	(* (- y x) (/ (- z t) (- a t)))

simplify58.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	476	869
1	2018	820
2	5002	820

prune267.0ms

Filtered

128 candidates to 84 candidates (65.6%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	119	9	128
Fresh	4	7	11
Picked	1	0	1
Done	0	0	0
Total	124	16	140

Merged error: 5.7b

Counts

140 → 16

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (- a t))
0.2b	(* (- z t) (/ 1 (- a t)))
1.5b	(* (- y x) (* (- z t) (/ 1 (- a t))))
2.6b	(+ x (* (- y x) (* (- z t) (/ 1 (- a t)))))

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

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

series343.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(/ 1 (- a t))
45.0ms	(* (- z t) (/ 1 (- a t)))
111.0ms	(* (- y x) (* (- z t) (/ 1 (- a t))))
151.0ms	(+ x (* (- y x) (* (- z t) (/ 1 (- a t)))))

simplify75.0ms

Algorithm

egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	586	1027
1	2802	910
2	5003	865

prune304.0ms

Filtered

158 candidates to 99 candidates (62.7%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	155	3	158
Fresh	0	15	15
Picked	0	1	1
Done	0	0	0
Total	155	19	174

Merged error: 5.7b

Counts

174 → 19

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- a t) (- z t))
1.2b	(+ x (/ (- y x) (/ (- a t) (- z t))))
2.1b	(/ (- y x) (/ (- a t) (- z t)))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

330×	`times-frac`
323×	`*-un-lft-identity`
321×	`add-sqr-sqrt`
113×	`add-cube-cbrt`
104×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r*`
15×	`associate-/r/`
10×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
9×	`flip3--` `flip--`
8×	`div-inv`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp` `associate-/l/`
3×	`pow1` `div-sub`
2×	`frac-2neg` `clear-num`
1×	`+-commutative` `associate-+r-` `flip3-+` `sum-log` `flip-+` `distribute-lft-out`

Counts

3 → 274

Calls

3 calls:

8.0ms	(/ (- a t) (- z t))
41.0ms	(+ x (/ (- y x) (/ (- a t) (- z t))))
15.0ms	(/ (- y x) (/ (- a t) (- z t)))

series403.0ms

Counts

3 → 9

Calls

3 calls:

46.0ms	(/ (- a t) (- z t))
154.0ms	(+ x (/ (- y x) (/ (- a t) (- z t))))
203.0ms	(/ (- y x) (/ (- a t) (- z t)))

simplify113.0ms

Algorithm

egg-herbie

Counts

283 → 283

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	1030	3053
1	4263	2984
2	5001	2984

prune507.0ms

Filtered

283 candidates to 172 candidates (60.8%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	279	4	283
Fresh	7	10	17
Picked	0	1	1
Done	0	1	1
Total	286	16	302

Merged error: 5.6b

Counts

302 → 16

regimes289.0ms

Accuracy

11.1% (6.7b remaining)

Error of 10.9b against oracle of 4.1b and baseline of 11.7b

bsearch120.0ms

Steps

Iters	Range		Point
10	9.813570662590159e-116	6.850599693454977e-106	9.894462136359911e-116
11	-1.872578335055145e-276	-5.293978918454575e-298	-5.326332229340657e-282

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	13
1	36	13

end0.0ms

sample779.0ms

Algorithm

intervals

Results

303.0ms	7817×	body	80	valid
78.0ms	511×	body	640	valid
48.0ms	397×	body	320	valid
42.0ms	233×	body	1280	valid
20.0ms	272×	body	160	valid
3.0ms	14×	body	2560	valid

Details

sample28.0ms

simplify72.0ms

prune2.0ms

localize9.0ms

rewrite34.0ms

series299.0ms

simplify58.0ms

prune228.0ms

localize9.0ms

rewrite36.0ms

series310.0ms

simplify58.0ms

prune267.0ms

localize10.0ms

rewrite46.0ms

series343.0ms

simplify75.0ms

prune304.0ms

localize9.0ms

rewrite83.0ms

series403.0ms

simplify113.0ms

prune507.0ms

regimes289.0ms

bsearch120.0ms

simplify1.0ms

end0.0ms

sample779.0ms

Profiling