Details

sample48.0ms

Algorithm

intervals

Results

26.0ms	397×	body	80	valid
6.0ms	148×	body	80	nan

simplify109.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (4.0ms)

Iter	Nodes	Cost
0	24	7
1	48	7
2	96	6
3	256	6
4	891	6
5	3963	6
6	5002	6

prune7.0ms

Filtered

1 candidates to 1 candidates (100.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: 1.6b

Counts

2 → 2

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 63

Calls

3 calls:

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

series194.0ms

Counts

3 → 9

Calls

3 calls:

60.0ms	(* a (pow k m))
18.0ms	(+ (+ 1.0 (* 10.0 k)) (* k k))
115.0ms	(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify54.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	405	548
1	1965	482
2	5001	475

prune149.0ms

Filtered

72 candidates to 53 candidates (73.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	69	3	72
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	70	4	74

Merged error: 1.6b

Counts

74 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 120

Calls

3 calls:

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

series207.0ms

Counts

3 → 9

Calls

3 calls:

39.0ms	(* k (+ 10.0 k))
67.0ms	(/ (pow k m) (+ (* k (+ 10.0 k)) 1.0))
101.0ms	(* (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)) a)

simplify69.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	608	1105
1	2523	1041
2	5001	1035

prune258.0ms

Filtered

129 candidates to 98 candidates (76.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	129	4	133

Merged error: 1.6b

Counts

133 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

116×	`add-sqr-sqrt`
92×	`times-frac`
52×	`sqrt-prod`
48×	`associate-r`
46×	`add-cube-cbrt` `*-un-lft-identity`
28×	`add-exp-log`
24×	`unpow-prod-down` `associate-l`
21×	`unswap-sqr`
16×	`add-cbrt-cube`
12×	`sqr-pow`
10×	`div-exp`
9×	`add-log-exp`
8×	`pow1` `sqrt-div` `prod-exp`
5×	`flip3-+` `flip-+`
4×	`cbrt-undiv` `associate-/r/` `cbrt-unprod`
3×	`sum-log`
2×	`pow-to-exp` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `pow-exp` `div-inv`
1×	`+-commutative` `frac-times` `associate-+l+` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 160

Calls

4 calls:

5.0ms	(+ (+ 1.0 (* 10.0 k)) (* k k))
32.0ms	(* (/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
4.0ms	(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
4.0ms	(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))

series230.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(+ (+ 1.0 (* 10.0 k)) (* k k))
116.0ms	(* (/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
45.0ms	(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
51.0ms	(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify94.0ms

Algorithm

egg-herbie

Counts

172 → 172

Iterations

Useful iterations: 2 (70.0ms)

Iter	Nodes	Cost
0	859	2730
1	3871	2549
2	5001	2435

prune370.0ms

Filtered

172 candidates to 112 candidates (65.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	172	0	172
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	172	4	176

Merged error: 1.6b

Counts

176 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

3.0b	(/ a (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
14.0b	(cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
14.0b	(cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
14.0b	(cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-div`
9×	`add-exp-log` `cbrt-prod` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `flip-+`
8×	`associate-/r/`
7×	`add-cbrt-cube`
4×	`pow1` `frac-times` `add-log-exp`
3×	`times-frac` `pow1/3` `associate-/l*`
2×	`cbrt-undiv` `associate-r/` `div-exp` `associate-l/`
1×	`frac-2neg` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv`

Counts

4 → 68

Calls

4 calls:

12.0ms	(/ a (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
4.0ms	(cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
4.0ms	(cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
4.0ms	(cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))

series513.0ms

Counts

4 → 12

Calls

4 calls:

195.0ms	(/ a (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
105.0ms	(cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
104.0ms	(cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
108.0ms	(cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify124.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 2 (31.0ms)

Iter	Nodes	Cost
0	374	1027
1	1215	931
2	4304	905
3	5002	905

prune266.0ms

Filtered

80 candidates to 72 candidates (90.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	80	4	84

Merged error: 1.6b

Counts

84 → 4

regimes64.0ms

Accuracy

0% (0.0b remaining)

Error of 2.0b against oracle of 2.0b and baseline of 2.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	6
1	15	6

end0.0ms

sample1.3s

Algorithm

intervals

Results

794.0ms	11939×	body	80	valid
179.0ms	4326×	body	80	nan

Details

sample48.0ms

simplify109.0ms

prune7.0ms

localize10.0ms

rewrite19.0ms

series194.0ms

simplify54.0ms

prune149.0ms

localize9.0ms

rewrite36.0ms

series207.0ms

simplify69.0ms

prune258.0ms

localize17.0ms

rewrite52.0ms

series230.0ms

simplify94.0ms

prune370.0ms

localize14.0ms

rewrite26.0ms

series513.0ms

simplify124.0ms

prune266.0ms

regimes64.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling