Details

sample1.1s

Algorithm

intervals

Results

23.0ms	276×	pre	80	true
15.0ms	147×	body	160	valid
9.0ms	109×	body	80	valid
1.0ms	20×	body	80	nan

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

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

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite29.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)
3.0ms	(- (* b b) (* (* 3.0 a) c))
11.0ms	(/ (+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
7.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))

series56.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* 3.0 a) c)
9.0ms	(- (* b b) (* (* 3.0 a) c))
25.0ms	(/ (+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
18.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))

simplify56.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 2 (48.0ms)

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

prune127.0ms

Filtered

85 candidates to 59 candidates (30.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	78	7	85
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	7	86

Merged error: 0.5b

Counts

86 → 7

localize15.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	(/ (+ 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`
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))
13.0ms	(/ (+ 0 (* 3.0 (* a c))) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
17.0ms	(/ (/ (+ 0 (* 3.0 (* a c))) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

series116.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify119.0ms

Algorithm

egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 2 (97.0ms)

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

prune306.0ms

Filtered

163 candidates to 102 candidates (37.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	150	13	163
Fresh	6	0	6
Picked	1	0	1
Done	0	0	0
Total	157	13	170

Merged error: 0b

Counts

170 → 13

localize12.0ms

Local error

Found 4 expressions with local error:

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

series117.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* 3.0 a) c)
9.0ms	(- (* b b) (* (* 3.0 a) c))
58.0ms	(/ (+ 0 (* (* 3.0 a) c)) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
47.0ms	(/ (/ (+ 0 (* (* 3.0 a) c)) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

simplify126.0ms

Algorithm

egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 2 (104.0ms)

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

prune280.0ms

Filtered

163 candidates to 102 candidates (37.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	162	1	163
Fresh	3	9	12
Picked	0	1	1
Done	0	0	0
Total	165	11	176

Merged error: 0b

Counts

176 → 11

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-exp-log` `add-cbrt-cube`
13×	`add-sqr-sqrt` `prod-exp` `cbrt-unprod`
11×	`pow1` `*-un-lft-identity`
8×	`associate-r`
7×	`add-cube-cbrt`
6×	`cbrt-undiv` `div-exp` `associate-l` `add-log-exp`
4×	`associate-*r/` `pow-prod-down`
3×	`sub-neg` `flip3--` `flip--`
2×	`distribute-rgt-in` `distribute-lft-in` `associate-/r/` `*-commutative` `distribute-lft-out--` `difference-of-squares`
1×	`distribute-rgt-neg-in` `frac-2neg` `times-frac` `diff-log` `clear-num` `associate-/r` `sqrt-prod` `div-inv` `associate-/l` `unswap-sqr`

Counts

4 → 85

Calls

4 calls:

4.0ms	(- (* b b) (* (* 3.0 a) c))
11.0ms	(* 3.0 (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
5.0ms	(* 3.0 (* a c))
14.0ms	(/ (* 3.0 (* a c)) (* 3.0 (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))))

series86.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(- (* b b) (* (* 3.0 a) c))
17.0ms	(* 3.0 (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
3.0ms	(* 3.0 (* a c))
58.0ms	(/ (* 3.0 (* a c)) (* 3.0 (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))))

simplify92.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 2 (83.0ms)

Iter	Nodes	Cost
0	500	967
1	3250	721
2	5001	706

prune107.0ms

Filtered

97 candidates to 58 candidates (40.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	94	3	97
Fresh	3	6	9
Picked	1	0	1
Done	0	1	1
Total	98	10	108

Merged error: 0b

Counts

108 → 10

regimes286.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	11
1	21	11

end0.0ms

sample2.3s

Algorithm

intervals

Results

459.0ms	4543×	body	160	valid
246.0ms	8475×	pre	80	true
181.0ms	3457×	body	80	valid
23.0ms	475×	body	80	nan

Details

sample1.1s

simplify12.0ms

prune3.0ms

localize10.0ms

rewrite29.0ms

series56.0ms

simplify56.0ms

prune127.0ms

localize15.0ms

rewrite44.0ms

series116.0ms

simplify119.0ms

prune306.0ms

localize12.0ms

rewrite44.0ms

series117.0ms

simplify126.0ms

prune280.0ms

localize17.0ms

rewrite37.0ms

series86.0ms

simplify92.0ms

prune107.0ms

regimes286.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.3s

Profiling