Details

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

sample39.0ms

Algorithm

intervals

Results

12.0ms	137×	body	160	valid
8.0ms	286×	pre	80	true
8.0ms	119×	body	80	valid
1.0ms	30×	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

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

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.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)))
11.0ms	(/ (- (sqrt (- (* b b) (* 4.0 (* a c)))) b) (* a 2.0))
7.0ms	(- (sqrt (- (* b b) (* 4.0 (* a c)))) b)

series66.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))
18.0ms	(- (sqrt (- (* b b) (* 4.0 (* a c)))) b)

simplify39.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5340	1316

prune173.0ms

Filtered

62 candidates to 82 candidates (-32.3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	68	14	82
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	69	14	83

Merged error: 9.2b

Counts

83 → 14

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

prune49.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

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

Merged error: 9.2b

Counts

14 → 14

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

rewrite19.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)
11.0ms	(/ (* -2.0 (* (/ a b) c)) (* a 2.0))

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

prune160.0ms

Filtered

42 candidates to 68 candidates (-61.9%)

Pruning

30 alts after pruning (29 fresh and 1 done)

	Pruned	Kept	Total
New	51	17	68
Fresh	0	12	12
Picked	1	0	1
Done	0	1	1
Total	52	30	82

Merged error: 9.1b

Counts

82 → 30

localize5.0ms

Local error

Found 2 expressions with local error:

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

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

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

series6.0ms

Counts

2 → 6

Calls

2 calls:

3.0ms	(* b (/ 2.0 c))
3.0ms	(/ -2.0 (* 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

prune58.0ms

Filtered

41 candidates to 62 candidates (-51.2%)

Pruning

27 alts after pruning (26 fresh and 1 done)

	Pruned	Kept	Total
New	56	6	62
Fresh	8	20	28
Picked	1	0	1
Done	0	1	1
Total	65	27	92

Merged error: 9.0b

Counts

92 → 27

regimes506.0ms

Accuracy

45.6% (7.4b remaining)

Error of 16.6b against oracle of 9.2b and baseline of 22.8b

bsearch5.0ms

Steps

Iters	Range		Point
1	304.4927554885284	330.42703881075283	323.9434679801967

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

411.0ms	4475×	body	160	valid
251.0ms	8890×	pre	80	true
169.0ms	3525×	body	80	valid
44.0ms	890×	body	80	nan

Details

analyze254.0ms

sample39.0ms

simplify201.0ms

prune8.0ms

localize10.0ms

rewrite28.0ms

series66.0ms

simplify39.0ms

prune173.0ms

localize3.0ms

rewrite0.0ms

series0.0ms

simplify2.0ms

prune49.0ms

localize7.0ms

rewrite19.0ms

series10.0ms

simplify42.0ms

prune160.0ms

localize5.0ms

rewrite13.0ms

series6.0ms

simplify61.0ms

prune58.0ms

regimes506.0ms

bsearch5.0ms

simplify2.0ms

end0.0ms

sample1.1s

Profiling