Details

sample32.0ms

Algorithm

intervals

Results

9.0ms	256×	body	80	valid
5.0ms	256×	pre	80	true
5.0ms	257×	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

prune2.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: 12.3b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

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

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

4.0ms	(- (* a a) (* b b))
1.0ms	(sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
12.0ms	(/ (- (* a a) (* b b)) (* a a))

series101.0ms

Counts

3 → 9

Calls

3 calls:

35.0ms	(- (* a a) (* b b))
17.0ms	(sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
49.0ms	(/ (- (* a a) (* b b)) (* a a))

simplify159.0ms

Algorithm

egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 3 (153.0ms)

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

prune123.0ms

Filtered

61 candidates to 45 candidates (73.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Merged error: 0.0b

Counts

62 → 3

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

rewrite37.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))))
6.0ms	(/ (- a b) a)
6.0ms	(/ (+ a b) a)
18.0ms	(* (/ (+ a b) a) (/ (- a b) a))

series133.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a))))
33.0ms	(/ (- a b) a)
22.0ms	(/ (+ a b) a)
61.0ms	(* (/ (+ a b) a) (/ (- a b) a))

simplify65.0ms

Algorithm

egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 2 (54.0ms)

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

prune275.0ms

Filtered

155 candidates to 106 candidates (68.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Merged error: 0b

Counts

158 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ a (- a b))
0.0b	(/ (+ a b) a)
0.0b	(/ 1 (/ a (- a b)))
0.0b	(* (/ (+ a b) a) (/ 1 (/ a (- a b))))

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

287×	`times-frac`
221×	`add-sqr-sqrt`
206×	`*-un-lft-identity`
138×	`add-cube-cbrt`
68×	`associate-r`
64×	`add-exp-log`
34×	`add-cbrt-cube`
30×	`div-exp`
29×	`associate-/r*`
25×	`distribute-lft-out--` `difference-of-squares`
18×	`associate-/r/`
16×	`associate-l`
14×	`cbrt-undiv` `prod-exp`
12×	`div-inv`
10×	`associate-/l*` `unswap-sqr`
8×	`flip3--` `flip--`
7×	`pow1` `distribute-lft-out`
6×	`rec-exp` `1-exp` `cbrt-unprod`
4×	`add-log-exp`
3×	`frac-2neg` `clear-num`
2×	`associate-/l/`
1×	`frac-times` `pow-flip` `flip3-+` `associate-r/` `pow-prod-down` `associate-l/` `un-div-inv` `*-commutative` `flip-+` `inv-pow`

Counts

4 → 305

Calls

4 calls:

6.0ms	(/ a (- a b))
6.0ms	(/ (+ a b) a)
10.0ms	(/ 1 (/ a (- a b)))
42.0ms	(* (/ (+ a b) a) (/ 1 (/ a (- a b))))

series162.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(/ a (- a b))
26.0ms	(/ (+ a b) a)
30.0ms	(/ 1 (/ a (- a b)))
64.0ms	(* (/ (+ a b) a) (/ 1 (/ a (- a b))))

simplify56.0ms

Algorithm

egg-herbie

Counts

317 → 317

Iterations

Useful iterations: 1 (27.0ms)

Iter	Nodes	Cost
0	1036	2354
1	5001	2076

prune564.0ms

Filtered

317 candidates to 201 candidates (63.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	317	0	317
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	317	3	320

Merged error: 0b

Counts

320 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (cbrt (/ (- a b) a)) (cbrt (/ (- a b) a)))
0.1b	(cbrt (/ (- a b) a))
0.1b	(cbrt (/ (- a b) a))
0.1b	(cbrt (/ (- a b) a))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

157×	`cbrt-prod`
141×	`add-sqr-sqrt`
135×	`*-un-lft-identity`
123×	`times-frac`
75×	`add-cube-cbrt`
28×	`swap-sqr`
27×	`distribute-lft-out--`
22×	`associate-r` `associate-l`
21×	`difference-of-squares`
11×	`pow1`
9×	`pow1/3` `unswap-sqr`
7×	`cbrt-div` `div-inv`
6×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 186

Calls

4 calls:

22.0ms	(* (cbrt (/ (- a b) a)) (cbrt (/ (- a b) a)))
5.0ms	(cbrt (/ (- a b) a))
5.0ms	(cbrt (/ (- a b) a))
5.0ms	(cbrt (/ (- a b) a))

series864.0ms

Counts

4 → 12

Calls

4 calls:

182.0ms	(* (cbrt (/ (- a b) a)) (cbrt (/ (- a b) a)))
230.0ms	(cbrt (/ (- a b) a))
227.0ms	(cbrt (/ (- a b) a))
224.0ms	(cbrt (/ (- a b) a))

simplify50.0ms

Algorithm

egg-herbie

Counts

198 → 198

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	284	1846
1	948	1790
2	5001	1710

prune511.0ms

Filtered

198 candidates to 144 candidates (72.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	198	0	198
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	198	3	201

Merged error: 0b

Counts

201 → 3

regimes114.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	15	8
1	15	8

end0.0ms

sample825.0ms

Algorithm

intervals

Results

286.0ms	8000×	body	80	valid
146.0ms	8000×	pre	80	true
143.0ms	7853×	pre	80	false

Details

sample32.0ms

simplify49.0ms

prune2.0ms

localize8.0ms

rewrite18.0ms

series101.0ms

simplify159.0ms

prune123.0ms

localize8.0ms

rewrite37.0ms

series133.0ms

simplify65.0ms

prune275.0ms

localize10.0ms

rewrite82.0ms

series162.0ms

simplify56.0ms

prune564.0ms

localize12.0ms

rewrite51.0ms

series864.0ms

simplify50.0ms

prune511.0ms

regimes114.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample825.0ms

Profiling