Details

sample61.0ms

Algorithm

intervals

Results

15.0ms	535×	pre	80	true
13.0ms	155×	body	160	valid
12.0ms	279×	body	80	nan
4.0ms	101×	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

prune2.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: 31.3b

Counts

2 → 1

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

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

series249.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(- (* b b) (* (* 3.0 a) c))
19.0ms	(* (* 3.0 a) c)
104.0ms	(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
79.0ms	(+ (- 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	419	716
1	1930	613
2	5002	608

prune161.0ms

Filtered

85 candidates to 59 candidates (69.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	80	5	85
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	81	5	86

Merged error: 0.5b

Counts

86 → 5

localize17.0ms

Local error

Found 4 expressions with local error:

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	(* 3.0 (* a c))
0.4b	(/ (/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

rewrite78.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)
30.0ms	(/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
5.0ms	(* 3.0 (* a c))
31.0ms	(/ (/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

series326.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(* (* 3.0 a) c)
160.0ms	(/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
20.0ms	(* 3.0 (* a c))
124.0ms	(/ (/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

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

prune430.0ms

Filtered

171 candidates to 107 candidates (62.6%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	158	13	171
Fresh	3	1	4
Picked	1	0	1
Done	0	0	0
Total	162	14	176

Merged error: 0.0b

Counts

176 → 14

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

58×	`add-exp-log`
40×	`add-cbrt-cube`
37×	`add-sqr-sqrt`
31×	`-un-lft-identity` `associate-r*`
24×	`times-frac`
23×	`prod-exp`
18×	`add-cube-cbrt`
16×	`pow1` `div-exp`
15×	`cbrt-unprod`
9×	`cbrt-undiv`
7×	`associate-l` `pow-prod-down`
6×	`associate-/l/` `distribute-lft-out--` `difference-of-squares`
4×	`frac-times` `flip3-+` `associate-*l/` `flip-+` `add-log-exp`
3×	`rec-exp` `distribute-rgt-neg-in` `1-exp` `sqrt-prod` `*-commutative` `unswap-sqr`
2×	`associate-*r/` `associate-/r/` `un-div-inv` `div-inv`
1×	`flip3--` `frac-2neg` `clear-num` `associate-/r` `flip--` `associate-/l`

Counts

4 → 125

Calls

4 calls:

5.0ms	(* (* 3.0 a) c)
5.0ms	(* 3.0 (* a c))
32.0ms	(/ (* (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (/ 1 (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))) (* 3.0 a))
37.0ms	(* (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (/ 1 (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))))

series335.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(* (* 3.0 a) c)
19.0ms	(* 3.0 (* a c))
131.0ms	(/ (* (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (/ 1 (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))) (* 3.0 a))
166.0ms	(* (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (/ 1 (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))))

simplify158.0ms

Algorithm

egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 2 (142.0ms)

Iter	Nodes	Cost
0	739	1895
1	4552	1333
2	5001	1301

prune317.0ms

Filtered

137 candidates to 81 candidates (59.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	136	1	137
Fresh	1	12	13
Picked	1	0	1
Done	0	0	0
Total	138	13	151

Merged error: 0.0b

Counts

151 → 13

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite93.0ms

Algorithm

rewrite-expression-head

Rules

136×	`pow1`
90×	`times-frac`
85×	`add-sqr-sqrt`
83×	`*-un-lft-identity`
74×	`pow-prod-down`
60×	`sqrt-pow1`
43×	`add-cube-cbrt`
30×	`associate-/l*`
25×	`add-exp-log` `add-cbrt-cube`
20×	`distribute-lft-out--` `difference-of-squares`
17×	`pow-prod-up`
14×	`sqrt-prod`
12×	`pow1/2`
11×	`pow-sqr`
10×	`distribute-rgt-neg-in`
8×	`associate-/r*`
7×	`cbrt-undiv` `div-exp` `associate-r`
6×	`prod-exp` `associate-/r/` `cbrt-unprod`
5×	`associate-l`
4×	`swap-sqr` `div-inv` `add-log-exp`
3×	`flip3--` `div-sub` `flip--` `associate-/l/`
2×	`associate-+l-` `frac-2neg` `clear-num` `*-commutative`
1×	`pow2` `flip3-+` `pow-plus` `sqrt-unprod` `rem-square-sqrt` `flip-+` `unswap-sqr`

Counts

4 → 207

Calls

4 calls:

5.0ms	(* (* 3.0 a) c)
28.0ms	(/ (+ (- (pow b 2) (pow b 2)) (* (sqrt (* (* 3.0 a) c)) (sqrt (* (* 3.0 a) c)))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
31.0ms	(/ (/ (+ (- (pow b 2) (pow b 2)) (* (sqrt (* (* 3.0 a) c)) (sqrt (* (* 3.0 a) c)))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))
16.0ms	(* (sqrt (* (* 3.0 a) c)) (sqrt (* (* 3.0 a) c)))

series802.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* (* 3.0 a) c)
380.0ms	(/ (+ (- (pow b 2) (pow b 2)) (* (sqrt (* (* 3.0 a) c)) (sqrt (* (* 3.0 a) c)))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
322.0ms	(/ (/ (+ (- (pow b 2) (pow b 2)) (* (sqrt (* (* 3.0 a) c)) (sqrt (* (* 3.0 a) c)))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))
73.0ms	(* (sqrt (* (* 3.0 a) c)) (sqrt (* (* 3.0 a) c)))

simplify166.0ms

Algorithm

egg-herbie

Counts

219 → 219

Iterations

Useful iterations: 2 (135.0ms)

Iter	Nodes	Cost
0	725	4126
1	4247	3189
2	5002	3142

prune412.0ms

Filtered

219 candidates to 115 candidates (52.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	216	3	219
Fresh	4	8	12
Picked	1	0	1
Done	0	0	0
Total	221	11	232

Merged error: 0b

Counts

232 → 11

regimes211.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	12
1	15	12

end0.0ms

sample1.7s

Algorithm

intervals

Results

454.0ms	16563×	pre	80	true
389.0ms	4462×	body	160	valid
364.0ms	8563×	body	80	nan
159.0ms	3538×	body	80	valid

Details

sample61.0ms

simplify11.0ms

prune2.0ms

localize13.0ms

rewrite32.0ms

series249.0ms

simplify55.0ms

prune161.0ms

localize17.0ms

rewrite78.0ms

series326.0ms

simplify112.0ms

prune430.0ms

localize18.0ms

rewrite83.0ms

series335.0ms

simplify158.0ms

prune317.0ms

localize19.0ms

rewrite93.0ms

series802.0ms

simplify166.0ms

prune412.0ms

regimes211.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.7s

Profiling