Details

sample77.0ms

Algorithm

intervals

Results

16.0ms	540×	pre	80	true
15.0ms	146×	body	160	valid
15.0ms	284×	body	80	nan
6.0ms	110×	body	80	valid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	88	16
1	88	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	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 29.9b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(- (* b b) (* (* 3.0 a) c))
0.3b	(* (* 3.0 a) c)
0.4b	(/ (+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
29.9b	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

19×	`*-un-lft-identity`
14×	`add-exp-log` `add-cbrt-cube`
10×	`add-log-exp`
9×	`pow1`
7×	`add-sqr-sqrt` `add-cube-cbrt`
6×	`distribute-lft-out`
5×	`times-frac` `associate-/l*`
4×	`prod-exp` `cbrt-unprod`
3×	`distribute-rgt-neg-in` `associate-r` `pow-prod-down`
2×	`cbrt-undiv` `neg-sub0` `associate-+l-` `flip3-+` `div-exp` `sum-log` `flip-+` `associate-/l/`
1×	`+-commutative` `sub-neg` `flip3--` `frac-2neg` `diff-log` `div-sub` `associate-l` `neg-log` `clear-num` `associate-/r` `-commutative` `flip--` `div-inv`

Counts

4 → 73

Calls

4 calls:

4.0ms	(- (* b b) (* (* 3.0 a) c))
6.0ms	(* (* 3.0 a) c)
13.0ms	(/ (+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
8.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))

series60.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(- (* b b) (* (* 3.0 a) c))
4.0ms	(* (* 3.0 a) c)
28.0ms	(/ (+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
16.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))

simplify33.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5005	1123

prune137.0ms

Filtered

59 candidates to 85 candidates (-44.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	79	6	85
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	80	6	86

Merged error: 0.4b

Counts

86 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

0.3b	(* 3.0 (* a c))
0.3b	(* 3.0 (* a c))
0.3b	(/ (+ (* 3.0 (* a c)) 0) (- (neg b) (sqrt (- (* b b) (* 3.0 (* a c))))))
0.4b	(/ (/ (+ (* 3.0 (* a c)) 0) (- (neg b) (sqrt (- (* b b) (* 3.0 (* a c)))))) (* 3.0 a))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
80×	`add-sqr-sqrt` `*-un-lft-identity`
40×	`add-cube-cbrt`
30×	`associate-/l*`
28×	`add-exp-log` `add-cbrt-cube`
20×	`distribute-lft-out--` `difference-of-squares`
14×	`pow1`
10×	`distribute-rgt-neg-in` `sqrt-prod`
8×	`prod-exp` `associate-/r*` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp`
6×	`associate-l` `pow-prod-down` `associate-/r/`
4×	`div-inv` `add-log-exp`
3×	`flip3--` `flip--` `associate-/l/`
2×	`frac-2neg` `associate-r` `clear-num` `*-commutative`
1×	`flip3-+` `flip-+`

Counts

4 → 157

Calls

4 calls:

5.0ms	(* 3.0 (* a c))
6.0ms	(* 3.0 (* a c))
16.0ms	(/ (+ (* 3.0 (* a c)) 0) (- (neg b) (sqrt (- (* b b) (* 3.0 (* a c))))))
22.0ms	(/ (/ (+ (* 3.0 (* a c)) 0) (- (neg b) (sqrt (- (* b b) (* 3.0 (* a c)))))) (* 3.0 a))

series122.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* 3.0 (* a c))
4.0ms	(* 3.0 (* a c))
66.0ms	(/ (+ (* 3.0 (* a c)) 0) (- (neg b) (sqrt (- (* b b) (* 3.0 (* a c))))))
48.0ms	(/ (/ (+ (* 3.0 (* a c)) 0) (- (neg b) (sqrt (- (* b b) (* 3.0 (* a c)))))) (* 3.0 a))

simplify53.0ms

Algorithm

egg-herbie

Counts

169 → 169

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4904	3674
1	4904	3674

prune295.0ms

Filtered

103 candidates to 169 candidates (-64.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	159	10	169
Fresh	5	0	5
Picked	1	0	1
Done	0	0	0
Total	165	10	175

Merged error: 0b

Counts

175 → 10

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(- (* b b) (* 3.0 (* a c)))
0.3b	(* 3.0 (* a c))
0.4b	(/ (/ (* 3.0 (neg a)) (/ (- (neg b) (sqrt (- (* b b) (* 3.0 (* a c))))) c)) (* 3.0 (neg a)))
0.4b	(/ (* 3.0 (neg a)) (/ (- (neg b) (sqrt (- (* b b) (* 3.0 (* a c))))) c))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

189×	`times-frac`
99×	`add-sqr-sqrt` `*-un-lft-identity`
62×	`add-exp-log` `add-cbrt-cube`
51×	`add-cube-cbrt`
31×	`associate-/l*`
28×	`cbrt-undiv` `div-exp`
26×	`associate-/r*`
24×	`distribute-lft-out--` `difference-of-squares`
14×	`prod-exp` `cbrt-unprod`
12×	`distribute-rgt-neg-in` `sqrt-prod`
9×	`pow1`
8×	`div-inv`
6×	`add-log-exp`
3×	`distribute-frac-neg` `associate-l` `pow-prod-down` `associate-/r/`
2×	`frac-2neg` `clear-num` `distribute-rgt-neg-out`
1×	`sub-neg` `flip3--` `diff-log` `associate-r` `*-commutative` `flip--` `associate-/l/`

Counts

4 → 194

Calls

4 calls:

4.0ms	(- (* b b) (* 3.0 (* a c)))
6.0ms	(* 3.0 (* a c))
24.0ms	(/ (/ (* 3.0 (neg a)) (/ (- (neg b) (sqrt (- (* b b) (* 3.0 (* a c))))) c)) (* 3.0 (neg a)))
16.0ms	(/ (* 3.0 (neg a)) (/ (- (neg b) (sqrt (- (* b b) (* 3.0 (* a c))))) c))

series133.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(- (* b b) (* 3.0 (* a c)))
4.0ms	(* 3.0 (* a c))
50.0ms	(/ (/ (* 3.0 (neg a)) (/ (- (neg b) (sqrt (- (* b b) (* 3.0 (* a c))))) c)) (* 3.0 (neg a)))
70.0ms	(/ (* 3.0 (neg a)) (/ (- (neg b) (sqrt (- (* b b) (* 3.0 (* a c))))) c))

simplify54.0ms

Algorithm

egg-herbie

Counts

206 → 206

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5047	4203

prune289.0ms

Filtered

121 candidates to 206 candidates (-70.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	204	2	206
Fresh	4	5	9
Picked	0	1	1
Done	0	0	0
Total	208	8	216

Merged error: 0b

Counts

216 → 8

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(- (neg b) (sqrt (- (* b b) (* 3.0 (* a c)))))
0.2b	(/ c (- (neg b) (sqrt (- (* b b) (* 3.0 (* a c))))))
0.2b	(- (* b b) (* 3.0 (* a c)))
0.3b	(* 3.0 (* a c))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

37×	`add-sqr-sqrt` `*-un-lft-identity`
21×	`times-frac`
17×	`add-cube-cbrt`
11×	`add-exp-log` `add-cbrt-cube`
10×	`distribute-lft-out--` `add-log-exp` `difference-of-squares`
9×	`pow1`
7×	`associate-/r*`
5×	`distribute-rgt-neg-in` `sqrt-prod`
3×	`flip3--` `diff-log` `associate-l` `pow-prod-down` `prod-exp` `flip--` `cbrt-unprod` `associate-/l*`
2×	`sub-neg` `associate-/r/`
1×	`cbrt-undiv` `associate--l-` `neg-sub0` `frac-2neg` `div-exp` `associate-r` `neg-log` `clear-num` `*-commutative` `div-inv`

Counts

4 → 93

Calls

4 calls:

9.0ms	(- (neg b) (sqrt (- (* b b) (* 3.0 (* a c)))))
10.0ms	(/ c (- (neg b) (sqrt (- (* b b) (* 3.0 (* a c))))))
4.0ms	(- (* b b) (* 3.0 (* a c)))
6.0ms	(* 3.0 (* a c))

series86.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(- (neg b) (sqrt (- (* b b) (* 3.0 (* a c)))))
55.0ms	(/ c (- (neg b) (sqrt (- (* b b) (* 3.0 (* a c))))))
10.0ms	(- (* b b) (* 3.0 (* a c)))
4.0ms	(* 3.0 (* a c))

simplify47.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4979	1674
1	4979	1674

prune126.0ms

Filtered

67 candidates to 105 candidates (-56.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	105	8	113

Merged error: 0b

Counts

113 → 8

regimes197.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	15
1	18	15

end0.0ms

sample2.3s

Algorithm

intervals

Results

493.0ms	16481×	pre	80	true
483.0ms	4544×	body	160	valid
451.0ms	8481×	body	80	nan
185.0ms	3456×	body	80	valid

Details

sample77.0ms

simplify3.0ms

prune8.0ms

localize14.0ms

rewrite33.0ms

series60.0ms

simplify33.0ms

prune137.0ms

localize15.0ms

rewrite58.0ms

series122.0ms

simplify53.0ms

prune295.0ms

localize16.0ms

rewrite61.0ms

series133.0ms

simplify54.0ms

prune289.0ms

localize16.0ms

rewrite32.0ms

series86.0ms

simplify47.0ms

prune126.0ms

regimes197.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.3s

Profiling