Details

sample37.0ms

Algorithm

intervals

Results

9.0ms	236×	body	80	valid
3.0ms	24×	body	640	valid
2.0ms	11×	body	1280	valid
1.0ms	14×	body	320	valid
1.0ms	8×	body	160	valid

simplify72.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.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

prune8.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: 26.2b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite30.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)))
11.0ms	(/ (* (- y x) (- z t)) (- a t))

series289.0ms

Counts

3 → 9

Calls

3 calls:

33.0ms	(* (- y x) (- z t))
147.0ms	(+ x (/ (* (- y x) (- z t)) (- a t)))
108.0ms	(/ (* (- y x) (- z t)) (- a t))

simplify57.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 1 (11.0ms)

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

prune437.0ms

Filtered

90 candidates to 67 candidates (74.4%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	74	16	90
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	75	16	91

Merged error: 5.7b

Counts

91 → 16

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite78.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))
14.0ms	(/ (- y x) (/ (- a t) (- z t)))
40.0ms	(+ x (/ (- y x) (/ (- a t) (- z t))))

series383.0ms

Counts

3 → 9

Calls

3 calls:

47.0ms	(/ (- a t) (- z t))
188.0ms	(/ (- y x) (/ (- a t) (- z t)))
148.0ms	(+ x (/ (- y x) (/ (- a t) (- z t))))

simplify106.0ms

Algorithm

egg-herbie

Counts

283 → 283

Iterations

Useful iterations: 1 (23.0ms)

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

prune1.0s

Filtered

283 candidates to 172 candidates (60.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	276	7	283
Fresh	12	3	15
Picked	0	1	1
Done	0	0	0
Total	288	11	299

Merged error: 5.7b

Counts

299 → 11

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (- z t))
0.3b	(* (- a t) (/ 1 (- z t)))
1.4b	(/ (- y x) (* (- a t) (/ 1 (- z t))))
3.8b	(+ x (/ (- y x) (* (- a t) (/ 1 (- z t)))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

53×	`add-sqr-sqrt`
49×	`*-un-lft-identity`
37×	`times-frac`
32×	`add-exp-log`
26×	`add-cube-cbrt`
21×	`associate-r`
20×	`add-cbrt-cube`
11×	`div-exp`
10×	`associate-/r/` `distribute-lft-out--` `difference-of-squares`
8×	`prod-exp` `associate-/l*`
7×	`pow1` `flip3--` `flip--`
6×	`cbrt-undiv` `associate-/r*` `add-log-exp`
5×	`associate-l`
4×	`frac-times` `associate-*l/` `cbrt-unprod`
3×	`rec-exp` `1-exp` `div-inv` `unswap-sqr`
2×	`frac-2neg` `div-sub` `associate-*r/` `clear-num` `un-div-inv` `associate-/l/`
1×	`+-commutative` `associate-+r-` `pow-flip` `flip3-+` `pow-prod-down` `sum-log` `*-commutative` `flip-+` `distribute-lft-out` `inv-pow`

Counts

4 → 142

Calls

4 calls:

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

series425.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(/ 1 (- z t))
46.0ms	(* (- a t) (/ 1 (- z t)))
193.0ms	(/ (- y x) (* (- a t) (/ 1 (- z t))))
149.0ms	(+ x (/ (- y x) (* (- a t) (/ 1 (- z t)))))

simplify66.0ms

Algorithm

egg-herbie

Counts

154 → 154

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	559	958
1	2445	830
2	5002	783

prune535.0ms

Filtered

154 candidates to 93 candidates (60.4%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	153	1	154
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	153	12	165

Merged error: 5.7b

Counts

165 → 12

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- y x))
0.8b	(* (* (cbrt (- y x)) (cbrt (- y x))) (/ (cbrt (- y x)) (/ (- a t) (- z t))))
0.9b	(/ (cbrt (- y x)) (/ (- a t) (- z t)))
9.9b	(+ x (* (* (cbrt (- y x)) (cbrt (- y x))) (/ (cbrt (- y x)) (/ (- a t) (- z t)))))

rewrite152.0ms

Algorithm

rewrite-expression-head

Rules

927×	`times-frac`
798×	`add-sqr-sqrt`
787×	`*-un-lft-identity`
322×	`cbrt-prod`
319×	`add-cube-cbrt`
253×	`associate-r`
234×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r/`
31×	`flip3--` `associate-/r*` `flip--`
30×	`add-exp-log`
28×	`cbrt-div`
19×	`div-inv`
18×	`add-cbrt-cube`
16×	`frac-times`
12×	`associate-*l/`
9×	`pow1` `cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
8×	`associate-/l*`
6×	`add-log-exp`
5×	`associate-*r/` `unswap-sqr`
3×	`pow-prod-down`
2×	`associate-/l/`
1×	`+-commutative` `frac-2neg` `flip3-+` `pow1/3` `associate-l` `clear-num` `sum-log` `*-commutative` `flip-+`

Counts

4 → 628

Calls

4 calls:

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

series1.0s

Counts

4 → 12

Calls

4 calls:

150.0ms	(cbrt (- y x))
198.0ms	(* (* (cbrt (- y x)) (cbrt (- y x))) (/ (cbrt (- y x)) (/ (- a t) (- z t))))
507.0ms	(/ (cbrt (- y x)) (/ (- a t) (- z t)))
150.0ms	(+ x (* (* (cbrt (- y x)) (cbrt (- y x))) (/ (cbrt (- y x)) (/ (- a t) (- z t)))))

simplify138.0ms

Algorithm

egg-herbie

Counts

640 → 640

Iterations

Useful iterations: 1 (50.0ms)

Iter	Nodes	Cost
0	2052	9202
1	5001	9050

prune2.6s

Filtered

640 candidates to 399 candidates (62.3%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	638	2	640
Fresh	1	8	9
Picked	1	0	1
Done	0	2	2
Total	640	12	652

Merged error: 5.7b

Counts

652 → 12

regimes596.0ms

Accuracy

13.6% (6.5b remaining)

Error of 10.4b against oracle of 4.0b and baseline of 11.4b

bsearch98.0ms

Steps

Iters	Range		Point
7	1.3971525776333276e-97	3.16163074921928e-95	1.4330948125675652e-97
8	-2.6999490345542006e-162	-4.207003497449412e-165	-1.43001015825844e-163

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	19
1	36	19

end0.0ms

sample952.0ms

Algorithm

intervals

Results

292.0ms	7855×	body	80	valid
69.0ms	483×	body	640	valid
43.0ms	240×	body	1280	valid
42.0ms	399×	body	320	valid
19.0ms	270×	body	160	valid
4.0ms	18×	body	2560	valid

Details

sample37.0ms

simplify72.0ms

prune8.0ms

localize10.0ms

rewrite30.0ms

series289.0ms

simplify57.0ms

prune437.0ms

localize9.0ms

rewrite78.0ms

series383.0ms

simplify106.0ms

prune1.0s

localize10.0ms

rewrite47.0ms

series425.0ms

simplify66.0ms

prune535.0ms

localize13.0ms

rewrite152.0ms

series1.0s

simplify138.0ms

prune2.6s

regimes596.0ms

bsearch98.0ms

simplify2.0ms

end0.0ms

sample952.0ms

Profiling