Details

sample70.0ms

Algorithm

intervals

Results

15.0ms	265×	body	80	nan
14.0ms	521×	pre	80	true
14.0ms	154×	body	160	valid
5.0ms	102×	body	80	valid

simplify10.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	9
1	42	9
2	76	9
3	94	9
4	102	9
5	102	9

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 29.3b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

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

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

5.0ms	(* (* 3.0 a) c)
6.0ms	(- (* b b) (* (* 3.0 a) c))
11.0ms	(/ (+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
8.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))

series51.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* 3.0 a) c)
8.0ms	(- (* b b) (* (* 3.0 a) c))
25.0ms	(/ (+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
14.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))

simplify55.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	417	711
1	1922	611
2	5001	602

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

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 151

Calls

4 calls:

3.0ms	(- (* b b) (* (* 3.0 a) c))
5.0ms	(* 3.0 (* a c))
17.0ms	(/ (/ (+ 0 (* 3.0 (* a c))) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))
12.0ms	(/ (+ 0 (* 3.0 (* a c))) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))))

series111.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(- (* b b) (* (* 3.0 a) c))
3.0ms	(* 3.0 (* a c))
43.0ms	(/ (/ (+ 0 (* 3.0 (* a c))) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))
56.0ms	(/ (+ 0 (* 3.0 (* a c))) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))))

simplify121.0ms

Algorithm

egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 2 (99.0ms)

Iter	Nodes	Cost
0	651	2507
1	3312	2195
2	5001	2183

prune476.0ms

Filtered

102 candidates to 163 candidates (-59.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	153	10	163
Fresh	4	1	5
Picked	1	0	1
Done	0	0	0
Total	158	11	169

Merged error: 0b

Counts

169 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 151

Calls

4 calls:

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

series108.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* 3.0 a) c)
8.0ms	(- (* b b) (* (* 3.0 a) c))
44.0ms	(/ (/ (+ 0 (* (* 3.0 a) c)) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))
53.0ms	(/ (+ 0 (* (* 3.0 a) c)) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))))

simplify121.0ms

Algorithm

egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 2 (100.0ms)

Iter	Nodes	Cost
0	631	2508
1	3520	2189
2	5001	2186

prune270.0ms

Filtered

102 candidates to 163 candidates (-59.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	161	2	163
Fresh	4	6	10
Picked	0	1	1
Done	0	0	0
Total	165	9	174

Merged error: 0b

Counts

174 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

118×	`add-exp-log`
77×	`add-cbrt-cube`
68×	`times-frac`
52×	`div-exp`
51×	`add-sqr-sqrt` `*-un-lft-identity`
44×	`prod-exp`
30×	`cbrt-undiv`
27×	`add-cube-cbrt`
26×	`associate-/r*`
25×	`cbrt-unprod`
12×	`distribute-lft-out--` `difference-of-squares`
10×	`1-exp`
9×	`pow1`
6×	`distribute-rgt-neg-in` `sqrt-prod` `add-log-exp`
4×	`div-inv`
3×	`associate-r` `pow-prod-down`
2×	`frac-2neg` `clear-num` `associate-/l*`
1×	`sub-neg` `flip3--` `diff-log` `associate-r/` `associate-l` `associate-/r/` `-commutative` `flip--` `associate-/l/`

Counts

4 → 148

Calls

4 calls:

5.0ms	(* (* 3.0 a) c)
4.0ms	(- (* b b) (* (* 3.0 a) c))
19.0ms	(/ (* 1 (/ (* 3.0 a) (/ (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) c))) (* 3.0 a))
17.0ms	(/ (* 3.0 a) (/ (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) c))

series116.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* 3.0 a) c)
8.0ms	(- (* b b) (* (* 3.0 a) c))
44.0ms	(/ (* 1 (/ (* 3.0 a) (/ (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) c))) (* 3.0 a))
60.0ms	(/ (* 3.0 a) (/ (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) c))

simplify47.0ms

Algorithm

egg-herbie

Counts

160 → 160

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	873	2226
1	5002	1781

prune164.0ms

Filtered

83 candidates to 160 candidates (-92.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	160	0	160
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	160	9	169

Merged error: 0b

Counts

169 → 9

regimes285.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	13
1	20	13
2	20	13

end0.0ms

sample2.0s

Algorithm

intervals

Results

452.0ms	16416×	pre	80	true
419.0ms	4465×	body	160	valid
401.0ms	8416×	body	80	nan
175.0ms	3534×	body	80	valid
0.0ms	1×	body	320	valid

Details

sample70.0ms

simplify10.0ms

prune3.0ms

localize10.0ms

rewrite31.0ms

series51.0ms

simplify55.0ms

prune126.0ms

localize14.0ms

rewrite43.0ms

series111.0ms

simplify121.0ms

prune476.0ms

localize13.0ms

rewrite45.0ms

series108.0ms

simplify121.0ms

prune270.0ms

localize14.0ms

rewrite52.0ms

series116.0ms

simplify47.0ms

prune164.0ms

regimes285.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.0s

Profiling