Details

sample66.0ms

Algorithm

intervals

Results

17.0ms	168×	body	160	valid
14.0ms	513×	pre	80	true
11.0ms	257×	body	80	nan
5.0ms	38×	body	320	valid
2.0ms	50×	body	80	valid

simplify12.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: 44.8b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.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))
9.0ms	(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

series254.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(- (* b b) (* (* 3.0 a) c))
24.0ms	(* (* 3.0 a) c)
105.0ms	(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
81.0ms	(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

simplify60.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 2 (52.0ms)

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

prune243.0ms

Filtered

105 candidates to 78 candidates (74.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	92	13	105
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	93	13	106

Merged error: 5.0b

Counts

106 → 13

localize4.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify3.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0

prune220.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	12	12
Picked	1	1
Done	0	0
Total	13	13

Merged error: 5.0b

Counts

13 → 13

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

rewrite23.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)
7.0ms	(* -1.5 (/ (* a c) b))
9.0ms	(/ (* -1.5 (/ (* a c) b)) (* 3.0 a))

series70.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify59.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (13.0ms)

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

prune171.0ms

Filtered

93 candidates to 54 candidates (58.1%)

Pruning

26 alts after pruning (25 fresh and 1 done)

	Pruned	Kept	Total
New	79	14	93
Fresh	0	11	11
Picked	1	0	1
Done	0	1	1
Total	80	26	106

Merged error: 4.9b

Counts

106 → 26

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)

series30.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify40.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 2 (34.0ms)

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

prune127.0ms

Filtered

79 candidates to 60 candidates (75.9%)

Pruning

31 alts after pruning (30 fresh and 1 done)

	Pruned	Kept	Total
New	66	13	79
Fresh	7	17	24
Picked	1	0	1
Done	0	1	1
Total	74	31	105

Merged error: 4.9b

Counts

105 → 31

regimes503.0ms

Accuracy

28.7% (4.8b remaining)

Error of 9.8b against oracle of 4.9b and baseline of 11.7b

bsearch3.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	27
1	27	27

end0.0ms

sample1.8s

Algorithm

intervals

Results

431.0ms	15823×	pre	80	true
418.0ms	4935×	body	160	valid
332.0ms	7823×	body	80	nan
170.0ms	1340×	body	320	valid
77.0ms	1725×	body	80	valid

Details

sample66.0ms

simplify12.0ms

prune2.0ms

localize11.0ms

rewrite33.0ms

series254.0ms

simplify60.0ms

prune243.0ms

localize4.0ms

rewrite0.0ms

series0.0ms

simplify3.0ms

prune220.0ms

localize8.0ms

rewrite23.0ms

series70.0ms

simplify59.0ms

prune171.0ms

localize7.0ms

rewrite13.0ms

series30.0ms

simplify40.0ms

prune127.0ms

regimes503.0ms

bsearch3.0ms

simplify2.0ms

end0.0ms

sample1.8s

Profiling