Details

sample54.0ms

Algorithm

intervals

Results

43.0ms

422×

body

valid

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

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

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (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)

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

57.0ms	(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
22.0ms	(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
14.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms	(sqrt PI)

series29.0ms

Counts

4 → 10

Calls

4 calls:

12.0ms	(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (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)

simplify93.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 2 (77.0ms)

Iter	Nodes	Cost
0	948	2073
1	4018	1269
2	5002	1096

prune261.0ms

Filtered

86 candidates to 167 candidates (-94.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

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

Merged error: 0.1b

Counts

168 → 4

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)

rewrite47.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))
22.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)

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

simplify68.0ms

Algorithm

egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	631	1123
1	2655	743
2	5001	711

prune208.0ms

Filtered

72 candidates to 137 candidates (-90.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	137	0	137
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	137	4	141

Merged error: 0.1b

Counts

141 → 4

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)

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

8.0ms	(* (* (fabs x) (fabs x)) (fabs x))
22.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)

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

simplify68.0ms

Algorithm

egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	639	1127
1	2712	747
2	5002	722

prune249.0ms

Filtered

72 candidates to 137 candidates (-90.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	137	0	137
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	137	4	141

Merged error: 0.1b

Counts

141 → 4

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 0.047619047619047616 (pow (fabs x) 7))))
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)

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

75×	`add-exp-log` `add-cbrt-cube`
48×	`associate-l`
44×	`prod-exp` `cbrt-unprod`
42×	`add-sqr-sqrt`
38×	`times-frac`
36×	`pow1`
33×	`add-cube-cbrt` `*-un-lft-identity`
22×	`pow-prod-down`
13×	`sqrt-prod`
9×	`cbrt-undiv` `div-exp`
5×	`associate-r`
4×	`add-log-exp`
3×	`associate-l/` `-commutative` `div-inv` `unswap-sqr`
2×	`frac-times` `flip3-+` `associate-*r/` `flip-+`
1×	`distribute-rgt-in` `rem-sqrt-square` `distribute-lft-in` `sqrt-pow1` `pow1/2`

Counts

4 → 147

Calls

4 calls:

15.0ms	(* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 0.047619047619047616 (pow (fabs x) 7))))
22.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)

series71.0ms

Counts

4 → 10

Calls

4 calls:

54.0ms	(* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 0.047619047619047616 (pow (fabs x) 7))))
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)

simplify111.0ms

Algorithm

egg-herbie

Counts

157 → 157

Iterations

Useful iterations: 2 (88.0ms)

Iter	Nodes	Cost
0	944	2890
1	4437	2265
2	5001	2186

prune297.0ms

Filtered

99 candidates to 157 candidates (-58.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	155	2	157
Fresh	0	1	1
Picked	1	0	1
Done	0	2	2
Total	156	5	161

Merged error: 0b

Counts

161 → 5

regimes91.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.0b 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

13823×

body

valid

Details

sample54.0ms

simplify107.0ms

prune3.0ms

localize24.0ms

rewrite105.0ms

series29.0ms

simplify93.0ms

prune261.0ms

localize26.0ms

rewrite47.0ms

series27.0ms

simplify68.0ms

prune208.0ms

localize28.0ms

rewrite48.0ms

series22.0ms

simplify68.0ms

prune249.0ms

localize24.0ms

rewrite61.0ms

series71.0ms

simplify111.0ms

prune297.0ms

regimes91.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.5s

Profiling