Details

sample81.0ms

Algorithm

intervals

Results

44.0ms

524×

body

valid

simplify148.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

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

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

localize23.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`
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)

series188.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(* (* j 27.0) k)
21.0ms	(* (* x 18.0) y)
120.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
31.0ms	(* (* (* x 18.0) y) z)

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

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

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)

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)

series170.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(* (* j 27.0) k)
19.0ms	(* x (* 18.0 y))
110.0ms	(* t (- (* (* x (* 18.0 y)) z) (* a 4.0)))
25.0ms	(* (* x (* 18.0 y)) z)

simplify58.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (11.0ms)

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

prune242.0ms

Filtered

93 candidates to 50 candidates (53.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	93	8	101

Merged error: 1.8b

Counts

101 → 8

localize20.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)

series189.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(* j (* 27.0 k))
19.0ms	(* (* x 18.0) y)
126.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
28.0ms	(* (* (* x 18.0) y) z)

simplify61.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (11.0ms)

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

prune265.0ms

Filtered

93 candidates to 53 candidates (57.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

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

Merged error: 1.8b

Counts

101 → 6

localize30.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)
6.0ms	(cbrt (* (* (* x 18.0) y) z))
5.0ms	(cbrt (* (* (* x 18.0) y) z))
5.0ms	(cbrt (* (* (* x 18.0) y) z))

series346.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(* (* (* x 18.0) y) z)
104.0ms	(cbrt (* (* (* x 18.0) y) z))
104.0ms	(cbrt (* (* (* x 18.0) y) z))
107.0ms	(cbrt (* (* (* x 18.0) y) z))

simplify38.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 2 (32.0ms)

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

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

regimes671.0ms

Accuracy

21.9% (2.6b remaining)

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

bsearch112.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.1s

Algorithm

intervals

Results

1.3s

16153×

body

valid

Details

sample81.0ms

simplify148.0ms

prune10.0ms

localize23.0ms

rewrite28.0ms

series188.0ms

simplify62.0ms

prune282.0ms

localize22.0ms

rewrite28.0ms

series170.0ms

simplify58.0ms

prune242.0ms

localize20.0ms

rewrite28.0ms

series189.0ms

simplify61.0ms

prune265.0ms

localize30.0ms

rewrite24.0ms

series346.0ms

simplify38.0ms

prune292.0ms

regimes671.0ms

bsearch112.0ms

simplify2.0ms

end0.0ms

sample2.1s

Profiling