Details

sample245.0ms

Algorithm

intervals

Results

194.0ms	16×	body	1280	valid
10.0ms	180×	body	80	valid
10.0ms	38×	body	2560	valid
4.0ms	92×	body	80	nan
2.0ms	14×	body	640	valid
2.0ms	6×	body	5120	valid
1.0ms	8×	body	320	valid
1.0ms	7×	body	160	valid

simplify436.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	42	13
1	42	13

prune6.0ms

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

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
1.4b	(- (* b_2 b_2) (* a c))
2.4b	(- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
23.4b	(sqrt (- (* b_2 b_2) (* a c)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt`
37×	`*-un-lft-identity`
21×	`times-frac`
17×	`add-cube-cbrt`
10×	`distribute-lft-out--` `add-log-exp` `difference-of-squares`
8×	`sqrt-prod`
7×	`associate-/l*`
6×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `distribute-rgt-neg-in`
4×	`flip3--` `flip--`
3×	`diff-log` `associate-/r*`
2×	`sub-neg` `sqrt-div` `associate-/l/`
1×	`cbrt-undiv` `associate--l-` `neg-sub0` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `div-sub` `div-exp` `neg-log` `clear-num` `div-inv`

Counts

4 → 91

Calls

4 calls:

10.0ms	(/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
3.0ms	(- (* b_2 b_2) (* a c))
18.0ms	(- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
6.0ms	(sqrt (- (* b_2 b_2) (* a c)))

series62.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
7.0ms	(- (* b_2 b_2) (* a c))
14.0ms	(- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
23.0ms	(sqrt (- (* b_2 b_2) (* a c)))

simplify60.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5271	1600

prune140.0ms

Filtered

72 candidates to 103 candidates (-43.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	95	8	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	96	8	104

Merged error: 5.1b

Counts

104 → 8

localize10.0ms

Local error

Found 4 expressions with local error:

1.4b	(- (* b_2 b_2) (* a c))
3.9b	(/ (/ (* a c) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) a)
8.5b	(/ (* a c) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
23.4b	(sqrt (- (* b_2 b_2) (* a c)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

66×	`times-frac`
53×	`add-sqr-sqrt`
40×	`*-un-lft-identity`
28×	`add-cube-cbrt`
18×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/l*`
12×	`difference-of-squares`
10×	`associate-/r/`
9×	`associate-/r*` `sqrt-prod`
7×	`cbrt-undiv` `flip3--` `div-exp` `flip--`
6×	`div-inv` `distribute-lft-out--` `add-log-exp`
5×	`pow1`
2×	`frac-2neg` `sqrt-div` `prod-exp` `clear-num` `cbrt-unprod`
1×	`sub-neg` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `diff-log` `associate-/l/`

Counts

4 → 124

Calls

4 calls:

3.0ms	(- (* b_2 b_2) (* a c))
12.0ms	(/ (/ (* a c) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) a)
10.0ms	(/ (* a c) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
4.0ms	(sqrt (- (* b_2 b_2) (* a c)))

series118.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(- (* b_2 b_2) (* a c))
42.0ms	(/ (/ (* a c) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) a)
53.0ms	(/ (* a c) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
15.0ms	(sqrt (- (* b_2 b_2) (* a c)))

simplify64.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4991	2493
1	4991	2493

prune144.0ms

Filtered

102 candidates to 136 candidates (-33.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	133	3	136
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	135	9	144

Merged error: 5.0b

Counts

144 → 9

localize21.0ms

Local error

Found 4 expressions with local error:

8.5b	(/ (* a c) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
23.4b	(sqrt (- (* b_2 b_2) (* a c)))
23.4b	(sqrt (- (* b_2 b_2) (* a c)))
23.4b	(sqrt (- (* b_2 b_2) (* a c)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
13×	`*-un-lft-identity`
11×	`sqrt-prod`
9×	`add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
7×	`pow1`
6×	`times-frac` `sqrt-div` `associate-/r*`
4×	`flip3--` `flip--` `add-log-exp` `difference-of-squares`
3×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`
2×	`cbrt-undiv` `div-exp` `associate-/r/` `distribute-lft-out--`
1×	`frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `div-inv` `associate-/l*`

Counts

4 → 74

Calls

4 calls:

10.0ms	(/ (* a c) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
4.0ms	(sqrt (- (* b_2 b_2) (* a c)))
4.0ms	(sqrt (- (* b_2 b_2) (* a c)))
4.0ms	(sqrt (- (* b_2 b_2) (* a c)))

series94.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(/ (* a c) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
12.0ms	(sqrt (- (* b_2 b_2) (* a c)))
12.0ms	(sqrt (- (* b_2 b_2) (* a c)))
12.0ms	(sqrt (- (* b_2 b_2) (* a c)))

simplify45.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5243	1100

prune122.0ms

Filtered

68 candidates to 86 candidates (-26.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	85	1	86
Fresh	0	7	7
Picked	1	0	1
Done	0	1	1
Total	86	9	95

Merged error: 5.0b

Counts

95 → 9

localize28.0ms

Local error

Found 4 expressions with local error:

17.4b	(- (exp (log (sqrt (- (* b_2 b_2) (* a c))))) b_2)
23.4b	(sqrt (- (* b_2 b_2) (* a c)))
23.4b	(sqrt (- (* b_2 b_2) (* a c)))
23.4b	(sqrt (- (* b_2 b_2) (* a c)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
10×	`sqrt-prod`
9×	`*-un-lft-identity`
7×	`pow1` `add-cube-cbrt`
6×	`sqrt-div` `add-log-exp`
4×	`add-exp-log` `flip3--` `add-cbrt-cube` `flip--`
3×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `difference-of-squares`
2×	`log-prod` `exp-sum`
1×	`sub-neg` `diff-log` `distribute-lft-out--`

Counts

4 → 61

Calls

4 calls:

9.0ms	(- (exp (log (sqrt (- (* b_2 b_2) (* a c))))) b_2)
4.0ms	(sqrt (- (* b_2 b_2) (* a c)))
4.0ms	(sqrt (- (* b_2 b_2) (* a c)))
4.0ms	(sqrt (- (* b_2 b_2) (* a c)))

series50.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(- (exp (log (sqrt (- (* b_2 b_2) (* a c))))) b_2)
13.0ms	(sqrt (- (* b_2 b_2) (* a c)))
12.0ms	(sqrt (- (* b_2 b_2) (* a c)))
12.0ms	(sqrt (- (* b_2 b_2) (* a c)))

simplify47.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4944	849
1	4944	849

prune94.0ms

Filtered

60 candidates to 73 candidates (-21.7%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	73	9	82

Merged error: 5.0b

Counts

82 → 9

regimes389.0ms

Accuracy

87.5% (3.4b remaining)

Error of 9.0b against oracle of 5.6b and baseline of 32.8b

bsearch108.0ms

Steps

Iters	Range	Point
9	9.19707175362887e+95	2.4714310794775493e+104	1.3075888430516096e+99
10	-6.946099253110126e-99	-2.423551836712604e-110	-1.8522534889135243e-107
9	-1.6895740895715742e+90	-1.2960772298254508e+84	-1.666256126060147e+87

Iters

Range

Point

9.19707175362887e+95

2.4714310794775493e+104

1.3075888430516096e+99

-6.946099253110126e-99

-2.423551836712604e-110

-1.8522534889135243e-107

-1.6895740895715742e+90

-1.2960772298254508e+84

-1.666256126060147e+87

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	53
1	33	53

end0.0ms

sample1.4s

Algorithm

intervals

Results

271.0ms	1046×	body	2560	valid
264.0ms	5873×	body	80	valid
183.0ms	874×	body	1280	valid
122.0ms	2941×	body	80	nan
75.0ms	465×	body	640	valid
30.0ms	99×	body	5120	valid
30.0ms	226×	body	320	valid
10.0ms	120×	body	160	valid

Details

sample245.0ms

simplify436.0ms

prune6.0ms

localize12.0ms

rewrite43.0ms

series62.0ms

simplify60.0ms

prune140.0ms

localize10.0ms

rewrite34.0ms

series118.0ms

simplify64.0ms

prune144.0ms

localize21.0ms

rewrite23.0ms

series94.0ms

simplify45.0ms

prune122.0ms

localize28.0ms

rewrite22.0ms

series50.0ms

simplify47.0ms

prune94.0ms

regimes389.0ms

bsearch108.0ms

simplify2.0ms

end0.0ms

sample1.4s

Profiling