Details

sample68.0ms

Algorithm

intervals

Results

14.0ms	140×	body	160	valid
13.0ms	529×	pre	80	true
11.0ms	273×	body	80	nan
5.0ms	116×	body	80	valid

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

prune4.0ms

Filtered

1 candidates to 0 candidates (100.0%)

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

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.3b	(- (* 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))
27.6b	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))

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

3.0ms	(- (* b b) (* (* 3.0 a) c))
5.0ms	(* (* 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))))

series53.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(- (* b b) (* (* 3.0 a) c))
3.0ms	(* (* 3.0 a) c)
27.0ms	(/ (+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
15.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))

simplify51.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 2 (43.0ms)

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

prune353.0ms

Filtered

85 candidates to 59 candidates (30.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	76	9	85
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	77	9	86

Merged error: 0.5b

Counts

86 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* 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)))))
0.4b	(/ (/ (+ 0 (* 3.0 (* a c))) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

rewrite43.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×	`pow-prod-down` `associate-/r/`
4×	`associate-r` `associate-l` `div-inv` `add-log-exp`
3×	`flip3--` `flip--` `associate-/l/`
2×	`frac-2neg` `clear-num` `*-commutative`
1×	`flip3-+` `flip-+`

Counts

4 → 157

Calls

4 calls:

5.0ms	(* (* 3.0 a) c)
4.0ms	(* 3.0 (* a c))
12.0ms	(/ (+ 0 (* 3.0 (* a c))) (- (neg b) (sqrt (- (* 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))

series105.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* 3.0 a) c)
3.0ms	(* 3.0 (* a c))
55.0ms	(/ (+ 0 (* 3.0 (* a c))) (- (neg b) (sqrt (- (* 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))

simplify159.0ms

Algorithm

egg-herbie

Counts

169 → 169

Iterations

Useful iterations: 2 (131.0ms)

Iter	Nodes	Cost
0	628	2481
1	3322	2152
2	5002	2149

prune983.0ms

Filtered

169 candidates to 104 candidates (38.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	157	12	169
Fresh	8	0	8
Picked	1	0	1
Done	0	0	0
Total	166	12	178

Merged error: 0.0b

Counts

178 → 12

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* 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)))))
0.4b	(/ (/ (+ 0 (* (* 3.0 a) c)) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

rewrite44.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-r` `pow-prod-down` `associate-/r/`
4×	`div-inv` `add-log-exp`
3×	`flip3--` `flip--` `associate-/l/`
2×	`frac-2neg` `associate-l` `clear-num` `*-commutative`
1×	`flip3-+` `flip-+`

Counts

4 → 157

Calls

4 calls:

5.0ms	(* (* 3.0 a) c)
5.0ms	(* (* 3.0 a) c)
12.0ms	(/ (+ 0 (* (* 3.0 a) c)) (- (neg b) (sqrt (- (* 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))

series105.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* 3.0 a) c)
3.0ms	(* (* 3.0 a) c)
54.0ms	(/ (+ 0 (* (* 3.0 a) c)) (- (neg b) (sqrt (- (* 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))

simplify102.0ms

Algorithm

egg-herbie

Counts

169 → 169

Iterations

Useful iterations: 2 (81.0ms)

Iter	Nodes	Cost
0	571	2482
1	3060	2153
2	5003	2150

prune855.0ms

Filtered

169 candidates to 103 candidates (39.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	166	3	169
Fresh	5	6	11
Picked	0	1	1
Done	0	0	0
Total	171	10	181

Merged error: 0b

Counts

181 → 10

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite102.0ms

Algorithm

rewrite-expression-head

Rules

353×	`times-frac`
264×	`add-sqr-sqrt`
238×	`*-un-lft-identity`
152×	`add-cube-cbrt`
108×	`add-exp-log`
88×	`associate-r`
68×	`add-cbrt-cube`
55×	`div-exp`
42×	`distribute-lft-out--` `difference-of-squares`
30×	`cbrt-undiv`
28×	`prod-exp`
27×	`associate-l` `associate-/l*`
21×	`distribute-rgt-neg-in` `sqrt-prod`
18×	`cbrt-unprod`
15×	`associate-/r/`
13×	`div-inv`
11×	`pow1`
8×	`flip3--` `flip--` `unswap-sqr`
6×	`add-log-exp`
5×	`rec-exp` `1-exp`
4×	`pow-prod-down`
3×	`associate-/r*`
2×	`*-commutative`
1×	`frac-times` `sub-neg` `frac-2neg` `diff-log` `associate-r/` `associate-l/` `clear-num` `associate-/l/`

Counts

4 → 321

Calls

4 calls:

15.0ms	(/ (/ 1 (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) a)
4.0ms	(- (* b b) (* (* 3.0 a) c))
5.0ms	(* (* 3.0 a) c)
57.0ms	(* (/ 3.0 (/ 3.0 (* a c))) (/ (/ 1 (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) a))

series94.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(/ (/ 1 (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) a)
12.0ms	(- (* b b) (* (* 3.0 a) c))
4.0ms	(* (* 3.0 a) c)
44.0ms	(* (/ 3.0 (/ 3.0 (* a c))) (/ (/ 1 (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) a))

simplify79.0ms

Algorithm

egg-herbie

Counts

333 → 333

Iterations

Useful iterations: 1 (31.0ms)

Iter	Nodes	Cost
0	1504	5275
1	5001	4597

prune2.5s

Filtered

333 candidates to 185 candidates (44.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	332	1	333
Fresh	2	6	8
Picked	0	1	1
Done	0	1	1
Total	334	9	343

Merged error: 0b

Counts

343 → 9

regimes310.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample1.8s

Algorithm

intervals

Results

421.0ms	16569×	pre	80	true
368.0ms	4508×	body	160	valid
355.0ms	8569×	body	80	nan
148.0ms	3492×	body	80	valid

Details

sample68.0ms

simplify9.0ms

prune4.0ms

localize10.0ms

rewrite28.0ms

series53.0ms

simplify51.0ms

prune353.0ms

localize14.0ms

rewrite43.0ms

series105.0ms

simplify159.0ms

prune983.0ms

localize12.0ms

rewrite44.0ms

series105.0ms

simplify102.0ms

prune855.0ms

localize15.0ms

rewrite102.0ms

series94.0ms

simplify79.0ms

prune2.5s

regimes310.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.8s

Profiling