Details

sample50.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 100%

Results

38.0ms

426×

body

valid

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

prune7.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.1b

Counts

2 → 1

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

52×	`pow1`
35×	`add-exp-log` `add-cbrt-cube`
18×	`prod-exp` `cbrt-unprod`
17×	`add-sqr-sqrt`
15×	`associate-l`
14×	`add-cube-cbrt` `*-un-lft-identity`
12×	`pow-plus` `pow-prod-down` `pow-prod-up`
9×	`times-frac`
7×	`associate-r`
4×	`pow2` `pow-sqr` `add-log-exp`
3×	`cbrt-undiv` `div-exp` `sqrt-prod` `*-commutative`
2×	`pow3` `unswap-sqr`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-*l/` `div-inv`

Counts

4 → 107

Calls

4 calls:

6.0ms	(* (* (fabs x) (fabs x)) (fabs x))
6.0ms	(* (* (fabs x) (fabs x)) (fabs x))
11.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms	(sqrt PI)

series17.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify46.0ms

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	340	603
1	1373	426
2	5002	425

prune154.0ms

Filtered

59 candidates to 117 candidates (-98.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	114	3	117
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	114	4	118

Merged error: 0.1b

Counts

118 → 4

localize32.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (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)

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

78×	`pow1`
46×	`pow-prod-up`
39×	`add-exp-log` `add-cbrt-cube`
21×	`sqrt-pow1` `pow1/2` `prod-exp` `cbrt-unprod`
19×	`add-sqr-sqrt`
16×	`add-cube-cbrt` `*-un-lft-identity`
15×	`associate-l` `pow-prod-down`
13×	`associate-r`
10×	`sqrt-prod`
9×	`times-frac`
6×	`pow2` `pow-plus` `pow-sqr`
4×	`add-log-exp`
3×	`cbrt-undiv` `div-exp` `*-commutative`
2×	`unswap-sqr`
1×	`rem-sqrt-square` `associate-*l/` `div-inv`

Counts

4 → 122

Calls

4 calls:

12.0ms	(* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))
11.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
8.0ms	(* (* (fabs x) (fabs x)) (sqrt (fabs x)))
1.0ms	(sqrt PI)

series29.0ms

Counts

4 → 10

Calls

4 calls:

5.0ms	(* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))
12.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
12.0ms	(* (* (fabs x) (fabs x)) (sqrt (fabs x)))
0.0ms	(sqrt PI)

simplify63.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	461	731
1	2155	515
2	5001	509

prune166.0ms

Filtered

63 candidates to 132 candidates (-109.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

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

Merged error: 0.1b

Counts

136 → 5

localize32.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* (fabs x) (pow (sqrt (fabs x)) 3)) (sqrt (fabs x)))
0.2b	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.5b	(pow (sqrt (fabs x)) 3)
1.0b	(sqrt PI)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

36×	`add-exp-log`
31×	`add-cbrt-cube`
20×	`add-sqr-sqrt`
19×	`add-cube-cbrt` `*-un-lft-identity` `prod-exp`
18×	`pow1`
15×	`cbrt-unprod`
14×	`associate-l`
12×	`sqrt-prod`
9×	`times-frac`
7×	`associate-r` `pow-prod-down`
6×	`unpow-prod-down` `cube-prod`
4×	`add-log-exp`
3×	`cbrt-undiv` `pow-unpow` `pow-pow` `div-exp`
2×	`pow-to-exp` `sqrt-pow1` `pow1/2` `pow-exp` `*-commutative`
1×	`cube-mult` `rem-sqrt-square` `unpow3` `associate-*l/` `sqrt-pow2` `div-inv` `rem-cube-cbrt` `sqr-pow`

Counts

4 → 105

Calls

4 calls:

10.0ms	(* (* (fabs x) (pow (sqrt (fabs x)) 3)) (sqrt (fabs x)))
12.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
3.0ms	(pow (sqrt (fabs x)) 3)
1.0ms	(sqrt PI)

series19.0ms

Counts

4 → 10

Calls

4 calls:

5.0ms	(* (* (fabs x) (pow (sqrt (fabs x)) 3)) (sqrt (fabs x)))
7.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
6.0ms	(pow (sqrt (fabs x)) 3)
0.0ms	(sqrt PI)

simplify108.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 2 (99.0ms)

Iter	Nodes	Cost
0	492	729
1	2687	529
2	5001	493

prune192.0ms

Filtered

64 candidates to 115 candidates (-79.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	114	1	115
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	116	4	120

Merged error: 0.1b

Counts

120 → 4

localize31.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* (fabs x) (fabs x)) (fabs x))
0.2b	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.6b	(pow (sqrt (fabs x)) 4)
1.0b	(sqrt PI)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

35×	`pow1`
31×	`add-exp-log`
30×	`add-cbrt-cube`
18×	`add-sqr-sqrt`
16×	`add-cube-cbrt` `*-un-lft-identity`
15×	`prod-exp` `cbrt-unprod`
14×	`associate-l`
9×	`times-frac` `pow-prod-down`
6×	`unpow-prod-down` `pow-plus` `sqrt-prod` `pow-prod-up`
4×	`associate-r` `add-log-exp`
3×	`cbrt-undiv` `pow-unpow` `pow-pow` `div-exp`
2×	`pow2` `sqrt-pow1` `pow1/2` `pow-sqr` `*-commutative`
1×	`pow-to-exp` `rem-sqrt-square` `pow3` `associate-*l/` `pow-exp` `sqrt-pow2` `div-inv` `unswap-sqr` `sqr-pow`

Counts

4 → 102

Calls

4 calls:

6.0ms	(* (* (fabs x) (fabs x)) (fabs x))
11.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
3.0ms	(pow (sqrt (fabs x)) 4)
1.0ms	(sqrt PI)

series18.0ms

Counts

4 → 10

Calls

4 calls:

5.0ms	(* (* (fabs x) (fabs x)) (fabs x))
7.0ms	(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
6.0ms	(pow (sqrt (fabs x)) 4)
0.0ms	(sqrt PI)

simplify64.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 2 (54.0ms)

Iter	Nodes	Cost
0	426	618
1	1843	425
2	5001	416

prune180.0ms

Filtered

62 candidates to 112 candidates (-80.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	111	1	112
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	111	5	116

Merged error: 0.1b

Counts

116 → 5

regimes261.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	50	46
1	50	46

end0.0ms

sample1.5s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 100%

Results

1.3s

13827×

body

valid

Details

sample50.0ms

simplify109.0ms

prune7.0ms

localize25.0ms

rewrite28.0ms

series17.0ms

simplify46.0ms

prune154.0ms

localize32.0ms

rewrite39.0ms

series29.0ms

simplify63.0ms

prune166.0ms

localize32.0ms

rewrite30.0ms

series19.0ms

simplify108.0ms

prune192.0ms

localize31.0ms

rewrite25.0ms

series18.0ms

simplify64.0ms

prune180.0ms

regimes261.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.5s

Profiling