Details

sample65.0ms

Algorithm

intervals

Results

16.0ms	155×	body	160	valid
15.0ms	535×	pre	80	true
11.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	22	9
1	43	9
2	83	9
3	110	9
4	118	9
5	118	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

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

22×	`*-un-lft-identity`
14×	`add-exp-log` `add-cbrt-cube`
10×	`add-sqr-sqrt` `add-cube-cbrt` `fma-def` `add-log-exp`
9×	`pow1`
6×	`distribute-rgt-neg-in` `distribute-lft-out`
5×	`times-frac` `associate-/l*`
4×	`expm1-log1p-u` `prod-exp` `cbrt-unprod` `log1p-expm1-u`
3×	`distribute-lft-neg-in` `associate-r` `pow-prod-down`
2×	`cbrt-undiv` `neg-sub0` `associate-+l-` `flip3-+` `div-exp` `sum-log` `flip-+` `associate-/l/`
1×	`+-commutative` `neg-mul-1` `sub-neg` `flip3--` `frac-2neg` `fma-neg` `diff-log` `div-sub` `associate-l` `prod-diff` `neg-log` `clear-num` `associate-/r` `-commutative` `flip--` `div-inv`

Counts

4 → 93

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))))

series248.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(- (* b b) (* (* 3.0 a) c))
19.0ms	(* (* 3.0 a) c)
108.0ms	(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
78.0ms	(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

simplify59.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 2 (51.0ms)

Iter	Nodes	Cost
0	449	785
1	2075	672
2	5002	663

prune254.0ms

Filtered

105 candidates to 78 candidates (74.3%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	88	17	105
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	89	17	106

Merged error: 9.5b

Counts

106 → 17

localize3.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify2.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0

prune37.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	16	16
Picked	1	1
Done	0	0
Total	17	17

Merged error: 9.5b

Counts

17 → 17

localize7.0ms

Local error

Found 3 expressions with local error:

0.2b	(* -1.5 (/ (* a c) b))
0.2b	(/ (* a c) b)
0.4b	(/ (* -1.5 (/ (* a c) b)) (* 3.0 a))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-exp-log` `add-cbrt-cube`
17×	`prod-exp` `cbrt-unprod`
16×	`cbrt-undiv` `div-exp`
10×	`add-sqr-sqrt`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`times-frac` `associate-r`
5×	`pow1`
4×	`associate-/r*`
3×	`expm1-log1p-u` `associate-l` `log1p-expm1-u` `div-inv` `add-log-exp`
2×	`frac-2neg` `associate-r/` `clear-num` `associate-/l`
1×	`pow-prod-down` `*-commutative` `associate-/l/` `unswap-sqr`

Counts

3 → 84

Calls

3 calls:

9.0ms	(* -1.5 (/ (* a c) b))
4.0ms	(/ (* a c) b)
9.0ms	(/ (* -1.5 (/ (* a c) b)) (* 3.0 a))

series65.0ms

Counts

3 → 9

Calls

3 calls:

26.0ms	(* -1.5 (/ (* a c) b))
18.0ms	(/ (* a c) b)
20.0ms	(/ (* -1.5 (/ (* a c) b)) (* 3.0 a))

simplify58.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	383	531
1	2513	389
2	5002	389

prune190.0ms

Filtered

93 candidates to 54 candidates (58.1%)

Pruning

31 alts after pruning (30 fresh and 1 done)

	Pruned	Kept	Total
New	78	15	93
Fresh	0	15	15
Picked	1	0	1
Done	0	1	1
Total	79	31	110

Merged error: 9.5b

Counts

110 → 31

localize7.0ms

Local error

Found 3 expressions with local error:

0.2b	(* -1.5 (/ a (/ b c)))
0.3b	(/ a (/ b c))
0.4b	(/ (* -1.5 (/ a (/ b c))) (* 3.0 a))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

145×	`times-frac`
90×	`add-sqr-sqrt`
81×	`add-cube-cbrt` `*-un-lft-identity`
49×	`add-exp-log` `add-cbrt-cube`
44×	`associate-r`
20×	`cbrt-undiv` `div-exp`
14×	`associate-/r*`
13×	`prod-exp` `cbrt-unprod`
10×	`div-inv`
5×	`pow1`
4×	`associate-/l*`
3×	`expm1-log1p-u` `associate-l` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`frac-2neg` `associate-*r/` `clear-num` `associate-/r/`
1×	`pow-prod-down` `*-commutative` `associate-/l/`

Counts

3 → 172

Calls

3 calls:

14.0ms	(* -1.5 (/ a (/ b c)))
6.0ms	(/ a (/ b c))
11.0ms	(/ (* -1.5 (/ a (/ b c))) (* 3.0 a))

series72.0ms

Counts

3 → 9

Calls

3 calls:

27.0ms	(* -1.5 (/ a (/ b c)))
25.0ms	(/ a (/ b c))
20.0ms	(/ (* -1.5 (/ a (/ b c))) (* 3.0 a))

simplify99.0ms

Algorithm

egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 1 (19.0ms)

Iter	Nodes	Cost
0	720	1132
1	4243	985
2	5002	985

prune515.0ms

Filtered

181 candidates to 136 candidates (75.1%)

Pruning

37 alts after pruning (36 fresh and 1 done)

	Pruned	Kept	Total
New	167	14	181
Fresh	7	22	29
Picked	1	0	1
Done	0	1	1
Total	175	37	212

Merged error: 9.4b

Counts

212 → 37

regimes757.0ms

Accuracy

57.2% (5.9b remaining)

Error of 14.9b against oracle of 9.0b and baseline of 22.8b

bsearch4.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	27
1	27	27

end0.0ms

sample1.7s

Algorithm

intervals

Results

451.0ms	16563×	pre	80	true
375.0ms	4462×	body	160	valid
360.0ms	8563×	body	80	nan
159.0ms	3538×	body	80	valid

Details

sample65.0ms

simplify11.0ms

prune2.0ms

localize10.0ms

rewrite32.0ms

series248.0ms

simplify59.0ms

prune254.0ms

localize3.0ms

rewrite0.0ms

series0.0ms

simplify2.0ms

prune37.0ms

localize7.0ms

rewrite25.0ms

series65.0ms

simplify58.0ms

prune190.0ms

localize7.0ms

rewrite39.0ms

series72.0ms

simplify99.0ms

prune515.0ms

regimes757.0ms

bsearch4.0ms

simplify1.0ms

end0.0ms

sample1.7s

Profiling