Details

sample70.0ms

Algorithm

intervals

Results

15.0ms	116×	body	320	valid
14.0ms	502×	pre	80	true
11.0ms	246×	body	80	nan
9.0ms	98×	body	160	valid
3.0ms	16×	body	640	valid
1.0ms	26×	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: 53.5b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b	(- (* b b) (* (* 3.0 a) c))
0.2b	(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
0.3b	(* (* 3.0 a) c)
27.5b	(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

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

series246.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(- (* b b) (* (* 3.0 a) c))
103.0ms	(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
19.0ms	(* (* 3.0 a) c)
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

prune229.0ms

Filtered

105 candidates to 78 candidates (74.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	95	10	105
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	96	10	106

Merged error: 2.9b

Counts

106 → 10

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

prune22.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	9	9
Picked	1	1
Done	0	0
Total	10	10

Merged error: 2.9b

Counts

10 → 10

localize7.0ms

Local error

Found 3 expressions with local error:

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

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

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

series68.0ms

Counts

3 → 9

Calls

3 calls:

18.0ms	(/ (* a c) b)
27.0ms	(* -1.5 (/ (* a c) b))
23.0ms	(/ (* -1.5 (/ (* a c) b)) (* 3.0 a))

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

prune156.0ms

Filtered

93 candidates to 54 candidates (58.1%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	84	9	93
Fresh	0	8	8
Picked	1	0	1
Done	0	1	1
Total	85	18	103

Merged error: 2.9b

Counts

103 → 18

localize7.0ms

Local error

Found 2 expressions with local error:

0.2b	(/ (* a c) b)
0.3b	(/ (/ (* a c) b) a)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
20×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
16×	`add-exp-log` `add-cbrt-cube`
8×	`associate-/l*`
7×	`cbrt-undiv` `div-exp`
6×	`associate-/r*` `div-inv`
2×	`pow1` `expm1-log1p-u` `frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `log1p-expm1-u` `add-log-exp`
1×	`associate-/l/`

Counts

2 → 73

Calls

2 calls:

4.0ms	(/ (* a c) b)
6.0ms	(/ (/ (* a c) b) a)

series26.0ms

Counts

2 → 6

Calls

2 calls:

18.0ms	(/ (* a c) b)
8.0ms	(/ (/ (* a c) b) a)

simplify38.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	291	399
1	1325	355
2	5002	331

prune124.0ms

Filtered

79 candidates to 60 candidates (75.9%)

Pruning

21 alts after pruning (20 fresh and 1 done)

	Pruned	Kept	Total
New	73	6	79
Fresh	2	14	16
Picked	1	0	1
Done	0	1	1
Total	76	21	97

Merged error: 2.8b

Counts

97 → 21

regimes330.0ms

Accuracy

0% (3.5b remaining)

Error of 6.1b against oracle of 2.6b and baseline of 6.1b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	2
1	6	2

end0.0ms

sample2.1s

Algorithm

intervals

Results

489.0ms	3649×	body	320	valid
450.0ms	16053×	pre	80	true
366.0ms	8053×	body	80	nan
265.0ms	2925×	body	160	valid
93.0ms	522×	body	640	valid
42.0ms	904×	body	80	valid

Details

sample70.0ms

simplify11.0ms

prune2.0ms

localize10.0ms

rewrite35.0ms

series246.0ms

simplify59.0ms

prune229.0ms

localize3.0ms

rewrite0.0ms

series0.0ms

simplify2.0ms

prune22.0ms

localize7.0ms

rewrite22.0ms

series68.0ms

simplify57.0ms

prune156.0ms

localize7.0ms

rewrite13.0ms

series26.0ms

simplify38.0ms

prune124.0ms

regimes330.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.1s

Profiling