Details

sample30.0ms

Algorithm

intervals

Results

10.0ms

279×

body

valid

simplify42.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	5
1	32	5
2	57	5
3	100	5
4	144	5
5	177	5
6	203	5
7	263	5
8	352	5
9	445	5
10	686	5
11	909	5
12	932	5
13	932	5

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

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-exp-log` `add-cbrt-cube`
7×	`add-cube-cbrt`
5×	`pow1` `times-frac` `associate-r` `associate-/r*` `add-log-exp`
4×	`associate-*r/`
3×	`flip3--` `associate-l` `flip--` `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` `associate-/l/`
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 → 67

Calls

3 calls:

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

series51.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(* y (- z t))
25.0ms	(+ x (/ (* y (- z t)) (- a t)))
16.0ms	(/ (* y (- z t)) (- a t))

simplify40.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	334	381
1	1437	342
2	5001	342

prune255.0ms

Filtered

76 candidates to 52 candidates (31.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	72	4	76
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	72	5	77

Merged error: 0.0b

Counts

77 → 5

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

218×	`times-frac`
197×	`*-un-lft-identity`
195×	`add-sqr-sqrt`
91×	`add-cube-cbrt`
52×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r*`
11×	`associate-/r/`
10×	`add-exp-log` `add-cbrt-cube`
8×	`associate-/l*`
6×	`flip3--` `flip--` `div-inv`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`pow1`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`+-commutative` `flip3-+` `div-sub` `sum-log` `flip-+` `distribute-lft-out`

Counts

3 → 206

Calls

3 calls:

24.0ms	(+ x (/ y (/ (- a t) (- z t))))
7.0ms	(/ (- a t) (- z t))
11.0ms	(/ y (/ (- a t) (- z t)))

series68.0ms

Counts

3 → 9

Calls

3 calls:

35.0ms	(+ x (/ y (/ (- a t) (- z t))))
9.0ms	(/ (- a t) (- z t))
25.0ms	(/ y (/ (- a t) (- z t)))

simplify75.0ms

Algorithm

egg-herbie

Counts

215 → 215

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	697	1888
1	3051	1835
2	5001	1832

prune1.7s

Filtered

215 candidates to 144 candidates (33.0%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	213	2	215
Fresh	2	1	3
Picked	0	1	1
Done	0	1	1
Total	215	5	220

Merged error: 0b

Counts

220 → 5

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt`
71×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
27×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `associate-/r` `associate-/l` `add-log-exp`
4×	`associate-/r/`
3×	`flip3--` `associate-l` `flip--`
2×	`cbrt-undiv` `div-exp` `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 → 113

Calls

3 calls:

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

series52.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify47.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	421	747
1	1657	704
2	5001	704

prune498.0ms

Filtered

122 candidates to 82 candidates (32.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	122	5	127

Merged error: 0b

Counts

127 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ y (/ 1 (/ (- z t) (- a t)))))
0.0b	(/ (- z t) (- a t))
0.1b	(/ 1 (/ (- z t) (- a t)))
1.1b	(/ y (/ 1 (/ (- z t) (- a t))))

rewrite165.0ms

Algorithm

rewrite-expression-head

Rules

1184×	`times-frac`
797×	`*-un-lft-identity`
795×	`add-sqr-sqrt`
451×	`add-cube-cbrt`
172×	`distribute-lft-out--` `difference-of-squares`
134×	`associate-/r*`
40×	`associate-/r/`
36×	`add-exp-log`
23×	`div-inv`
22×	`div-exp`
20×	`add-cbrt-cube`
18×	`flip3--` `flip--`
11×	`associate-/l*`
10×	`cbrt-undiv`
6×	`add-log-exp`
5×	`pow1`
4×	`rec-exp` `1-exp`
3×	`frac-2neg` `clear-num`
2×	`associate-/l/`
1×	`+-commutative` `pow-flip` `flip3-+` `div-sub` `sum-log` `flip-+` `distribute-lft-out` `inv-pow`

Counts

4 → 628

Calls

4 calls:

69.0ms	(+ x (/ y (/ 1 (/ (- z t) (- a t)))))
7.0ms	(/ (- z t) (- a t))
11.0ms	(/ 1 (/ (- z t) (- a t)))
24.0ms	(/ y (/ 1 (/ (- z t) (- a t))))

series66.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(+ x (/ y (/ 1 (/ (- z t) (- a t)))))
9.0ms	(/ (- z t) (- a t))
16.0ms	(/ 1 (/ (- z t) (- a t)))
15.0ms	(/ y (/ 1 (/ (- z t) (- a t))))

simplify109.0ms

Algorithm

egg-herbie

Counts

640 → 640

Iterations

Useful iterations: 1 (39.0ms)

Iter	Nodes	Cost
0	1799	7398
1	5001	6732

prune8.3s

Filtered

640 candidates to 331 candidates (48.3%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	640	0	640
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	640	5	645

Merged error: 0b

Counts

645 → 5

regimes483.0ms

Accuracy

0% (1.1b remaining)

Error of 1.2b against oracle of 0.0b and baseline of 1.2b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	5
1	11	5

end0.0ms

sample742.0ms

Algorithm

intervals

Results

307.0ms	8682×	body	80	valid
0.0ms	1×	body	160	valid

Iter	Nodes	Cost
0	17	5
1	32	5
2	57	5
3	100	5
4	144	5
5	177	5
6	203	5
7	263	5
8	352	5
9	445	5
10	686	5
11	909	5
12	932	5
13	932	5

Iter	Nodes	Cost
0	17	5
1	32	5
2	57	5
3	100	5
4	144	5
5	177	5
6	203	5
7	263	5
8	352	5
9	445	5
10	686	5
11	909	5
12	932	5
13	932	5

Details

sample30.0ms

simplify42.0ms

prune8.0ms

localize8.0ms

rewrite22.0ms

series51.0ms

simplify40.0ms

prune255.0ms

localize8.0ms

rewrite55.0ms

series68.0ms

simplify75.0ms

prune1.7s

localize8.0ms

rewrite27.0ms

series52.0ms

simplify47.0ms

prune498.0ms

localize9.0ms

rewrite165.0ms

series66.0ms

simplify109.0ms

prune8.3s

regimes483.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample742.0ms

Profiling

Iter	Nodes	Cost
0	17	5
1	32	5
2	57	5
3	100	5
4	144	5
5	177	5
6	203	5
7	263	5
8	352	5
9	445	5
10	686	5
11	909	5
12	932	5
13	932	5