Details

sample239.0ms

Algorithm

intervals

Results

194.0ms	200×	body	80	valid
9.0ms	30×	body	2560	valid
6.0ms	31×	body	1280	valid
4.0ms	85×	body	80	nan
2.0ms	15×	body	640	valid
1.0ms	4×	body	5120	valid
0.0ms	4×	body	320	valid
0.0ms	2×	body	160	valid

simplify14.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	7
1	22	7
2	25	7
3	27	7
4	29	7
5	29	7

prune5.0ms

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.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)
0.7b	(+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
0.8b	(- (* b_2 b_2) (* a c))
20.7b	(sqrt (- (* b_2 b_2) (* a c)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 80

Calls

4 calls:

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

series71.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
22.0ms	(+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
7.0ms	(- (* b_2 b_2) (* a c))
22.0ms	(sqrt (- (* b_2 b_2) (* a c)))

simplify138.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 2 (31.0ms)

Iter	Nodes	Cost
0	338	783
1	1216	724
2	4971	703
3	5001	703

prune133.0ms

Filtered

92 candidates to 69 candidates (25.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	86	6	92
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	86	7	93

Merged error: 5.1b

Counts

93 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

22×	`*-un-lft-identity`
21×	`add-sqr-sqrt`
13×	`add-exp-log` `add-cube-cbrt` `associate-r`
11×	`times-frac`
10×	`add-log-exp`
9×	`add-cbrt-cube`
7×	`pow1`
5×	`associate-l`
4×	`prod-exp` `distribute-lft-out`
3×	`flip3-+` `sqrt-prod` `flip-+` `unswap-sqr`
2×	`frac-times` `flip3--` `distribute-rgt-neg-in` `sqrt-div` `div-exp` `associate-*l/` `sum-log` `flip--` `cbrt-unprod`
1×	`cbrt-undiv` `+-commutative` `neg-sub0` `associate-+l-` `sub-neg` `rem-sqrt-square` `rec-exp` `sqrt-pow1` `pow1/2` `diff-log` `1-exp` `associate-r/` `pow-prod-down` `neg-log` `un-div-inv` `-commutative` `div-inv`

Counts

4 → 84

Calls

4 calls:

13.0ms	(* (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (/ 1 a))
8.0ms	(+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
3.0ms	(- (* b_2 b_2) (* a c))
4.0ms	(sqrt (- (* b_2 b_2) (* a c)))

series56.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (/ 1 a))
13.0ms	(+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
7.0ms	(- (* b_2 b_2) (* a c))
12.0ms	(sqrt (- (* b_2 b_2) (* a c)))

simplify51.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	428	816
1	1923	721
2	5001	680

prune103.0ms

Filtered

96 candidates to 71 candidates (26.0%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	95	1	96
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	96	7	103

Merged error: 5.1b

Counts

103 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

0.8b	(- (* b_2 b_2) (* a c))
1.4b	(- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
15.1b	(* (/ 1 a) (* a c))
20.7b	(sqrt (- (* b_2 b_2) (* a c)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-exp-log`
17×	`add-sqr-sqrt`
16×	`*-un-lft-identity` `add-cbrt-cube`
13×	`associate-l`
12×	`add-cube-cbrt` `prod-exp`
10×	`pow1` `add-log-exp`
9×	`times-frac`
6×	`cbrt-unprod`
4×	`div-exp` `sqrt-prod`
3×	`flip3--` `diff-log` `pow-prod-down` `flip--`
2×	`cbrt-undiv` `sub-neg` `rec-exp` `sqrt-div` `1-exp` `distribute-lft-out--` `difference-of-squares`
1×	`associate--l-` `neg-sub0` `rem-sqrt-square` `distribute-rgt-neg-in` `sqrt-pow1` `pow1/2` `associate-r` `neg-log` `associate-l/` `-commutative` `div-inv`

Counts

4 → 82

Calls

4 calls:

3.0ms	(- (* b_2 b_2) (* a c))
8.0ms	(- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
7.0ms	(* (/ 1 a) (* a c))
3.0ms	(sqrt (- (* b_2 b_2) (* a c)))

series35.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(- (* b_2 b_2) (* a c))
13.0ms	(- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
2.0ms	(* (/ 1 a) (* a c))
13.0ms	(sqrt (- (* b_2 b_2) (* a c)))

simplify57.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	403	531
1	1916	427
2	5001	419

prune104.0ms

Filtered

94 candidates to 63 candidates (33.0%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	92	2	94
Fresh	2	2	4
Picked	0	1	1
Done	0	2	2
Total	94	7	101

Merged error: 5.0b

Counts

101 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (+ (* (/ 1 a) 0) c) (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
0.8b	(- (* b_2 b_2) (* a c))
1.4b	(- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
20.7b	(sqrt (- (* b_2 b_2) (* a c)))

rewrite34.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-/r*`
6×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `distribute-rgt-neg-in`
4×	`flip3--` `flip--`
3×	`diff-log` `associate-/l*`
2×	`sub-neg` `sqrt-div` `associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `associate--l-` `neg-sub0` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `flip3-+` `pow1/2` `div-exp` `neg-log` `clear-num` `flip-+` `div-inv`

Counts

4 → 92

Calls

4 calls:

15.0ms	(/ (+ (* (/ 1 a) 0) c) (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
3.0ms	(- (* b_2 b_2) (* a c))
8.0ms	(- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
5.0ms	(sqrt (- (* b_2 b_2) (* a c)))

series75.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(/ (+ (* (/ 1 a) 0) c) (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
7.0ms	(- (* b_2 b_2) (* a c))
13.0ms	(- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
12.0ms	(sqrt (- (* b_2 b_2) (* a c)))

simplify55.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	389	1170
1	1550	1051
2	5002	1034

prune102.0ms

Filtered

104 candidates to 74 candidates (28.8%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	103	1	104
Fresh	1	2	3
Picked	0	1	1
Done	0	3	3
Total	104	7	111

Merged error: 5.0b

Counts

111 → 7

regimes338.0ms

Accuracy

96.1% (0.9b remaining)

Error of 6.4b against oracle of 5.5b and baseline of 29.2b

bsearch95.0ms

Steps

Iters	Range	Point
9	3.763859088204499e+91	2.271321644956683e+99	1.704059040904738e+99
8	-2.450180232760445e-303	-6.101116520471646e-307	-3.035384695936534e-304
9	-3.6502939682616286e+159	-2.0984588557191883e+153	-2.336606735933724e+153

Iters

Range

Point

3.763859088204499e+91

2.271321644956683e+99

1.704059040904738e+99

-2.450180232760445e-303

-6.101116520471646e-307

-3.035384695936534e-304

-3.6502939682616286e+159

-2.0984588557191883e+153

-2.336606735933724e+153

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	24
1	43	24

end0.0ms

sample1.4s

Algorithm

intervals

Results

252.0ms	1043×	body	2560	valid
251.0ms	5858×	body	80	valid
180.0ms	924×	body	1280	valid
120.0ms	2794×	body	80	nan
74.0ms	483×	body	640	valid
33.0ms	113×	body	5120	valid
30.0ms	237×	body	320	valid
8.0ms	99×	body	160	valid

Details

sample239.0ms

simplify14.0ms

prune5.0ms

localize12.0ms

rewrite31.0ms

series71.0ms

simplify138.0ms

prune133.0ms

localize12.0ms

rewrite30.0ms

series56.0ms

simplify51.0ms

prune103.0ms

localize15.0ms

rewrite24.0ms

series35.0ms

simplify57.0ms

prune104.0ms

localize12.0ms

rewrite34.0ms

series75.0ms

simplify55.0ms

prune102.0ms

regimes338.0ms

bsearch95.0ms

simplify2.0ms

end0.0ms

sample1.4s

Profiling