Details

sample84.0ms

Algorithm

intervals

Results

45.0ms

524×

body

valid

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

prune15.0ms

Filtered

1 candidates to 1 candidates (100.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 4.1b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* j 27.0) k)
0.2b	(* (* x 18.0) y)
2.2b	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
4.7b	(* (* (* x 18.0) y) z)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
12×	`associate-r`
11×	`add-sqr-sqrt`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`associate-l`
4×	`*-commutative` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 81

Calls

4 calls:

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

series175.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* (* j 27.0) k)
19.0ms	(* (* x 18.0) y)
113.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
26.0ms	(* (* (* x 18.0) y) z)

simplify63.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	406	472
1	2141	393
2	5002	393

prune507.0ms

Filtered

93 candidates to 53 candidates (57.0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	85	8	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	86	8	94

Merged error: 1.8b

Counts

94 → 8

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b	(* j (* 27.0 k))
0.2b	(* (* x 18.0) y)
2.2b	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
4.7b	(* (* (* x 18.0) y) z)

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt`
10×	`associate-r`
9×	`add-cube-cbrt` `*-un-lft-identity`
8×	`associate-l`
4×	`*-commutative` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 81

Calls

4 calls:

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

series180.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* j (* 27.0 k))
21.0ms	(* (* x 18.0) y)
113.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
28.0ms	(* (* (* x 18.0) y) z)

simplify68.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	398	471
1	2030	392
2	5001	392

prune277.0ms

Filtered

93 candidates to 53 candidates (57.0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	91	2	93
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	95	6	101

Merged error: 1.8b

Counts

101 → 6

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* j 27.0) k)
0.2b	(* x (* 18.0 y))
2.2b	(* t (- (* (* x (* 18.0 y)) z) (* a 4.0)))
4.7b	(* (* x (* 18.0 y)) z)

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt`
10×	`associate-r`
9×	`add-cube-cbrt` `*-un-lft-identity`
8×	`associate-l`
4×	`*-commutative` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 81

Calls

4 calls:

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

series175.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* (* j 27.0) k)
22.0ms	(* x (* 18.0 y))
110.0ms	(* t (- (* (* x (* 18.0 y)) z) (* a 4.0)))
26.0ms	(* (* x (* 18.0 y)) z)

simplify66.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	404	472
1	1945	393
2	5002	393

prune258.0ms

Filtered

93 candidates to 51 candidates (54.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	93	6	99

Merged error: 1.8b

Counts

99 → 6

localize29.0ms

Local error

Found 4 expressions with local error:

4.7b	(* (* (* x 18.0) y) z)
13.9b	(cbrt (* (* (* x 18.0) y) z))
13.9b	(cbrt (* (* (* x 18.0) y) z))
13.9b	(cbrt (* (* (* x 18.0) y) z))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow1` `add-exp-log` `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:

7.0ms	(* (* (* x 18.0) y) z)
5.0ms	(cbrt (* (* (* x 18.0) y) z))
5.0ms	(cbrt (* (* (* x 18.0) y) z))
5.0ms	(cbrt (* (* (* x 18.0) y) z))

series360.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(* (* (* x 18.0) y) z)
110.0ms	(cbrt (* (* (* x 18.0) y) z))
109.0ms	(cbrt (* (* (* x 18.0) y) z))
111.0ms	(cbrt (* (* (* x 18.0) y) z))

simplify43.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	242	374
1	1048	319
2	5002	310

prune300.0ms

Filtered

60 candidates to 49 candidates (81.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	60	0	60
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	60	6	66

Merged error: 1.8b

Counts

66 → 6

regimes692.0ms

Accuracy

21.9% (2.6b remaining)

Error of 4.9b against oracle of 2.3b and baseline of 5.7b

bsearch118.0ms

Steps

Iters	Range		Point
7	202.74393772429576	22748.44148320739	2074.165235830031

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	53	28
1	53	28

end0.0ms

sample2.2s

Algorithm

intervals

Results

1.3s

16153×

body

valid

Details

sample84.0ms

simplify160.0ms

prune15.0ms

localize22.0ms

rewrite29.0ms

series175.0ms

simplify63.0ms

prune507.0ms

localize21.0ms

rewrite28.0ms

series180.0ms

simplify68.0ms

prune277.0ms

localize21.0ms

rewrite31.0ms

series175.0ms

simplify66.0ms

prune258.0ms

localize29.0ms

rewrite24.0ms

series360.0ms

simplify43.0ms

prune300.0ms

regimes692.0ms

bsearch118.0ms

simplify2.0ms

end0.0ms

sample2.2s

Profiling