Details

sample49.0ms

Algorithm

intervals

Results

10.0ms	529×	pre	80	true
10.0ms	146×	body	160	valid
9.0ms	273×	body	80	nan
4.0ms	110×	body	80	valid

simplify11.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 (0.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.6b

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.3b	(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
28.5b	(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

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

series257.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(- (* b b) (* (* 3.0 a) c))
20.0ms	(* (* 3.0 a) c)
107.0ms	(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
82.0ms	(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

simplify58.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	419	716
1	1930	613
2	5002	608

prune170.0ms

Filtered

85 candidates to 59 candidates (69.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	81	4	85
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	82	4	86

Merged error: 0.4b

Counts

86 → 4

localize19.0ms

Local error

Found 4 expressions with local error:

0.3b	(* 3.0 (* a c))
0.3b	(* (* 3.0 a) c)
0.3b	(/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
0.3b	(/ (/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

rewrite75.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--` `div-sub` `flip--` `associate-/l/`
2×	`associate-+l-` `frac-2neg` `clear-num` `*-commutative`
1×	`flip3-+` `flip-+`

Counts

4 → 159

Calls

4 calls:

5.0ms	(* 3.0 (* a c))
7.0ms	(* (* 3.0 a) c)
26.0ms	(/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
29.0ms	(/ (/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

series342.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* 3.0 (* a c))
20.0ms	(* (* 3.0 a) c)
170.0ms	(/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
129.0ms	(/ (/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

simplify113.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 2 (87.0ms)

Iter	Nodes	Cost
0	684	3100
1	3307	2567
2	5001	2533

prune434.0ms

Filtered

171 candidates to 107 candidates (62.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	160	11	171
Fresh	3	0	3
Picked	1	0	1
Done	0	0	0
Total	164	11	175

Merged error: 0.0b

Counts

175 → 11

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

76×	`times-frac`
64×	`add-sqr-sqrt` `*-un-lft-identity`
37×	`add-exp-log` `add-cbrt-cube`
32×	`add-cube-cbrt`
16×	`distribute-lft-out--` `difference-of-squares`
14×	`pow1`
12×	`prod-exp` `cbrt-unprod`
10×	`cbrt-undiv` `div-exp` `associate-/r*` `div-inv`
8×	`distribute-rgt-neg-in` `sqrt-prod` `associate-/l*`
6×	`pow-prod-down`
4×	`associate-r` `associate-l` `add-log-exp`
2×	`frac-2neg` `clear-num` `associate-/r/` `*-commutative`
1×	`flip3--` `flip--` `associate-/l/`

Counts

4 → 143

Calls

4 calls:

6.0ms	(/ (* 3.0 (* a c)) 3.0)
15.0ms	(/ (/ (* 3.0 (* a c)) 3.0) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
5.0ms	(* 3.0 (* a c))
5.0ms	(* (* 3.0 a) c)

series247.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(/ (* 3.0 (* a c)) 3.0)
182.0ms	(/ (/ (* 3.0 (* a c)) 3.0) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
20.0ms	(* 3.0 (* a c))
25.0ms	(* (* 3.0 a) c)

simplify82.0ms

Algorithm

egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 2 (65.0ms)

Iter	Nodes	Cost
0	584	1858
1	3024	1667
2	5001	1653

prune320.0ms

Filtered

155 candidates to 92 candidates (59.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	150	5	155
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	155	11	166

Merged error: 0b

Counts

166 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite109.0ms

Algorithm

rewrite-expression-head

Rules

518×	`times-frac`
317×	`add-sqr-sqrt` `*-un-lft-identity`
173×	`add-cube-cbrt`
72×	`distribute-lft-out--` `difference-of-squares`
62×	`associate-/l*`
44×	`add-exp-log`
42×	`div-inv`
36×	`distribute-rgt-neg-in` `sqrt-prod`
32×	`add-cbrt-cube`
24×	`div-exp`
14×	`cbrt-undiv`
10×	`associate-/r*` `associate-/r/`
9×	`pow1`
7×	`prod-exp`
6×	`flip3--` `flip--` `add-log-exp`
5×	`cbrt-unprod`
4×	`1-exp`
3×	`associate-r` `pow-prod-down`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`sub-neg` `diff-log` `associate-l` `*-commutative`

Counts

4 → 358

Calls

4 calls:

6.0ms	(- (* b b) (* (* 3.0 a) c))
41.0ms	(/ (/ (/ (* a c) 1) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) a)
21.0ms	(/ (/ (* a c) 1) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
5.0ms	(* (* 3.0 a) c)

series405.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(- (* b b) (* (* 3.0 a) c))
160.0ms	(/ (/ (/ (* a c) 1) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) a)
179.0ms	(/ (/ (* a c) 1) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
20.0ms	(* (* 3.0 a) c)

simplify91.0ms

Algorithm

egg-herbie

Counts

370 → 370

Iterations

Useful iterations: 1 (31.0ms)

Iter	Nodes	Cost
0	1215	6510
1	5001	6106

prune667.0ms

Filtered

370 candidates to 199 candidates (53.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	366	4	370
Fresh	5	5	10
Picked	1	0	1
Done	0	0	0
Total	372	9	381

Merged error: 0b

Counts

381 → 9

regimes159.0ms

Accuracy

0% (0.3b 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	24	16
1	24	16

end0.0ms

sample1.3s

Algorithm

intervals

Results

312.0ms	16467×	pre	80	true
302.0ms	4495×	body	160	valid
264.0ms	8467×	body	80	nan
120.0ms	3505×	body	80	valid

Details

sample49.0ms

simplify11.0ms

prune3.0ms

localize14.0ms

rewrite30.0ms

series257.0ms

simplify58.0ms

prune170.0ms

localize19.0ms

rewrite75.0ms

series342.0ms

simplify113.0ms

prune434.0ms

localize16.0ms

rewrite38.0ms

series247.0ms

simplify82.0ms

prune320.0ms

localize14.0ms

rewrite109.0ms

series405.0ms

simplify91.0ms

prune667.0ms

regimes159.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling