Details

analyze987.0ms

Algorithm: search

sample41.0ms

Algorithm

intervals

Results

17.0ms	256×	body	80	valid
7.0ms	83×	body	80	invalid
3.0ms	73×	body	80	nan

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

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: 2.2b

Counts

2 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(* k (+ 10.0 k))
0.1b	(/ (pow k m) (+ (* k (+ 10.0 k)) 1.0))
2.2b	(* (/ (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:

6.0ms	(* k (+ 10.0 k))
9.0ms	(/ (pow k m) (+ (* k (+ 10.0 k)) 1.0))
16.0ms	(* (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)) a)

series49.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(* k (+ 10.0 k))
16.0ms	(/ (pow k m) (+ (* k (+ 10.0 k)) 1.0))
29.0ms	(* (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)) a)

simplify70.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 1 (15.0ms)

Iter	Nodes	Cost
0	627	1119
1	2587	1052
2	5001	1052

prune188.0ms

Filtered

98 candidates to 129 candidates (-31.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	124	5	129
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	126	5	131

Merged error: 2.2b

Counts

131 → 5

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 73

Calls

3 calls:

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

series60.0ms

Counts

3 → 9

Calls

3 calls:

24.0ms	(* (pow k m) a)
4.0ms	(* k (+ 10.0 k))
31.0ms	(/ (* (pow k m) a) (+ (* k (+ 10.0 k)) 1.0))

simplify57.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	453	504
1	2088	452
2	5002	442

prune91.0ms

Filtered

55 candidates to 82 candidates (-49.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	3	1	4
Picked	0	1	1
Done	0	0	0
Total	84	3	87

Merged error: 2.2b

Counts

87 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

120×	`add-sqr-sqrt`
92×	`times-frac`
52×	`sqrt-prod`
51×	`associate-l`
50×	`*-un-lft-identity`
48×	`add-cube-cbrt`
30×	`add-exp-log`
28×	`associate-r`
24×	`unpow-prod-down`
22×	`unswap-sqr`
18×	`add-cbrt-cube`
12×	`sqr-pow`
10×	`pow1` `div-exp`
9×	`prod-exp`
8×	`sqrt-div`
5×	`flip3-+` `cbrt-unprod` `flip-+`
4×	`cbrt-undiv` `associate-/r/` `add-log-exp`
3×	`associate-*r/`
2×	`pow-to-exp` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `pow-prod-down` `pow-exp` `*-commutative` `div-inv`
1×	`distribute-rgt-in` `frac-times` `distribute-lft-in` `associate-*l/` `distribute-lft-out`

Counts

4 → 170

Calls

4 calls:

8.0ms	(* k (+ 10.0 k))
35.0ms	(* (/ (pow k m) (sqrt (+ (* k (+ 10.0 k)) 1.0))) (/ a (sqrt (+ (* k (+ 10.0 k)) 1.0))))
6.0ms	(sqrt (+ (* k (+ 10.0 k)) 1.0))
6.0ms	(sqrt (+ (* k (+ 10.0 k)) 1.0))

series42.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify90.0ms

Algorithm

egg-herbie

Counts

182 → 182

Iterations

Useful iterations: 2 (68.0ms)

Iter	Nodes	Cost
0	845	2399
1	3531	2254
2	5002	2166

prune319.0ms

Filtered

123 candidates to 182 candidates (-48.0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	182	0	182
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	182	3	185

Merged error: 2.2b

Counts

185 → 3

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(* a (* m (log k)))
0.2b	(* m (log k))
0.2b	(* 10.0 (* k a))
8.2b	(* (log 1) (* a m))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

23×	`pow1`
21×	`add-exp-log` `add-cbrt-cube`
18×	`log-prod`
17×	`add-sqr-sqrt`
15×	`distribute-rgt-in` `add-cube-cbrt` `*-un-lft-identity` `distribute-lft-in`
13×	`associate-l`
10×	`pow-prod-down` `prod-exp` `cbrt-unprod`
7×	`associate-r`
4×	`*-commutative` `add-log-exp`
2×	`log-pow`
1×	`unswap-sqr`

Counts

4 → 92

Calls

4 calls:

5.0ms	(* a (* m (log k)))
4.0ms	(* m (log k))
4.0ms	(* 10.0 (* k a))
5.0ms	(* (log 1) (* a m))

series30.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* a (* m (log k)))
7.0ms	(* m (log k))
6.0ms	(* 10.0 (* k a))
8.0ms	(* (log 1) (* a m))

simplify47.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	360	489
1	1491	387
2	5001	313

prune95.0ms

Filtered

58 candidates to 104 candidates (-79.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	104	3	107

Merged error: 2.2b

Counts

107 → 3

regimes133.0ms

Accuracy

0% (0.0b remaining)

Error of 2.2b against oracle of 2.2b and baseline of 2.2b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	6
1	15	6

end0.0ms

analyze1.2s

Algorithm: search

sample1.2s

Algorithm

intervals

Results

522.0ms	8000×	body	80	valid
264.0ms	3201×	body	80	invalid
93.0ms	2002×	body	80	nan

Details

analyze987.0ms

sample41.0ms

simplify107.0ms

prune11.0ms

localize9.0ms

rewrite36.0ms

series49.0ms

simplify70.0ms

prune188.0ms

localize9.0ms

rewrite22.0ms

series60.0ms

simplify57.0ms

prune91.0ms

localize12.0ms

rewrite63.0ms

series42.0ms

simplify90.0ms

prune319.0ms

localize17.0ms

rewrite22.0ms

series30.0ms

simplify47.0ms

prune95.0ms

regimes133.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze1.2s

sample1.2s

Profiling