Details

sample55.0ms

Algorithm

intervals

Results

43.0ms

474×

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

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

localize28.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))
23.0ms	(* (/ 1.0 5.0) (* (* (* (* (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)

series26.0ms

Counts

4 → 10

Calls

4 calls:

5.0ms	(* (* (fabs x) (fabs x)) (fabs x))
14.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)

simplify70.0ms

Algorithm

egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 2 (59.0ms)

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

prune204.0ms

Filtered

72 candidates to 137 candidates (-90.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	134	3	137
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	135	3	138

Merged error: 0.1b

Counts

138 → 3

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

rewrite50.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:

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

series22.0ms

Counts

4 → 10

Calls

4 calls:

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

prune298.0ms

Filtered

75 candidates to 134 candidates (-78.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	134	0	134
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	134	3	137

Merged error: 0.1b

Counts

137 → 3

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

rewrite51.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:

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

series33.0ms

Counts

4 → 10

Calls

4 calls:

13.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)))
12.0ms	(* (* (fabs x) (fabs x)) (sqrt (fabs x)))
0.0ms	(sqrt PI)

simplify87.0ms

Algorithm

egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 2 (76.0ms)

Iter	Nodes	Cost
0	654	1163
1	3190	820
2	5001	770

prune201.0ms

Filtered

77 candidates to 140 candidates (-81.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	140	3	143

Merged error: 0.1b

Counts

143 → 3

localize34.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)))
1.0b	(exp (/ 2.0 3.0))
1.0b	(sqrt PI)
1.7b	(log (pow (exp (/ 2.0 3.0)) (pow (fabs x) 3)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-exp-log`
49×	`add-cbrt-cube`
30×	`prod-exp` `cbrt-unprod`
25×	`pow1`
22×	`add-sqr-sqrt`
21×	`add-cube-cbrt` `*-un-lft-identity`
18×	`times-frac`
15×	`pow-prod-down`
13×	`exp-prod` `associate-l`
7×	`log-prod`
5×	`cbrt-undiv` `div-exp` `add-log-exp`
3×	`unpow-prod-down` `rem-log-exp` `sqrt-prod`
2×	`div-inv`
1×	`pow-to-exp` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-r` `associate-l/` `pow-exp` `log-pow` `-commutative` `rem-exp-log` `sqr-pow`

Counts

4 → 100

Calls

4 calls:

23.0ms	(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
3.0ms	(exp (/ 2.0 3.0))
1.0ms	(sqrt PI)
4.0ms	(log (pow (exp (/ 2.0 3.0)) (pow (fabs x) 3)))

series60.0ms

Counts

4 → 8

Calls

4 calls:

10.0ms	(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.0ms	(exp (/ 2.0 3.0))
0.0ms	(sqrt PI)
50.0ms	(log (pow (exp (/ 2.0 3.0)) (pow (fabs x) 3)))

simplify54.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	516	994
1	1936	731
2	5001	662

prune240.0ms

Filtered

69 candidates to 108 candidates (-56.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	108	3	111

Merged error: 0.1b

Counts

111 → 3

regimes77.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	49	44
1	49	44

end0.0ms

sample1.5s

Algorithm

intervals

Results

1.3s

13967×

body

valid

Details

sample55.0ms

simplify112.0ms

prune4.0ms

localize28.0ms

rewrite49.0ms

series26.0ms

simplify70.0ms

prune204.0ms

localize34.0ms

rewrite50.0ms

series22.0ms

simplify71.0ms

prune298.0ms

localize35.0ms

rewrite51.0ms

series33.0ms

simplify87.0ms

prune201.0ms

localize34.0ms

rewrite37.0ms

series60.0ms

simplify54.0ms

prune240.0ms

regimes77.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.5s

Profiling