Details

sample61.0ms

Algorithm

intervals

Results

44.0ms

450×

body

valid

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

prune4.0ms

Filtered

1 candidates to 0 candidates (0.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

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)

rewrite54.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)))
15.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms	(sqrt PI)

series136.0ms

Counts

4 → 10

Calls

4 calls:

26.0ms	(* (* (fabs x) (fabs x)) (fabs x))
64.0ms	(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
45.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms	(sqrt PI)

simplify77.0ms

Algorithm

egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 2 (61.0ms)

Iter	Nodes	Cost
0	629	1132
1	2659	763
2	5001	731

prune412.0ms

Filtered

137 candidates to 72 candidates (52.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	131	6	137
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	132	6	138

Merged error: 0.1b

Counts

138 → 6

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

rewrite54.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))
28.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)))
2.0ms	(sqrt PI)

series136.0ms

Counts

4 → 10

Calls

4 calls:

26.0ms	(* (* (fabs x) (fabs x)) (fabs x))
64.0ms	(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
45.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms	(sqrt PI)

simplify79.0ms

Algorithm

egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 2 (63.0ms)

Iter	Nodes	Cost
0	635	1129
1	2727	685
2	5002	643

prune436.0ms

Filtered

137 candidates to 74 candidates (54.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	136	1	137
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	137	6	143

Merged error: 0.1b

Counts

143 → 6

localize36.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.2b	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.2b	(* (* (fabs x) (fabs x)) (sqrt (fabs x)))
1.0b	(sqrt PI)

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 130

Calls

4 calls:

24.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)))
8.0ms	(* (* (fabs x) (fabs x)) (sqrt (fabs x)))
1.0ms	(sqrt PI)

series162.0ms

Counts

4 → 10

Calls

4 calls:

62.0ms	(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
44.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
56.0ms	(* (* (fabs x) (fabs x)) (sqrt (fabs x)))
0.0ms	(sqrt PI)

simplify86.0ms

Algorithm

egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 2 (75.0ms)

Iter	Nodes	Cost
0	654	1172
1	3193	820
2	5001	770

prune482.0ms

Filtered

140 candidates to 77 candidates (55.0%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	140	6	146

Merged error: 0.1b

Counts

146 → 6

localize39.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.2b	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.2b	(* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))
1.0b	(sqrt PI)

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

72×	`add-exp-log` `add-cbrt-cube`
43×	`prod-exp` `cbrt-unprod`
41×	`pow1`
29×	`associate-l`
26×	`add-sqr-sqrt`
23×	`add-cube-cbrt` `*-un-lft-identity`
22×	`pow-prod-down`
18×	`times-frac`
8×	`cbrt-undiv` `div-exp`
5×	`associate-r`
4×	`add-log-exp`
3×	`swap-sqr` `sqrt-prod` `*-commutative`
2×	`associate-*l/` `div-inv`
1×	`pow2` `rem-sqrt-square` `sqrt-pow1` `pow-plus` `pow1/2` `pow-sqr` `pow-prod-up` `unswap-sqr`

Counts

4 → 124

Calls

4 calls:

24.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)))
4.0ms	(* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))
1.0ms	(sqrt PI)

series128.0ms

Counts

4 → 10

Calls

4 calls:

62.0ms	(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
43.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
22.0ms	(* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))
0.0ms	(sqrt PI)

simplify71.0ms

Algorithm

egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	656	1187
1	2704	845
2	5002	782

prune480.0ms

Filtered

134 candidates to 75 candidates (56.0%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	2	1	3
Picked	0	1	1
Done	0	2	2
Total	135	5	140

Merged error: 0.1b

Counts

140 → 5

regimes87.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	39
1	47	39

end0.0ms

sample1.5s

Algorithm

intervals

Results

1.3s

14095×

body

valid

Details

sample61.0ms

simplify112.0ms

prune4.0ms

localize26.0ms

rewrite54.0ms

series136.0ms

simplify77.0ms

prune412.0ms

localize29.0ms

rewrite54.0ms

series136.0ms

simplify79.0ms

prune436.0ms

localize36.0ms

rewrite52.0ms

series162.0ms

simplify86.0ms

prune482.0ms

localize39.0ms

rewrite47.0ms

series128.0ms

simplify71.0ms

prune480.0ms

regimes87.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.5s

Profiling