Details

analyze268.0ms

Algorithm

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1
0%	0%	100%	2
0%	0%	100%	3
0%	0%	100%	4
0%	0%	100%	5
0%	0%	100%	6
0%	0%	100%	7
0%	0%	100%	8
0%	0%	100%	9
0%	0%	100%	10
0%	0%	100%	11
0%	0%	100%	12
0%	0%	100%	13
0%	0%	100%	14

sample52.0ms

Algorithm

intervals

Results

18.0ms	115×	body	320	valid
9.0ms	95×	body	160	valid
8.0ms	277×	pre	80	true
3.0ms	18×	body	640	valid
1.0ms	28×	body	80	valid
1.0ms	21×	body	80	nan

simplify201.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (199.0ms)

Iter	Nodes	Cost
0	1931	16
1	1931	16

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 52.5b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (- (* b b) (* 4.0 (* a c))))
0.1b	(- (* b b) (* 4.0 (* a c)))
0.1b	(/ (- (sqrt (- (* b b) (* 4.0 (* a c)))) b) (* a 2.0))
26.8b	(- (sqrt (- (* b b) (* 4.0 (* a c)))) b)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 70

Calls

4 calls:

4.0ms	(sqrt (- (* b b) (* 4.0 (* a c))))
4.0ms	(- (* b b) (* 4.0 (* a c)))
12.0ms	(/ (- (sqrt (- (* b b) (* 4.0 (* a c)))) b) (* a 2.0))
7.0ms	(- (sqrt (- (* b b) (* 4.0 (* a c)))) b)

series63.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(sqrt (- (* b b) (* 4.0 (* a c))))
8.0ms	(- (* b b) (* 4.0 (* a c)))
25.0ms	(/ (- (sqrt (- (* b b) (* 4.0 (* a c)))) b) (* a 2.0))
15.0ms	(- (sqrt (- (* b b) (* 4.0 (* a c)))) b)

simplify44.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5340	1316

prune201.0ms

Filtered

62 candidates to 82 candidates (-32.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	69	13	82
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	70	13	83

Merged error: 2.9b

Counts

83 → 13

localize4.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify2.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0

prune53.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	12	12
Picked	1	1
Done	0	0
Total	13	13

Merged error: 2.9b

Counts

13 → 13

localize7.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (/ a b) c)
0.3b	(/ (* -2.0 (* (/ a b) c)) (* a 2.0))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

39×	`add-exp-log` `add-cbrt-cube`
16×	`prod-exp` `cbrt-unprod`
15×	`add-sqr-sqrt`
13×	`associate-l`
11×	`cbrt-undiv` `times-frac` `div-exp`
10×	`add-cube-cbrt` `*-un-lft-identity`
4×	`pow1`
3×	`associate-r`
2×	`associate-*l/` `div-inv` `add-log-exp` `unswap-sqr`
1×	`frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `associate-/r` `-commutative` `associate-/l/` `associate-/l`

Counts

2 → 62

Calls

2 calls:

6.0ms	(* (/ a b) c)
9.0ms	(/ (* -2.0 (* (/ a b) c)) (* a 2.0))

series11.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(* (/ a b) c)
5.0ms	(/ (* -2.0 (* (/ a b) c)) (* a 2.0))

simplify42.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4991	490
1	4991	490

prune145.0ms

Filtered

42 candidates to 68 candidates (-61.9%)

Pruning

21 alts after pruning (20 fresh and 1 done)

	Pruned	Kept	Total
New	59	9	68
Fresh	0	11	11
Picked	1	0	1
Done	0	1	1
Total	60	21	81

Merged error: 2.9b

Counts

81 → 21

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt b) (cbrt b))
0.6b	(cbrt b)
0.6b	(cbrt b)
0.6b	(cbrt b)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

5.0ms	(* (cbrt b) (cbrt b))
1.0ms	(cbrt b)
1.0ms	(cbrt b)
1.0ms	(cbrt b)

series93.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* (cbrt b) (cbrt b))
23.0ms	(cbrt b)
21.0ms	(cbrt b)
23.0ms	(cbrt b)

simplify45.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5165	356

prune87.0ms

Filtered

56 candidates to 85 candidates (-51.8%)

Pruning

23 alts after pruning (21 fresh and 2 done)

	Pruned	Kept	Total
New	79	6	85
Fresh	4	15	19
Picked	0	1	1
Done	0	1	1
Total	83	23	106

Merged error: 2.9b

Counts

106 → 23

regimes429.0ms

Accuracy

0% (3.7b remaining)

Error of 6.3b against oracle of 2.6b and baseline of 6.3b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	5
1	6	5

end0.0ms

sample1.5s

Algorithm

intervals

Results

523.0ms	3644×	body	320	valid
281.0ms	2893×	body	160	valid
258.0ms	8818×	pre	80	true
99.0ms	516×	body	640	valid
47.0ms	947×	body	80	valid
43.0ms	818×	body	80	nan

Details

analyze268.0ms

sample52.0ms

simplify201.0ms

prune9.0ms

localize10.0ms

rewrite29.0ms

series63.0ms

simplify44.0ms

prune201.0ms

localize4.0ms

rewrite0.0ms

series0.0ms

simplify2.0ms

prune53.0ms

localize7.0ms

rewrite17.0ms

series11.0ms

simplify42.0ms

prune145.0ms

localize13.0ms

rewrite11.0ms

series93.0ms

simplify45.0ms

prune87.0ms

regimes429.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.5s

Profiling