Details

sample0.0hr

Algorithm

intervals

Results

0.0hr	200×	body	80	valid
0.0hr	30×	body	2560	valid
0.0hr	31×	body	1280	valid
0.0hr	85×	body	80	nan
0.0hr	15×	body	640	valid
0.0hr	4×	body	5120	valid
0.0hr	3×	body	320	valid
0.0hr	2×	body	160	valid

simplify0.0hr

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	21	9
1	42	9
2	76	9
3	94	9
4	102	9
5	102	9

prune0.0hr

Filtered

1 candidates to 0 candidates (100.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: 32.5b

Counts

2 → 1

localize0.0hr

Local error

Found 4 expressions with local error:

0.2b	(/ (+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
0.7b	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
0.8b	(- (* b b) (* (* 3.0 a) c))
20.7b	(sqrt (- (* b b) (* (* 3.0 a) c)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

19×	`*-un-lft-identity`
10×	`add-log-exp`
9×	`add-exp-log` `add-cbrt-cube`
8×	`add-sqr-sqrt`
7×	`add-cube-cbrt`
6×	`distribute-lft-out`
5×	`pow1` `times-frac` `associate-/l*`
3×	`distribute-rgt-neg-in` `sqrt-prod`
2×	`cbrt-undiv` `neg-sub0` `associate-+l-` `flip3--` `flip3-+` `sqrt-div` `div-exp` `sum-log` `flip--` `flip-+` `associate-/l/`
1×	`+-commutative` `sub-neg` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `diff-log` `div-sub` `neg-log` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv`

Counts

4 → 70

Calls

4 calls:

0.0hr	(/ (+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
0.0hr	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
0.0hr	(- (* b b) (* (* 3.0 a) c))
0.0hr	(sqrt (- (* b b) (* (* 3.0 a) c)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(/ (+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
0.0hr	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
0.0hr	(- (* b b) (* (* 3.0 a) c))
0.0hr	(sqrt (- (* b b) (* (* 3.0 a) c)))

simplify0.0hr

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	391	774
1	1518	684
2	5001	674

prune0.0hr

Filtered

82 candidates to 63 candidates (23.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	72	10	82
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	73	10	83

Merged error: 5.1b

Counts

83 → 10

localize0.0hr

Local error

Found 4 expressions with local error:

0.2b	(* (* 3.0 a) c)
0.7b	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
0.8b	(- (* b b) (* (* 3.0 a) c))
20.7b	(sqrt (- (* b b) (* (* 3.0 a) c)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

10×	`pow1` `*-un-lft-identity` `add-log-exp`
9×	`add-exp-log` `add-cbrt-cube`
7×	`add-sqr-sqrt`
6×	`add-cube-cbrt`
3×	`associate-r` `pow-prod-down` `prod-exp` `sqrt-prod` `cbrt-unprod`
2×	`flip3--` `sqrt-div` `sum-log` `flip--` `distribute-lft-out`
1×	`+-commutative` `neg-sub0` `associate-+l-` `sub-neg` `rem-sqrt-square` `distribute-rgt-neg-in` `sqrt-pow1` `flip3-+` `pow1/2` `diff-log` `associate-l` `neg-log` `*-commutative` `flip-+`

Counts

4 → 60

Calls

4 calls:

0.0hr	(* (* 3.0 a) c)
0.0hr	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
0.0hr	(- (* b b) (* (* 3.0 a) c))
0.0hr	(sqrt (- (* b b) (* (* 3.0 a) c)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(* (* 3.0 a) c)
0.0hr	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
0.0hr	(- (* b b) (* (* 3.0 a) c))
0.0hr	(sqrt (- (* b b) (* (* 3.0 a) c)))

simplify0.0hr

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	302	469
1	1293	428
2	5002	417

prune0.0hr

Filtered

72 candidates to 52 candidates (27.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	69	3	72
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	72	10	82

Merged error: 5.1b

Counts

82 → 10

localize0.0hr

Local error

Found 4 expressions with local error:

0.2b	(/ (* 3.0 a) (+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
0.7b	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
0.8b	(- (* b b) (* (* 3.0 a) c))
20.7b	(sqrt (- (* b b) (* (* 3.0 a) c)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

19×	`*-un-lft-identity`
10×	`add-log-exp`
9×	`add-exp-log` `add-cbrt-cube`
8×	`add-sqr-sqrt`
7×	`add-cube-cbrt`
6×	`distribute-lft-out`
5×	`pow1` `times-frac` `associate-/r*`
3×	`distribute-rgt-neg-in` `sqrt-prod`
2×	`cbrt-undiv` `flip3--` `flip3-+` `sqrt-div` `div-exp` `sum-log` `associate-/r/` `flip--` `flip-+`
1×	`+-commutative` `neg-sub0` `associate-+l-` `sub-neg` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `diff-log` `neg-log` `prod-exp` `clear-num` `cbrt-unprod` `div-inv` `associate-/l*`

Counts

4 → 69

Calls

4 calls:

0.0hr	(/ (* 3.0 a) (+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
0.0hr	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
0.0hr	(- (* b b) (* (* 3.0 a) c))
0.0hr	(sqrt (- (* b b) (* (* 3.0 a) c)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(/ (* 3.0 a) (+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
0.0hr	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
0.0hr	(- (* b b) (* (* 3.0 a) c))
0.0hr	(sqrt (- (* b b) (* (* 3.0 a) c)))

simplify0.0hr

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	374	757
1	1611	658
2	5001	645

prune0.0hr

Filtered

81 candidates to 61 candidates (24.7%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	77	4	81
Fresh	2	7	9
Picked	0	1	1
Done	0	0	0
Total	79	12	91

Merged error: 5.1b

Counts

91 → 12

localize0.0hr

Local error

Found 4 expressions with local error:

0.2b	(* (* 3.0 a) c)
0.7b	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
0.8b	(- (* b b) (* (* 3.0 a) c))
20.7b	(sqrt (- (* b b) (* (* 3.0 a) c)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

10×	`pow1` `*-un-lft-identity` `add-log-exp`
9×	`add-exp-log` `add-cbrt-cube`
7×	`add-sqr-sqrt`
6×	`add-cube-cbrt`
3×	`associate-r` `pow-prod-down` `prod-exp` `sqrt-prod` `cbrt-unprod`
2×	`flip3--` `sqrt-div` `sum-log` `flip--` `distribute-lft-out`
1×	`+-commutative` `neg-sub0` `associate-+l-` `sub-neg` `rem-sqrt-square` `distribute-rgt-neg-in` `sqrt-pow1` `flip3-+` `pow1/2` `diff-log` `associate-l` `neg-log` `*-commutative` `flip-+`

Counts

4 → 60

Calls

4 calls:

0.0hr	(* (* 3.0 a) c)
0.0hr	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
0.0hr	(- (* b b) (* (* 3.0 a) c))
0.0hr	(sqrt (- (* b b) (* (* 3.0 a) c)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(* (* 3.0 a) c)
0.0hr	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
0.0hr	(- (* b b) (* (* 3.0 a) c))
0.0hr	(sqrt (- (* b b) (* (* 3.0 a) c)))

simplify0.0hr

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	302	468
1	1299	428
2	5002	417

prune0.0hr

Filtered

72 candidates to 52 candidates (27.8%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	71	1	72
Fresh	0	10	10
Picked	1	0	1
Done	0	1	1
Total	72	12	84

Merged error: 5.1b

Counts

84 → 12

regimes0.0hr

Accuracy

83.2% (4.8b remaining)

Error of 10.3b against oracle of 5.5b and baseline of 34.3b

bsearch0.0hr

Steps

Iters	Range		Point
10	2.6714593284404314e-136	1.6515191358596872e-125	1.4653612034309402e-125
6	-1.6429011261520745e+128	-1.0857283665730992e+127	-1.7117071668807686e+127

simplify0.0hr

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	37	17
1	37	17

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr	1043×	body	2560	valid
0.0hr	5856×	body	80	valid
0.0hr	923×	body	1280	valid
0.0hr	2796×	body	80	nan
0.0hr	483×	body	640	valid
0.0hr	112×	body	5120	valid
0.0hr	237×	body	320	valid
0.0hr	99×	body	160	valid

Details

sample0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

regimes0.0hr

bsearch0.0hr

simplify0.0hr

end0.0hr

sample0.0hr

Profiling