Details

sample67.0ms

Algorithm

intervals

Results

41.0ms

452×

body

valid

simplify108.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	69	42
1	231	42
2	900	42
3	3753	42
4	5001	42

prune6.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: 0.2b

Counts

2 → 1

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.1b	(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.2b	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b	(sqrt PI)

rewrite111.0ms

Algorithm

rewrite-expression-head

Rules

147×	`add-exp-log` `add-cbrt-cube`
98×	`prod-exp` `cbrt-unprod`
69×	`pow1`
49×	`pow-prod-down`
39×	`associate-l`
27×	`add-sqr-sqrt` `times-frac`
26×	`add-cube-cbrt` `*-un-lft-identity`
15×	`cbrt-undiv` `div-exp`
4×	`add-log-exp`
3×	`associate-r` `associate-l/` `sqrt-prod` `-commutative` `div-inv`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`

Counts

4 → 157

Calls

4 calls:

23.0ms	(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
62.0ms	(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
11.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms	(sqrt PI)

series30.0ms

Counts

4 → 10

Calls

4 calls:

10.0ms	(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
12.0ms	(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
8.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms	(sqrt PI)

simplify95.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 2 (78.0ms)

Iter	Nodes	Cost
0	948	2073
1	4002	1269
2	5001	1096

prune1.5s

Filtered

167 candidates to 86 candidates (48.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	163	4	167
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	163	5	168

Merged error: 0.1b

Counts

168 → 5

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* (fabs x) (fabs x)) (fabs x))
0.1b	(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.2b	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b	(sqrt PI)

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

75×	`add-exp-log` `add-cbrt-cube`
53×	`pow1`
45×	`prod-exp` `cbrt-unprod`
27×	`associate-l`
24×	`pow-prod-down`
22×	`add-sqr-sqrt`
20×	`add-cube-cbrt` `*-un-lft-identity`
18×	`times-frac`
8×	`cbrt-undiv` `div-exp`
6×	`pow-plus` `pow-prod-up`
5×	`associate-r`
4×	`add-log-exp`
3×	`sqrt-prod` `*-commutative`
2×	`pow2` `associate-*l/` `pow-sqr` `div-inv`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `pow3` `unswap-sqr`

Counts

4 → 127

Calls

4 calls:

6.0ms	(* (* (fabs x) (fabs x)) (fabs x))
25.0ms	(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
12.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms	(sqrt PI)

series21.0ms

Counts

4 → 10

Calls

4 calls:

5.0ms	(* (* (fabs x) (fabs x)) (fabs x))
10.0ms	(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
7.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms	(sqrt PI)

simplify67.0ms

Algorithm

egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	631	1124
1	2673	743
2	5002	711

prune1.1s

Filtered

137 candidates to 72 candidates (47.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	137	0	137
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	137	5	142

Merged error: 0.1b

Counts

142 → 5

localize30.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.1b	(* (/ 1.0 (sqrt 21.0)) (pow (fabs x) 6))
0.2b	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b	(sqrt PI)

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

83×	`add-exp-log`
75×	`add-cbrt-cube`
56×	`add-sqr-sqrt`
48×	`associate-l` `prod-exp`
44×	`cbrt-unprod`
42×	`times-frac`
34×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
21×	`pow-prod-down`
15×	`sqrt-prod`
11×	`div-exp`
9×	`cbrt-undiv` `associate-r` `unswap-sqr`
6×	`unpow-prod-down`
4×	`add-log-exp` `sqr-pow`
3×	`associate-l/` `-commutative` `div-inv`
2×	`pow-to-exp` `pow-exp`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`

Counts

4 → 154

Calls

4 calls:

23.0ms	(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
10.0ms	(* (/ 1.0 (sqrt 21.0)) (pow (fabs x) 6))
14.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms	(sqrt PI)

series32.0ms

Counts

4 → 10

Calls

4 calls:

10.0ms	(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
15.0ms	(* (/ 1.0 (sqrt 21.0)) (pow (fabs x) 6))
7.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms	(sqrt PI)

simplify95.0ms

Algorithm

egg-herbie

Counts

164 → 164

Iterations

Useful iterations: 2 (78.0ms)

Iter	Nodes	Cost
0	798	1390
1	3592	1100
2	5001	1056

prune2.0s

Filtered

164 candidates to 97 candidates (40.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	163	1	164
Fresh	1	1	2
Picked	0	1	1
Done	0	2	2
Total	164	5	169

Merged error: 0.1b

Counts

169 → 5

localize35.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (/ 1.0 (sqrt 21.0)) (pow (fabs x) 4))
0.2b	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b	(sqrt PI)
18.4b	(cbrt (pow (fabs x) 6))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

51×	`add-sqr-sqrt`
38×	`add-exp-log`
35×	`associate-l`
33×	`times-frac`
30×	`add-cbrt-cube`
29×	`add-cube-cbrt` `*-un-lft-identity`
18×	`prod-exp`
15×	`sqrt-prod`
14×	`pow1` `cbrt-unprod`
9×	`unpow-prod-down` `unswap-sqr`
8×	`associate-r`
7×	`cbrt-prod`
6×	`div-exp` `pow-prod-down`
5×	`sqr-pow`
4×	`cbrt-undiv` `add-log-exp`
2×	`pow-to-exp` `associate-l/` `pow-exp` `-commutative` `div-inv`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `pow1/3`

Counts

4 → 121

Calls

4 calls:

10.0ms	(* (/ 1.0 (sqrt 21.0)) (pow (fabs x) 4))
12.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms	(sqrt PI)
2.0ms	(cbrt (pow (fabs x) 6))

series26.0ms

Counts

4 → 10

Calls

4 calls:

16.0ms	(* (/ 1.0 (sqrt 21.0)) (pow (fabs x) 4))
7.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms	(sqrt PI)
3.0ms	(cbrt (pow (fabs x) 6))

simplify70.0ms

Algorithm

egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	565	913
1	2512	788
2	5002	759

prune1.9s

Filtered

131 candidates to 84 candidates (35.9%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	131	0	131
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	131	5	136

Merged error: 0.1b

Counts

136 → 5

regimes337.0ms

Accuracy

0% (0.0b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	33
1	41	33

end0.0ms

sample1.5s

Algorithm

intervals

Results

1.3s

13940×

body

valid

Details

sample67.0ms

simplify108.0ms

prune6.0ms

localize27.0ms

rewrite111.0ms

series30.0ms

simplify95.0ms

prune1.5s

localize26.0ms

rewrite49.0ms

series21.0ms

simplify67.0ms

prune1.1s

localize30.0ms

rewrite55.0ms

series32.0ms

simplify95.0ms

prune2.0s

localize35.0ms

rewrite30.0ms

series26.0ms

simplify70.0ms

prune1.9s

regimes337.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.5s

Profiling