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

sample42.0ms

Algorithm

intervals

Results

14.0ms	148×	body	160	valid
8.0ms	276×	pre	80	true
5.0ms	108×	body	80	valid
1.0ms	20×	body	80	nan

simplify205.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (203.0ms)

Iter	Nodes	Cost
0	1931	16
1	1931	16

prune8.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: 29.1b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (- (* b b) (* 4.0 (* a c))))
0.2b	(/ (- (sqrt (- (* b b) (* 4.0 (* a c)))) b) (* a 2.0))
0.3b	(- (* b b) (* 4.0 (* a c)))
29.1b	(- (sqrt (- (* b b) (* 4.0 (* a c)))) b)

rewrite30.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:

6.0ms	(sqrt (- (* b b) (* 4.0 (* a c))))
11.0ms	(/ (- (sqrt (- (* b b) (* 4.0 (* a c)))) b) (* a 2.0))
4.0ms	(- (* b b) (* 4.0 (* a c)))
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))))
25.0ms	(/ (- (sqrt (- (* b b) (* 4.0 (* a c)))) b) (* a 2.0))
9.0ms	(- (* b b) (* 4.0 (* a c)))
16.0ms	(- (sqrt (- (* b b) (* 4.0 (* a c)))) b)

simplify39.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5340	1316

prune202.0ms

Filtered

62 candidates to 82 candidates (-32.3%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	64	18	82
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	65	18	83

Merged error: 10.2b

Counts

83 → 18

localize3.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

prune71.0ms

Pruning

18 alts after pruning (17 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	17	17
Picked	1	1
Done	0	0
Total	18	18

Merged error: 10.2b

Counts

18 → 18

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite18.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))

simplify41.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4991	490
1	4991	490

prune189.0ms

Filtered

42 candidates to 68 candidates (-61.9%)

Pruning

32 alts after pruning (32 fresh and 0 done)

	Pruned	Kept	Total
New	52	16	68
Fresh	0	16	16
Picked	1	0	1
Done	1	0	1
Total	54	32	86

Merged error: 10.1b

Counts

86 → 32

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 56

Calls

2 calls:

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

series6.0ms

Counts

2 → 6

Calls

2 calls:

3.0ms	(/ -2.0 (* b (/ 2.0 c)))
3.0ms	(* b (/ 2.0 c))

simplify61.0ms

Algorithm

egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4971	444
1	4971	444

prune67.0ms

Filtered

42 candidates to 62 candidates (-47.6%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	55	7	62
Fresh	7	24	31
Picked	1	0	1
Done	0	0	0
Total	63	31	94

Merged error: 10.1b

Counts

94 → 31

regimes588.0ms

Accuracy

47.5% (7.2b remaining)

Error of 16.5b against oracle of 9.2b and baseline of 23.0b

bsearch6.0ms

Steps

Iters	Range		Point
1	348.3193658123453	372.42399244509295	366.397835786906

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	96	39
1	96	39

end0.0ms

sample1.1s

Algorithm

intervals

Results

430.0ms	4448×	body	160	valid
252.0ms	8797×	pre	80	true
183.0ms	3552×	body	80	valid
38.0ms	797×	body	80	nan

Details

analyze268.0ms

sample42.0ms

simplify205.0ms

prune8.0ms

localize11.0ms

rewrite30.0ms

series63.0ms

simplify39.0ms

prune202.0ms

localize3.0ms

rewrite0.0ms

series0.0ms

simplify2.0ms

prune71.0ms

localize7.0ms

rewrite18.0ms

series11.0ms

simplify41.0ms

prune189.0ms

localize5.0ms

rewrite16.0ms

series6.0ms

simplify61.0ms

prune67.0ms

regimes588.0ms

bsearch6.0ms

simplify2.0ms

end0.0ms

sample1.1s

Profiling