Details

sample56.0ms

Algorithm

intervals

Results

28.0ms	375×	body	80	valid
5.0ms	128×	body	80	nan

simplify82.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4961	13
1	4961	13

prune11.0ms

Filtered

1 candidates to 1 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: 3.3b

Counts

2 → 2

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 1.0 (* 10.0 k))
0.0b	(+ (+ 1.0 (* 10.0 k)) (* k k))
0.0b	(* a (pow k m))
3.3b	(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-exp-log`
14×	`add-sqr-sqrt`
11×	`add-cbrt-cube` `add-log-exp`
9×	`add-cube-cbrt` `*-un-lft-identity`
7×	`associate-r`
6×	`prod-exp`
4×	`pow1` `unpow-prod-down` `div-exp` `sum-log`
3×	`flip3-+` `times-frac` `associate-l` `associate-/r*` `flip-+` `unswap-sqr`
2×	`cbrt-undiv` `+-commutative` `pow-to-exp` `pow-exp` `associate-/r/` `cbrt-unprod` `sqr-pow`
1×	`associate-+l+` `frac-2neg` `clear-num` `-commutative` `div-inv` `associate-/l`

Counts

4 → 74

Calls

4 calls:

3.0ms	(+ 1.0 (* 10.0 k))
5.0ms	(+ (+ 1.0 (* 10.0 k)) (* k k))
5.0ms	(* a (pow k m))
9.0ms	(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

series55.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(+ 1.0 (* 10.0 k))
3.0ms	(+ (+ 1.0 (* 10.0 k)) (* k k))
17.0ms	(* a (pow k m))
32.0ms	(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify52.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4953	920
1	4953	920

prune112.0ms

Filtered

60 candidates to 86 candidates (-43.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	82	4	86
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	83	5	88

Merged error: 0.0b

Counts

88 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 1.0 (* k (+ k 10.0)))
0.0b	(* k (+ k 10.0))
0.0b	(/ (pow k m) (+ 1.0 (* k (+ k 10.0))))
3.3b	(* a (/ (pow k m) (+ 1.0 (* k (+ k 10.0)))))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-sqr-sqrt`
45×	`times-frac`
39×	`*-un-lft-identity`
37×	`add-cube-cbrt`
31×	`associate-r`
22×	`unpow-prod-down`
21×	`add-exp-log`
13×	`add-cbrt-cube`
8×	`pow1` `sqr-pow`
7×	`associate-/l*`
6×	`div-exp` `associate-l` `add-log-exp`
5×	`prod-exp` `unswap-sqr`
4×	`flip3-+` `associate-/r/` `flip-+`
3×	`associate-r/` `associate-/r` `cbrt-unprod`
2×	`cbrt-undiv` `distribute-rgt-in` `pow-to-exp` `associate-+r+` `distribute-lft-in` `pow-prod-down` `pow-exp` `*-commutative` `div-inv`
1×	`+-commutative` `frac-2neg` `clear-num` `sum-log` `distribute-lft-out`

Counts

4 → 133

Calls

4 calls:

3.0ms	(+ 1.0 (* k (+ k 10.0)))
6.0ms	(* k (+ k 10.0))
6.0ms	(/ (pow k m) (+ 1.0 (* k (+ k 10.0))))
11.0ms	(* a (/ (pow k m) (+ 1.0 (* k (+ k 10.0)))))

series57.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(+ 1.0 (* k (+ k 10.0)))
4.0ms	(* k (+ k 10.0))
15.0ms	(/ (pow k m) (+ 1.0 (* k (+ k 10.0))))
35.0ms	(* a (/ (pow k m) (+ 1.0 (* k (+ k 10.0)))))

simplify50.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5034	2115

prune169.0ms

Filtered

106 candidates to 145 candidates (-36.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	145	5	150

Merged error: 0.0b

Counts

150 → 5

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 1.0 (* k (+ k 10.0)))
0.0b	(* a (pow k m))
0.4b	(/ 1 (/ (+ 1.0 (* k (+ k 10.0))) (* a (pow k m))))
3.1b	(/ (+ 1.0 (* k (+ k 10.0))) (* a (pow k m)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

57×	`add-exp-log`
36×	`times-frac`
30×	`add-sqr-sqrt`
26×	`div-exp`
25×	`add-cube-cbrt` `*-un-lft-identity`
20×	`add-cbrt-cube`
15×	`prod-exp`
8×	`associate-/r*`
7×	`cbrt-undiv` `associate-r`
6×	`div-inv` `associate-/l*` `add-log-exp`
5×	`pow1` `pow-to-exp` `rec-exp` `1-exp` `pow-exp`
4×	`unpow-prod-down`
3×	`associate-l` `cbrt-unprod` `unswap-sqr`
2×	`associate-+r+` `frac-2neg` `flip3-+` `clear-num` `flip-+` `associate-/l/` `sqr-pow`
1×	`+-commutative` `distribute-rgt-in` `pow-flip` `distribute-lft-in` `sum-log` `associate-/r/` `*-commutative` `inv-pow`

Counts

4 → 125

Calls

4 calls:

3.0ms	(+ 1.0 (* k (+ k 10.0)))
5.0ms	(* a (pow k m))
8.0ms	(/ 1 (/ (+ 1.0 (* k (+ k 10.0))) (* a (pow k m))))
7.0ms	(/ (+ 1.0 (* k (+ k 10.0))) (* a (pow k m)))

series78.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(+ 1.0 (* k (+ k 10.0)))
17.0ms	(* a (pow k m))
29.0ms	(/ 1 (/ (+ 1.0 (* k (+ k 10.0))) (* a (pow k m))))
29.0ms	(/ (+ 1.0 (* k (+ k 10.0))) (* a (pow k m)))

simplify63.0ms

Algorithm

egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4975	1986
1	4975	1986

prune143.0ms

Filtered

83 candidates to 137 candidates (-65.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	135	2	137
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	137	5	142

Merged error: 0.0b

Counts

142 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 1.0 (* k (+ k 10.0)))
0.0b	(/ (pow k (neg m)) a)
0.4b	(/ 1 (* (+ 1.0 (* k (+ k 10.0))) (/ (pow k (neg m)) a)))
3.1b	(* (+ 1.0 (* k (+ k 10.0))) (/ (pow k (neg m)) a))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

57×	`add-exp-log`
48×	`times-frac`
47×	`add-sqr-sqrt`
37×	`add-cube-cbrt` `*-un-lft-identity`
25×	`div-exp` `associate-r`
22×	`unpow-prod-down`
20×	`add-cbrt-cube`
16×	`prod-exp`
10×	`associate-/l*`
9×	`pow1`
8×	`sqr-pow`
6×	`cbrt-undiv` `add-log-exp`
5×	`pow-to-exp` `rec-exp` `flip3-+` `1-exp` `pow-exp` `associate-/r/` `flip-+`
4×	`frac-times` `associate-l/` `associate-/r` `cbrt-unprod` `unswap-sqr`
3×	`associate-l` `div-inv`
2×	`associate-+r+` `pow-flip` `frac-2neg` `associate-*r/` `pow-prod-down` `clear-num` `associate-/l/`
1×	`+-commutative` `neg-sub0` `distribute-rgt-in` `pow-neg` `distribute-lft-in` `sum-log` `*-commutative` `inv-pow` `pow-sub`

Counts

4 → 155

Calls

4 calls:

3.0ms	(+ 1.0 (* k (+ k 10.0)))
5.0ms	(/ (pow k (neg m)) a)
9.0ms	(/ 1 (* (+ 1.0 (* k (+ k 10.0))) (/ (pow k (neg m)) a)))
11.0ms	(* (+ 1.0 (* k (+ k 10.0))) (/ (pow k (neg m)) a))

series97.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(+ 1.0 (* k (+ k 10.0)))
19.0ms	(/ (pow k (neg m)) a)
41.0ms	(/ 1 (* (+ 1.0 (* k (+ k 10.0))) (/ (pow k (neg m)) a)))
33.0ms	(* (+ 1.0 (* k (+ k 10.0))) (/ (pow k (neg m)) a))

simplify72.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4951	2336
1	4951	2336

prune171.0ms

Filtered

115 candidates to 167 candidates (-45.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	167	0	167
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	167	5	172

Merged error: 0.0b

Counts

172 → 5

regimes184.0ms

Accuracy

97.6% (0.0b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 1.7b

bsearch22.0ms

Steps

Iters	Range		Point
6	1.3126810362340824e+82	1.4691140729144325e+83	5.864751596688779e+82

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	44	42
1	44	42

end0.0ms

sample1.6s

Algorithm

intervals

Results

826.0ms	11899×	body	80	valid
197.0ms	4223×	body	80	nan

Details

sample56.0ms

simplify82.0ms

prune11.0ms

localize10.0ms

rewrite23.0ms

series55.0ms

simplify52.0ms

prune112.0ms

localize9.0ms

rewrite30.0ms

series57.0ms

simplify50.0ms

prune169.0ms

localize13.0ms

rewrite27.0ms

series78.0ms

simplify63.0ms

prune143.0ms

localize14.0ms

rewrite34.0ms

series97.0ms

simplify72.0ms

prune171.0ms

regimes184.0ms

bsearch22.0ms

simplify1.0ms

end0.0ms

sample1.6s

Profiling