Details

sample65.0ms

Algorithm

intervals

Results

20.0ms	121×	body	320	valid
14.0ms	131×	body	160	valid
13.0ms	246×	body	80	nan
0.0ms	4×	body	80	valid

simplify117.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	43	21
1	122	21
2	299	21
3	591	21
4	931	21
5	1162	21
6	1388	21
7	2798	21
8	5002	21

prune4.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: 36.2b

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

9.3b	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
9.7b	(cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
29.9b	(sqrt (- (* g g) (* h h)))
29.9b	(sqrt (- (* g g) (* h h)))

rewrite165.0ms

Algorithm

rewrite-expression-head

Rules

226×	`add-sqr-sqrt`
124×	`associate-l`
112×	`cbrt-div`
110×	`*-un-lft-identity`
108×	`cbrt-prod`
78×	`add-cube-cbrt`
76×	`times-frac`
72×	`frac-times` `associate-/r*`
67×	`sqrt-prod`
52×	`difference-of-squares`
48×	`associate-r`
40×	`unswap-sqr`
36×	`associate-*l/`
34×	`*-commutative`
24×	`swap-sqr`
21×	`flip3--` `flip--`
19×	`flip3-+` `flip-+`
18×	`associate-/l*`
12×	`distribute-lft-out--`
6×	`pow1` `frac-2neg` `clear-num`
4×	`add-exp-log` `sqrt-div` `associate-*r/` `add-cbrt-cube` `add-log-exp`
2×	`rem-sqrt-square` `distribute-rgt-neg-in` `sqrt-pow1` `pow1/2` `pow1/3` `div-inv` `distribute-lft-out`

Counts

4 → 326

Calls

4 calls:

54.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
56.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
18.0ms	(sqrt (- (* g g) (* h h)))
18.0ms	(sqrt (- (* g g) (* h h)))

series761.0ms

Counts

4 → 12

Calls

4 calls:

332.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
328.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
47.0ms	(sqrt (- (* g g) (* h h)))
54.0ms	(sqrt (- (* g g) (* h h)))

simplify94.0ms

Algorithm

egg-herbie

Counts

338 → 338

Iterations

Useful iterations: 1 (37.0ms)

Iter	Nodes	Cost
0	2001	5376
1	5001	5334

prune1.4s

Filtered

338 candidates to 233 candidates (68.9%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	318	20	338
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	319	20	339

Merged error: 31.6b

Counts

339 → 20

localize24.0ms

Local error

Found 4 expressions with local error:

3.0b	(- (* g g) (* h h))
9.3b	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
29.9b	(sqrt (- (* g g) (* h h)))
29.9b	(sqrt (- (* g g) (* h h)))

rewrite124.0ms

Algorithm

rewrite-expression-head

Rules

215×	`add-sqr-sqrt`
82×	`*-un-lft-identity`
75×	`difference-of-squares`
70×	`associate-l`
66×	`sqrt-prod`
56×	`cbrt-div`
53×	`cbrt-prod`
42×	`add-cube-cbrt`
40×	`unswap-sqr`
38×	`times-frac`
37×	`*-commutative`
36×	`frac-times` `swap-sqr` `associate-/r*`
23×	`associate-r`
19×	`flip3-+` `flip-+`
18×	`associate-*l/`
15×	`distribute-lft-out--`
9×	`associate-/l*`
6×	`pow1` `add-log-exp`
4×	`add-exp-log` `sqrt-div` `add-cbrt-cube`
3×	`flip3--` `frac-2neg` `clear-num` `flip--`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-*r/` `distribute-lft-out`
1×	`sub-neg` `distribute-rgt-neg-in` `pow1/3` `diff-log` `div-inv`

Counts

4 → 249

Calls

4 calls:

20.0ms	(- (* g g) (* h h))
51.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
21.0ms	(sqrt (- (* g g) (* h h)))
19.0ms	(sqrt (- (* g g) (* h h)))

series465.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(- (* g g) (* h h))
328.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
47.0ms	(sqrt (- (* g g) (* h h)))
54.0ms	(sqrt (- (* g g) (* h h)))

simplify62.0ms

Algorithm

egg-herbie

Counts

261 → 261

Iterations

Useful iterations: 1 (30.0ms)

Iter	Nodes	Cost
0	1438	3102
1	5001	3072

prune941.0ms

Filtered

261 candidates to 152 candidates (58.2%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	252	9	261
Fresh	8	11	19
Picked	1	0	1
Done	0	0	0
Total	261	20	281

Merged error: 31.0b

Counts

281 → 20

localize24.0ms

Local error

Found 4 expressions with local error:

3.0b	(- (* g g) (* h h))
3.0b	(- (* g g) (* h h))
29.9b	(sqrt (- (* g g) (* h h)))
29.9b	(sqrt (- (* g g) (* h h)))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

208×	`add-sqr-sqrt`
100×	`difference-of-squares`
66×	`sqrt-prod`
54×	`*-un-lft-identity`
48×	`swap-sqr`
40×	`*-commutative` `unswap-sqr`
20×	`distribute-lft-out--`
16×	`associate-l`
8×	`add-log-exp`
6×	`pow1` `add-cube-cbrt`
4×	`add-exp-log` `flip3--` `sqrt-div` `add-cbrt-cube` `flip--`
2×	`sub-neg` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `diff-log`

Counts

4 → 174

Calls

4 calls:

16.0ms	(- (* g g) (* h h))
16.0ms	(- (* g g) (* h h))
18.0ms	(sqrt (- (* g g) (* h h)))
21.0ms	(sqrt (- (* g g) (* h h)))

series165.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(- (* g g) (* h h))
31.0ms	(- (* g g) (* h h))
51.0ms	(sqrt (- (* g g) (* h h)))
47.0ms	(sqrt (- (* g g) (* h h)))

simplify73.0ms

Algorithm

egg-herbie

Counts

186 → 186

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	180	872
1	567	844
2	2176	844
3	5001	844

prune491.0ms

Filtered

186 candidates to 68 candidates (36.6%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	184	2	186
Fresh	1	18	19
Picked	1	0	1
Done	0	0	0
Total	186	20	206

Merged error: 31.0b

Counts

206 → 20

localize22.0ms

Local error

Found 4 expressions with local error:

3.0b	(- (* g g) (* h h))
3.0b	(- (* g g) (* h h))
29.9b	(sqrt (- (* g g) (* h h)))
29.9b	(sqrt (- (* g g) (* h h)))

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

208×	`add-sqr-sqrt`
100×	`difference-of-squares`
66×	`sqrt-prod`
54×	`*-un-lft-identity`
48×	`swap-sqr`
40×	`*-commutative` `unswap-sqr`
20×	`distribute-lft-out--`
16×	`associate-l`
8×	`add-log-exp`
6×	`pow1` `add-cube-cbrt`
4×	`add-exp-log` `flip3--` `sqrt-div` `add-cbrt-cube` `flip--`
2×	`sub-neg` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `diff-log`

Counts

4 → 174

Calls

4 calls:

16.0ms	(- (* g g) (* h h))
16.0ms	(- (* g g) (* h h))
17.0ms	(sqrt (- (* g g) (* h h)))
21.0ms	(sqrt (- (* g g) (* h h)))

series166.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(- (* g g) (* h h))
31.0ms	(- (* g g) (* h h))
49.0ms	(sqrt (- (* g g) (* h h)))
49.0ms	(sqrt (- (* g g) (* h h)))

simplify72.0ms

Algorithm

egg-herbie

Counts

186 → 186

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	180	872
1	567	844
2	2176	844
3	5001	844

prune386.0ms

Filtered

186 candidates to 68 candidates (36.6%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	184	2	186
Fresh	1	18	19
Picked	1	0	1
Done	0	0	0
Total	186	20	206

Merged error: 31.0b

Counts

206 → 20

regimes775.0ms

Accuracy

0% (1.3b remaining)

Error of 32.1b against oracle of 30.8b and baseline of 32.1b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	35
1	35	35

end0.0ms

sample2.0s

Algorithm

intervals

Results

653.0ms	3687×	body	320	valid
492.0ms	4179×	body	160	valid
447.0ms	7816×	body	80	nan
8.0ms	134×	body	80	valid