Details

sample43.0ms

Algorithm

intervals

Results

19.0ms	271×	body	80	valid
6.0ms	100×	body	80	nan

simplify15.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	35	18
1	66	18
2	116	18
3	144	18
4	159	18
5	161	18
6	161	18

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

Counts

2 → 1

localize121.0ms

Local error

Found 4 expressions with local error:

0.9b	(+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
1.0b	(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
22.3b	(sqrt (- (* b b) (* (* 4.0 a) c)))
22.3b	(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

14×	`*-un-lft-identity`
12×	`add-sqr-sqrt` `add-log-exp`
7×	`sqrt-prod`
6×	`pow1` `add-cube-cbrt`
4×	`add-exp-log` `sqrt-div` `add-cbrt-cube`
3×	`flip3--` `flip--`
2×	`neg-sub0` `rem-sqrt-square` `distribute-rgt-neg-in` `sqrt-pow1` `pow1/2` `diff-log` `neg-log` `sum-log` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`
1×	`+-commutative` `associate--l-` `associate-+l-` `sub-neg` `flip3-+` `flip-+`

Counts

4 → 63

Calls

4 calls:

8.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
8.0ms	(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

series309.0ms

Counts

4 → 12

Calls

4 calls:

82.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
82.0ms	(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
70.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
74.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify114.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 3 (107.0ms)

Iter	Nodes	Cost
0	246	646
1	890	606
2	3700	588
3	5001	584

prune282.0ms

Filtered

75 candidates to 60 candidates (80.0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	69	6	75
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	70	6	76

Merged error: 7.3b

Counts

76 → 6

localize120.0ms

Local error

Found 4 expressions with local error:

13.4b	(+ (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
22.3b	(sqrt (- (* b b) (* (* 4.0 a) c)))
22.3b	(sqrt (- (* b b) (* (* 4.0 a) c)))
22.3b	(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
9×	`sqrt-prod`
8×	`add-log-exp`
7×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
6×	`sqrt-div`
4×	`add-exp-log` `add-cbrt-cube`
3×	`rem-sqrt-square` `flip3--` `sqrt-pow1` `pow1/2` `flip--`
2×	`sum-log`
1×	`+-commutative` `neg-sub0` `associate-+l-` `flip3-+` `neg-log` `flip-+`

Counts

4 → 58

Calls

4 calls:

4.0ms	(+ (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

series305.0ms

Counts

4 → 12

Calls

4 calls:

85.0ms	(+ (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
74.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
73.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
72.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify113.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 3 (105.0ms)

Iter	Nodes	Cost
0	232	680
1	883	574
2	3567	559
3	5001	555

prune278.0ms

Filtered

70 candidates to 58 candidates (82.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	70	6	76

Merged error: 7.3b

Counts

76 → 6

localize123.0ms

Local error

Found 4 expressions with local error:

7.6b	(- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
22.3b	(sqrt (- (* b b) (* (* 4.0 a) c)))
22.3b	(sqrt (- (* b b) (* (* 4.0 a) c)))
22.3b	(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 60

Calls

4 calls:

4.0ms	(- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

series303.0ms

Counts

4 → 12

Calls

4 calls:

81.0ms	(- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
74.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
73.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
74.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify109.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 3 (101.0ms)

Iter	Nodes	Cost
0	225	725
1	835	631
2	3414	609
3	5001	589

prune276.0ms

Filtered

72 candidates to 58 candidates (80.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	71	1	72
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	72	6	78

Merged error: 7.3b

Counts

78 → 6

localize126.0ms

Local error

Found 4 expressions with local error:

22.3b	(sqrt (- (* b b) (* (* 4.0 a) c)))
22.3b	(sqrt (- (* b b) (* (* 4.0 a) c)))
22.3b	(sqrt (- (* b b) (* (* 4.0 a) c)))
22.3b	(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `sqrt-prod`
8×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `sqrt-div`
4×	`add-exp-log` `rem-sqrt-square` `flip3--` `sqrt-pow1` `pow1/2` `add-cbrt-cube` `flip--` `add-log-exp`

Counts

4 → 60

Calls

4 calls:

4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
10.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

series290.0ms

Counts

4 → 12

Calls

4 calls:

75.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
73.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
73.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
69.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify71.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 3 (64.0ms)

Iter	Nodes	Cost
0	129	540
1	469	520
2	1914	516
3	5002	508

prune338.0ms

Filtered

72 candidates to 60 candidates (83.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	72	6	78

Merged error: 7.3b

Counts

78 → 6

regimes144.0ms

Accuracy

93.4% (0.8b remaining)

Error of 8.4b against oracle of 7.6b and baseline of 19.8b

bsearch145.0ms

Steps

Iters	Range		Point
6	4.185563559022972e+102	5.2734028454939155e+103	2.663339550337526e+103
7	-3.275808296288348e+117	-1.218044689452388e+116	-3.228985221003634e+117

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	58
1	49	58

end0.0ms

sample1.1s

Algorithm

intervals

Results

597.0ms	8690×	body	80	valid
192.0ms	2973×	body	80	nan

Details

sample43.0ms

simplify15.0ms

prune4.0ms

localize121.0ms

rewrite25.0ms

series309.0ms

simplify114.0ms

prune282.0ms

localize120.0ms

rewrite17.0ms

series305.0ms

simplify113.0ms

prune278.0ms

localize123.0ms

rewrite17.0ms

series303.0ms

simplify109.0ms

prune276.0ms

localize126.0ms

rewrite23.0ms

series290.0ms

simplify71.0ms

prune338.0ms

regimes144.0ms

bsearch145.0ms

simplify2.0ms

end0.0ms

sample1.1s

Profiling