Details

sample90.0ms

Algorithm

intervals

Results

47.0ms

517×

body

valid

simplify148.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	66	15
1	204	14
2	631	14
3	1468	14
4	2464	14
5	3909	14
6	5001	14

prune16.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 5.9b

Counts

2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 18.0) y)
0.5b	(* (* j 27.0) k)
5.9b	(* (* (* (* x 18.0) y) z) t)
6.6b	(* (* (* x 18.0) y) z)

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

37×	`pow1` `add-exp-log` `add-cbrt-cube`
22×	`pow-prod-down` `prod-exp` `cbrt-unprod`
12×	`associate-r`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`associate-l` `*-commutative` `add-log-exp`

Counts

4 → 81

Calls

4 calls:

5.0ms	(* (* x 18.0) y)
4.0ms	(* (* j 27.0) k)
9.0ms	(* (* (* (* x 18.0) y) z) t)
7.0ms	(* (* (* x 18.0) y) z)

series24.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* x 18.0) y)
3.0ms	(* (* j 27.0) k)
11.0ms	(* (* (* (* x 18.0) y) z) t)
6.0ms	(* (* (* x 18.0) y) z)

simplify64.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	360	423
1	2133	320
2	5001	320

prune199.0ms

Filtered

46 candidates to 93 candidates (-102.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	81	12	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	82	12	94

Merged error: 0.3b

Counts

94 → 12

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 18.0) y)
0.5b	(* j (* 27.0 k))
5.9b	(* (* (* (* x 18.0) y) z) t)
6.6b	(* (* (* x 18.0) y) z)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

37×	`pow1` `add-exp-log` `add-cbrt-cube`
22×	`pow-prod-down` `prod-exp` `cbrt-unprod`
10×	`associate-r`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`associate-l`
4×	`*-commutative` `add-log-exp`

Counts

4 → 81

Calls

4 calls:

5.0ms	(* (* x 18.0) y)
4.0ms	(* j (* 27.0 k))
11.0ms	(* (* (* (* x 18.0) y) z) t)
7.0ms	(* (* (* x 18.0) y) z)

series24.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* x 18.0) y)
3.0ms	(* j (* 27.0 k))
11.0ms	(* (* (* (* x 18.0) y) z) t)
6.0ms	(* (* (* x 18.0) y) z)

simplify61.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	352	422
1	2022	319
2	5001	319

prune172.0ms

Filtered

46 candidates to 93 candidates (-102.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	90	3	93
Fresh	3	8	11
Picked	1	0	1
Done	0	0	0
Total	94	11	105

Merged error: 0.3b

Counts

105 → 11

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b	(* x (* 18.0 y))
0.5b	(* (* j 27.0) k)
5.9b	(* (* (* x (* 18.0 y)) z) t)
6.6b	(* (* x (* 18.0 y)) z)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

37×	`pow1` `add-exp-log` `add-cbrt-cube`
22×	`pow-prod-down` `prod-exp` `cbrt-unprod`
10×	`associate-r`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`associate-l`
4×	`*-commutative` `add-log-exp`

Counts

4 → 81

Calls

4 calls:

5.0ms	(* x (* 18.0 y))
4.0ms	(* (* j 27.0) k)
9.0ms	(* (* (* x (* 18.0 y)) z) t)
8.0ms	(* (* x (* 18.0 y)) z)

series24.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* x (* 18.0 y))
3.0ms	(* (* j 27.0) k)
11.0ms	(* (* (* x (* 18.0 y)) z) t)
6.0ms	(* (* x (* 18.0 y)) z)

simplify60.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	358	423
1	1917	320
2	5001	320

prune167.0ms

Filtered

46 candidates to 93 candidates (-102.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	91	2	93
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	94	10	104

Merged error: 0.3b

Counts

104 → 10

localize26.0ms

Local error

Found 4 expressions with local error:

6.6b	(* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z)
13.0b	(cbrt (* (* x 18.0) y))
13.0b	(cbrt (* (* x 18.0) y))
13.0b	(cbrt (* (* x 18.0) y))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow1` `add-exp-log`
9×	`add-cbrt-cube`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-log-exp`
3×	`cbrt-prod` `pow1/3` `associate-r`
1×	`associate-l` `*-commutative`

Counts

4 → 48

Calls

4 calls:

14.0ms	(* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z)
4.0ms	(cbrt (* (* x 18.0) y))
4.0ms	(cbrt (* (* x 18.0) y))
4.0ms	(cbrt (* (* x 18.0) y))

series66.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z)
18.0ms	(cbrt (* (* x 18.0) y))
17.0ms	(cbrt (* (* x 18.0) y))
17.0ms	(cbrt (* (* x 18.0) y))

simplify117.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 3 (111.0ms)

Iter	Nodes	Cost
0	212	550
1	855	412
2	4525	333
3	5002	318

prune130.0ms

Filtered

45 candidates to 60 candidates (-33.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	60	0	60
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	60	10	70

Merged error: 0.3b

Counts

70 → 10

regimes3.4s

Accuracy

48.1% (2.6b remaining)

Error of 3.3b against oracle of 0.7b and baseline of 5.7b

bsearch1.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	72	59
1	78	59
2	84	59
3	84	59

end0.0ms

sample2.5s

Algorithm

intervals

Results

1.4s

16244×

body

valid

Details

sample90.0ms

simplify148.0ms

prune16.0ms

localize24.0ms

rewrite28.0ms

series24.0ms

simplify64.0ms

prune199.0ms

localize21.0ms

rewrite29.0ms

series24.0ms

simplify61.0ms

prune172.0ms

localize21.0ms

rewrite29.0ms

series24.0ms

simplify60.0ms

prune167.0ms

localize26.0ms

rewrite28.0ms

series66.0ms

simplify117.0ms

prune130.0ms

regimes3.4s

bsearch1.0ms

simplify3.0ms

end0.0ms

sample2.5s

Profiling