Details

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

14.0ms	103×	body	320	valid
10.0ms	280×	pre	80	true
10.0ms	101×	body	160	valid
4.0ms	19×	body	640	valid
2.0ms	33×	body	80	valid
1.0ms	24×	body	80	nan

simplify194.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (193.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: 52.7b

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))
27.4b	(- (sqrt (- (* b b) (* 4.0 (* a c)))) b)

rewrite26.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)))
10.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)

simplify46.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5083	1316

prune203.0ms

Filtered

62 candidates to 82 candidates (-32.3%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	71	11	82
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	72	11	83

Merged error: 2.7b

Counts

83 → 11

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

prune43.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	10	10
Picked	1	1
Done	0	0
Total	11	11

Merged error: 2.7b

Counts

11 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b	(+ b (sqrt (- (* b b) (* 4.0 (* a c)))))
0.1b	(/ (- (* b b) (+ (* b b) (* 4.0 (* a c)))) (+ b (sqrt (- (* b b) (* 4.0 (* a c))))))
0.2b	(/ (/ (- (* b b) (+ (* b b) (* 4.0 (* a c)))) (+ b (sqrt (- (* b b) (* 4.0 (* a c)))))) (* a 2.0))
27.3b	(- (* b b) (+ (* b b) (* 4.0 (* a c))))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

70×	`times-frac`
60×	`*-un-lft-identity`
46×	`add-sqr-sqrt`
32×	`add-cube-cbrt`
26×	`associate-/l*`
18×	`add-exp-log` `add-cbrt-cube`
14×	`distribute-lft-out` `difference-of-squares`
11×	`add-log-exp`
7×	`cbrt-undiv` `div-exp`
6×	`associate-/r/`
5×	`associate-/r*`
4×	`pow1` `flip3-+` `flip-+` `div-inv`
3×	`div-sub` `associate-/l/`
2×	`flip3--` `frac-2neg` `diff-log` `prod-exp` `clear-num` `sum-log` `flip--` `cbrt-unprod`
1×	`+-commutative` `sub-neg` `associate--r+`

Counts

4 → 132

Calls

4 calls:

5.0ms	(+ b (sqrt (- (* b b) (* 4.0 (* a c)))))
12.0ms	(/ (- (* b b) (+ (* b b) (* 4.0 (* a c)))) (+ b (sqrt (- (* b b) (* 4.0 (* a c))))))
15.0ms	(/ (/ (- (* b b) (+ (* b b) (* 4.0 (* a c)))) (+ b (sqrt (- (* b b) (* 4.0 (* a c)))))) (* a 2.0))
6.0ms	(- (* b b) (+ (* b b) (* 4.0 (* a c))))

series94.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(+ b (sqrt (- (* b b) (* 4.0 (* a c)))))
38.0ms	(/ (- (* b b) (+ (* b b) (* 4.0 (* a c)))) (+ b (sqrt (- (* b b) (* 4.0 (* a c))))))
34.0ms	(/ (/ (- (* b b) (+ (* b b) (* 4.0 (* a c)))) (+ b (sqrt (- (* b b) (* 4.0 (* a c)))))) (* a 2.0))
6.0ms	(- (* b b) (+ (* b b) (* 4.0 (* a c))))

simplify66.0ms

Algorithm

egg-herbie

Counts

144 → 144

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4979	3693
1	4979	3693

prune313.0ms

Filtered

111 candidates to 144 candidates (-29.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	135	9	144
Fresh	9	0	9
Picked	1	0	1
Done	0	1	1
Total	145	10	155

Merged error: 0b

Counts

155 → 10

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1 (* (+ b (sqrt (- (* b b) (* 4.0 (* a c))))) 2.0))
0.1b	(+ b (sqrt (- (* b b) (* 4.0 (* a c)))))
0.1b	(/ (* 4.0 (* a (neg c))) a)
0.3b	(* (/ (* 4.0 (* a (neg c))) a) (/ 1 (* (+ b (sqrt (- (* b b) (* 4.0 (* a c))))) 2.0)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

142×	`add-exp-log`
72×	`add-cbrt-cube`
67×	`prod-exp`
44×	`div-exp`
29×	`cbrt-unprod`
22×	`cbrt-undiv`
14×	`add-sqr-sqrt` `*-un-lft-identity`
12×	`add-cube-cbrt` `times-frac`
10×	`rec-exp` `1-exp`
9×	`pow1` `associate-r`
7×	`associate-l`
6×	`add-log-exp`
5×	`associate-*l/`
4×	`associate-/r` `associate-/r/` `distribute-rgt-neg-out` `div-inv` `associate-/l`
3×	`flip3-+` `flip-+`
2×	`pow-flip` `frac-2neg` `distribute-frac-neg` `pow-prod-down` `clear-num`
1×	`+-commutative` `distribute-lft-neg-out` `frac-times` `associate-r/` `sum-log` `un-div-inv` `-commutative` `distribute-lft-out` `inv-pow` `unswap-sqr`

Counts

4 → 137

Calls

4 calls:

11.0ms	(/ 1 (* (+ b (sqrt (- (* b b) (* 4.0 (* a c))))) 2.0))
6.0ms	(+ b (sqrt (- (* b b) (* 4.0 (* a c)))))
6.0ms	(/ (* 4.0 (* a (neg c))) a)
17.0ms	(* (/ (* 4.0 (* a (neg c))) a) (/ 1 (* (+ b (sqrt (- (* b b) (* 4.0 (* a c))))) 2.0)))

series85.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(/ 1 (* (+ b (sqrt (- (* b b) (* 4.0 (* a c))))) 2.0))
14.0ms	(+ b (sqrt (- (* b b) (* 4.0 (* a c)))))
2.0ms	(/ (* 4.0 (* a (neg c))) a)
41.0ms	(* (/ (* 4.0 (* a (neg c))) a) (/ 1 (* (+ b (sqrt (- (* b b) (* 4.0 (* a c))))) 2.0)))

simplify63.0ms

Algorithm

egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5042	2315

prune165.0ms

Filtered

81 candidates to 149 candidates (-84.0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	146	3	149
Fresh	3	5	8
Picked	1	0	1
Done	1	0	1
Total	151	8	159

Merged error: 0b

Counts

159 → 8

regimes217.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	131	19
1	131	19

end0.0ms

sample1.5s

Algorithm

intervals

Results

524.0ms	3617×	body	320	valid
294.0ms	2910×	body	160	valid
264.0ms	8823×	pre	80	true
102.0ms	528×	body	640	valid
48.0ms	945×	body	80	valid
38.0ms	823×	body	80	nan

Details

analyze292.0ms

sample52.0ms

simplify194.0ms

prune8.0ms

localize10.0ms

rewrite26.0ms

series66.0ms

simplify46.0ms

prune203.0ms

localize4.0ms

rewrite0.0ms

series0.0ms

simplify2.0ms

prune43.0ms

localize14.0ms

rewrite44.0ms

series94.0ms

simplify66.0ms

prune313.0ms

localize15.0ms

rewrite45.0ms

series85.0ms

simplify63.0ms

prune165.0ms

regimes217.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.5s

Profiling