Details

sample87.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 93.756105%

Space saved by search: 96.853662%

Guaranteed chance to sample good point: 98.449612%

Results

9.0ms	256×	body	80	valid
5.0ms	256×	pre	80	true
0.0ms	3×	pre	80	false

simplify49.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	7
1	47	7
2	106	7
3	265	7
4	1495	7
5	5001	7

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: 13.1b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
0.0b	(- (* a a) (* b b))
12.7b	(/ (- (* a a) (* b b)) (* a a))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-exp-log` `add-cbrt-cube`
7×	`add-sqr-sqrt`
6×	`add-cube-cbrt` `*-un-lft-identity`
5×	`add-log-exp`
4×	`pow1` `times-frac` `associate-/l*`
3×	`sqrt-prod` `difference-of-squares`
2×	`cbrt-undiv` `flip3--` `div-exp` `flip--` `associate-/l/`
1×	`sub-neg` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `diff-log` `div-sub` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv`

Counts

3 → 52

Calls

3 calls:

1.0ms	(sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
3.0ms	(- (* a a) (* b b))
10.0ms	(/ (- (* a a) (* b b)) (* a a))

series25.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
5.0ms	(- (* a a) (* b b))
8.0ms	(/ (- (* a a) (* b b)) (* a a))

simplify157.0ms

Algorithm

egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 3 (152.0ms)

Iter	Nodes	Cost
0	228	417
1	970	368
2	4781	367
3	5001	366

prune80.0ms

Filtered

45 candidates to 61 candidates (-35.6%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	59	2	61
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	60	2	62

Merged error: 0.0b

Counts

62 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a))))
0.0b	(/ (+ a b) a)
0.0b	(/ (- a b) a)
0.0b	(* (/ (+ a b) a) (/ (- a b) a))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

69×	`*-un-lft-identity`
68×	`add-sqr-sqrt`
58×	`times-frac`
41×	`add-cube-cbrt`
20×	`add-exp-log` `add-cbrt-cube`
19×	`associate-r`
16×	`associate-l`
9×	`associate-/l*`
7×	`pow1` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`
6×	`cbrt-undiv` `div-exp` `associate-/r*`
4×	`prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `add-log-exp` `unswap-sqr`
3×	`sqrt-prod`
2×	`frac-2neg` `clear-num`
1×	`frac-times` `rem-sqrt-square` `flip3--` `sqrt-pow1` `flip3-+` `pow1/2` `div-sub` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `flip--` `flip-+`

Counts

4 → 143

Calls

4 calls:

1.0ms	(sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a))))
5.0ms	(/ (+ a b) a)
6.0ms	(/ (- a b) a)
18.0ms	(* (/ (+ a b) a) (/ (- a b) a))

series26.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a))))
4.0ms	(/ (+ a b) a)
4.0ms	(/ (- a b) a)
9.0ms	(* (/ (+ a b) a) (/ (- a b) a))

simplify64.0ms

Algorithm

egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	493	951
1	2505	870
2	5002	867

prune167.0ms

Filtered

106 candidates to 155 candidates (-46.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	153	2	155
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	154	3	157

Merged error: 0b

Counts

157 → 3

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (/ (- a b) a))
0.0b	(/ (- a b) a)
0.0b	(* (/ (+ a b) a) (log (exp (/ (- a b) a))))
0.1b	(log (exp (/ (- a b) a)))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

85×	`*-un-lft-identity`
84×	`add-sqr-sqrt`
73×	`times-frac`
57×	`exp-prod`
53×	`add-cube-cbrt`
40×	`log-pow`
23×	`associate-r`
16×	`associate-l`
13×	`distribute-lft-out--` `difference-of-squares`
11×	`add-exp-log` `add-cbrt-cube`
9×	`log-prod`
8×	`pow1`
5×	`div-inv` `associate-/l*` `add-log-exp`
3×	`distribute-rgt-in` `distribute-lft-in` `div-sub` `associate-/r*` `distribute-lft-out`
2×	`cbrt-undiv` `exp-diff` `div-exp` `prod-exp` `cbrt-unprod` `associate-/l/` `unswap-sqr`
1×	`log-div` `flip3--` `frac-2neg` `rem-log-exp` `pow-prod-down` `associate-l/` `clear-num` `-commutative` `flip--` `rem-exp-log`

Counts

4 → 159

Calls

4 calls:

6.0ms	(exp (/ (- a b) a))
6.0ms	(/ (- a b) a)
21.0ms	(* (/ (+ a b) a) (log (exp (/ (- a b) a))))
9.0ms	(log (exp (/ (- a b) a)))

series26.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(exp (/ (- a b) a))
4.0ms	(/ (- a b) a)
9.0ms	(* (/ (+ a b) a) (log (exp (/ (- a b) a))))
5.0ms	(log (exp (/ (- a b) a)))

simplify60.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	490	993
1	2119	895
2	5002	882

prune207.0ms

Filtered

126 candidates to 171 candidates (-35.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	171	0	171
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	171	3	174

Merged error: 0b

Counts

174 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- a b) a)
0.1b	(* (/ (sqrt (+ a b)) a) (/ (- a b) a))
0.2b	(* (/ (sqrt (+ a b)) 1) (* (/ (sqrt (+ a b)) a) (/ (- a b) a)))
0.3b	(/ (sqrt (+ a b)) a)

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

101×	`*-un-lft-identity`
100×	`add-sqr-sqrt` `times-frac`
79×	`add-exp-log`
67×	`add-cube-cbrt`
61×	`add-cbrt-cube`
50×	`associate-l`
42×	`sqrt-prod`
31×	`prod-exp`
28×	`div-exp`
22×	`cbrt-unprod`
20×	`associate-r`
19×	`cbrt-undiv`
12×	`associate-/l*`
11×	`pow1`
10×	`distribute-lft-out`
7×	`distribute-lft-out--` `difference-of-squares`
6×	`frac-times` `associate-r/` `associate-/r` `unswap-sqr`
5×	`1-exp` `div-inv`
4×	`pow-prod-down` `associate-*l/` `associate-/l/` `add-log-exp`
2×	`frac-2neg` `sqrt-div` `clear-num` `*-commutative`
1×	`flip3--` `flip3-+` `div-sub` `flip--` `flip-+`

Counts

4 → 221

Calls

4 calls:

6.0ms	(/ (- a b) a)
22.0ms	(* (/ (sqrt (+ a b)) a) (/ (- a b) a))
20.0ms	(* (/ (sqrt (+ a b)) 1) (* (/ (sqrt (+ a b)) a) (/ (- a b) a)))
6.0ms	(/ (sqrt (+ a b)) a)

series47.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(/ (- a b) a)
16.0ms	(* (/ (sqrt (+ a b)) a) (/ (- a b) a))
12.0ms	(* (/ (sqrt (+ a b)) 1) (* (/ (sqrt (+ a b)) a) (/ (- a b) a)))
11.0ms	(/ (sqrt (+ a b)) a)

simplify42.0ms

Algorithm

egg-herbie

Counts

233 → 233

Iterations

Useful iterations: 1 (23.0ms)

Iter	Nodes	Cost
0	897	2005
1	5001	1708

prune225.0ms

Filtered

144 candidates to 233 candidates (-61.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	233	0	233
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	233	3	236

Merged error: 0b

Counts

236 → 3

regimes172.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	9
1	13	9

end0.0ms

sample707.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 93.756105%

Space saved by search: 96.853662%

Guaranteed chance to sample good point: 98.449612%

Results

288.0ms	8000×	body	80	valid
156.0ms	8000×	pre	80	true
1.0ms	63×	pre	80	false

Details

sample87.0ms

simplify49.0ms

prune3.0ms

localize8.0ms

rewrite16.0ms

series25.0ms

simplify157.0ms

prune80.0ms

localize9.0ms

rewrite36.0ms

series26.0ms

simplify64.0ms

prune167.0ms

localize13.0ms

rewrite50.0ms

series26.0ms

simplify60.0ms

prune207.0ms

localize12.0ms

rewrite63.0ms

series47.0ms

simplify42.0ms

prune225.0ms

regimes172.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample707.0ms

Profiling