Details

sample97.0ms

Algorithm

intervals

Results

27.0ms	144×	body	160	valid
26.0ms	108×	body	320	valid
21.0ms	265×	body	80	nan
0.0ms	4×	body	80	valid

simplify94.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (92.0ms)

Iter	Nodes	Cost
0	5383	36

prune13.0ms

Filtered

1 candidates to 1 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.4b

Counts

2 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

7.7b	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
9.2b	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
29.7b	(sqrt (- (* g g) (* h h)))
29.7b	(sqrt (- (* g g) (* h h)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

10×	`cbrt-div`
8×	`add-sqr-sqrt` `sqrt-prod`
6×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-exp-log` `frac-times` `flip3--` `sqrt-div` `associate-*r/` `add-cbrt-cube` `flip--` `add-log-exp`
2×	`cbrt-prod` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `pow1/3` `associate-*l/` `flip-+` `difference-of-squares`

Counts

4 → 60

Calls

4 calls:

12.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
12.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
4.0ms	(sqrt (- (* g g) (* h h)))
6.0ms	(sqrt (- (* g g) (* h h)))

series142.0ms

Counts

4 → 12

Calls

4 calls:

64.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
64.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
7.0ms	(sqrt (- (* g g) (* h h)))
7.0ms	(sqrt (- (* g g) (* h h)))

simplify40.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5304	1056

prune243.0ms

Filtered

65 candidates to 72 candidates (-10.8%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	58	14	72
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	59	15	74

Merged error: 31.4b

Counts

74 → 15

localize20.0ms

Local error

Found 4 expressions with local error:

2.6b	(- (* g g) (* h h))
7.7b	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
29.7b	(sqrt (- (* g g) (* h h)))
29.7b	(sqrt (- (* g g) (* h h)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 59

Calls

4 calls:

4.0ms	(- (* g g) (* h h))
12.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
5.0ms	(sqrt (- (* g g) (* h h)))
4.0ms	(sqrt (- (* g g) (* h h)))

series86.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- (* g g) (* h h))
66.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
7.0ms	(sqrt (- (* g g) (* h h)))
7.0ms	(sqrt (- (* g g) (* h h)))

simplify35.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5071	851

prune215.0ms

Filtered

59 candidates to 71 candidates (-20.3%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	66	5	71
Fresh	1	13	14
Picked	1	0	1
Done	0	0	0
Total	68	18	86

Merged error: 31.0b

Counts

86 → 18

localize21.0ms

Local error

Found 4 expressions with local error:

2.6b	(- (* g g) (* h h))
7.7b	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
29.7b	(sqrt (- (* g g) (* h h)))
29.7b	(sqrt (- (* g g) (* h h)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 59

Calls

4 calls:

4.0ms	(- (* g g) (* h h))
12.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
4.0ms	(sqrt (- (* g g) (* h h)))
4.0ms	(sqrt (- (* g g) (* h h)))

series86.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- (* g g) (* h h))
66.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
7.0ms	(sqrt (- (* g g) (* h h)))
7.0ms	(sqrt (- (* g g) (* h h)))

simplify39.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5071	851

prune220.0ms

Filtered

59 candidates to 71 candidates (-20.3%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	69	2	71
Fresh	1	16	17
Picked	1	0	1
Done	0	0	0
Total	71	18	89

Merged error: 31.0b

Counts

89 → 18

localize19.0ms

Local error

Found 4 expressions with local error:

2.6b	(- (* g g) (* h h))
9.2b	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
29.7b	(sqrt (- (* g g) (* h h)))
29.7b	(sqrt (- (* g g) (* h h)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 59

Calls

4 calls:

4.0ms	(- (* g g) (* h h))
12.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
4.0ms	(sqrt (- (* g g) (* h h)))
4.0ms	(sqrt (- (* g g) (* h h)))

series83.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- (* g g) (* h h))
62.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
7.0ms	(sqrt (- (* g g) (* h h)))
9.0ms	(sqrt (- (* g g) (* h h)))

simplify37.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5363	842

prune133.0ms

Filtered

60 candidates to 71 candidates (-18.3%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	68	3	71
Fresh	1	16	17
Picked	1	0	1
Done	0	0	0
Total	70	19	89

Merged error: 31.0b

Counts

89 → 19

regimes865.0ms

Accuracy

61.6% (1.2b remaining)

Error of 32.0b against oracle of 30.8b and baseline of 33.9b

bsearch174.0ms

Steps

Iters	Range		Point
11	7.092005046044931e-207	2.224527461244825e-183	7.210698672209992e-207

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	45	84
1	45	84

end0.0ms

sample2.9s

Algorithm

intervals

Results

937.0ms	3719×	body	320	valid
693.0ms	4127×	body	160	valid
657.0ms	7944×	body	80	nan
13.0ms	154×	body	80	valid

Details

sample97.0ms

simplify94.0ms

prune13.0ms

localize18.0ms

rewrite35.0ms

series142.0ms

simplify40.0ms

prune243.0ms

localize20.0ms

rewrite26.0ms

series86.0ms

simplify35.0ms

prune215.0ms

localize21.0ms

rewrite24.0ms

series86.0ms

simplify39.0ms

prune220.0ms

localize19.0ms

rewrite24.0ms

series83.0ms

simplify37.0ms

prune133.0ms

regimes865.0ms

bsearch174.0ms

simplify2.0ms

end0.0ms

sample2.9s

Profiling