Details

analyze32.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
25%	74.9%	0.1%	4
37.5%	62.4%	0.1%	5
62.4%	37.5%	0.1%	6
87.4%	12.5%	0.1%	7
87.4%	12.5%	0.1%	8
93.7%	6.2%	0.1%	9
93.7%	6.2%	0.1%	10
96.8%	3.1%	0.1%	11
96.8%	3.1%	0.1%	12
98.3%	1.6%	0.1%	13
98.3%	1.6%	0.1%	14

sample211.0ms

Algorithm

intervals

Results

202.0ms

256×

body

valid

simplify464.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	13	8
1	13	8

prune4.0ms

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

Counts

2 → 1

localize9.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ (neg (+ f n)) (- f n))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

82×	`*-un-lft-identity`
60×	`times-frac`
58×	`add-sqr-sqrt`
32×	`add-cube-cbrt`
24×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
13×	`distribute-lft-out--` `difference-of-squares`
12×	`distribute-lft-out` `associate-/l*`
6×	`neg-mul-1`
5×	`associate-/r*`
3×	`add-exp-log` `add-cbrt-cube`
2×	`associate-/r/` `associate-/l/` `distribute-neg-frac`
1×	`pow1` `cbrt-undiv` `neg-sub0` `flip3--` `frac-2neg` `flip3-+` `div-sub` `distribute-frac-neg` `div-exp` `clear-num` `flip--` `flip-+` `div-inv` `add-log-exp`

Counts

1 → 95

Calls

1 calls:

11.0ms

(/ (neg (+ f n)) (- f n))

series18.0ms

Counts

1 → 3

Calls

1 calls:

18.0ms

(/ (neg (+ f n)) (- f n))

simplify68.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5276	1341

prune74.0ms

Filtered

60 candidates to 98 candidates (-63.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	95	3	98
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	95	4	99

Merged error: 0.0b

Counts

99 → 4

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (neg (+ f n)) (- f n))
0.0b	(cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
0.0b	(pow (/ (neg (+ f n)) (- f n)) 3)

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

374×	`*-un-lft-identity`
300×	`times-frac`
270×	`add-sqr-sqrt`
148×	`add-cube-cbrt`
138×	`cbrt-prod`
132×	`unpow-prod-down` `cube-prod`
104×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
61×	`distribute-lft-out--` `difference-of-squares`
52×	`distribute-lft-out`
26×	`neg-mul-1`
12×	`associate-/l*`
10×	`associate-/r/`
8×	`add-exp-log` `add-cbrt-cube`
5×	`flip3--` `associate-/r*` `flip--` `div-inv`
4×	`pow1`
3×	`pow-unpow` `add-log-exp`
2×	`cbrt-undiv` `cube-div` `cube-mult` `unpow3` `distribute-frac-neg` `div-exp` `pow-exp` `associate-/l/` `distribute-neg-frac` `rem-cube-cbrt` `sqr-pow`
1×	`neg-sub0` `pow-to-exp` `cbrt-div` `pow-pow` `frac-2neg` `flip3-+` `pow1/3` `div-sub` `cube-neg` `clear-num` `rem-cbrt-cube` `flip-+`

Counts

3 → 396

Calls

3 calls:

9.0ms	(/ (neg (+ f n)) (- f n))
22.0ms	(cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
15.0ms	(pow (/ (neg (+ f n)) (- f n)) 3)

series45.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(/ (neg (+ f n)) (- f n))
23.0ms	(cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
13.0ms	(pow (/ (neg (+ f n)) (- f n)) 3)

simplify95.0ms

Algorithm

egg-herbie

Counts

405 → 405

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5040	6153

prune214.0ms

Filtered

142 candidates to 405 candidates (-185.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	402	3	405
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	404	5	409

Merged error: 0.0b

Counts

409 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow (pow (/ (neg (+ f n)) (- f n)) 3) 3)
0.0b	(pow (/ (neg (+ f n)) (- f n)) 3)
0.0b	(cbrt (cbrt (pow (pow (/ (neg (+ f n)) (- f n)) 3) 3)))
0.0b	(cbrt (pow (pow (/ (neg (+ f n)) (- f n)) 3) 3))

rewrite229.0ms

Algorithm

rewrite-expression-head

Rules

1023×	`*-un-lft-identity`
876×	`unpow-prod-down` `cube-prod`
849×	`cbrt-prod`
840×	`times-frac`
743×	`add-sqr-sqrt`
407×	`add-cube-cbrt`
280×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
168×	`distribute-lft-out--` `difference-of-squares`
140×	`distribute-lft-out`
70×	`neg-mul-1`
28×	`associate-/r/`
14×	`flip3--` `flip--` `div-inv`
11×	`add-exp-log`
10×	`cube-mult` `unpow3` `sqr-pow`
8×	`pow-exp` `add-cbrt-cube`
7×	`cube-div`
6×	`pow-unpow`
5×	`pow1`
4×	`add-log-exp`
3×	`pow-to-exp` `cbrt-div` `cube-neg` `rem-cube-cbrt`
2×	`pow-pow` `pow1/3` `distribute-frac-neg` `div-exp`
1×	`cbrt-undiv` `rem-cbrt-cube`

Counts

4 → 1037

Calls

4 calls:

29.0ms	(pow (pow (/ (neg (+ f n)) (- f n)) 3) 3)
19.0ms	(pow (/ (neg (+ f n)) (- f n)) 3)
46.0ms	(cbrt (cbrt (pow (pow (/ (neg (+ f n)) (- f n)) 3) 3)))
41.0ms	(cbrt (pow (pow (/ (neg (+ f n)) (- f n)) 3) 3))

series88.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(pow (pow (/ (neg (+ f n)) (- f n)) 3) 3)
13.0ms	(pow (/ (neg (+ f n)) (- f n)) 3)
33.0ms	(cbrt (cbrt (pow (pow (/ (neg (+ f n)) (- f n)) 3) 3)))
22.0ms	(cbrt (pow (pow (/ (neg (+ f n)) (- f n)) 3) 3))

simplify215.0ms

Algorithm

egg-herbie

Counts

1049 → 1049

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4778	18916
1	4778	18916

prune352.0ms

Filtered

187 candidates to 1049 candidates (-461.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	1047	2	1049
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	1049	5	1054

Merged error: 0b

Counts

1054 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (neg (+ f n)) (- f n))
0.0b	(cbrt (cbrt (pow (/ (neg (+ f n)) (- f n)) 9)))
0.0b	(cbrt (pow (/ (neg (+ f n)) (- f n)) 9))
0.1b	(pow (/ (neg (+ f n)) (- f n)) 9)

rewrite77.0ms

Algorithm

rewrite-expression-head

Rules

305×	`*-un-lft-identity`
240×	`times-frac`
221×	`add-sqr-sqrt`
213×	`cbrt-prod`
198×	`unpow-prod-down`
123×	`add-cube-cbrt`
84×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
49×	`distribute-lft-out--` `difference-of-squares`
42×	`distribute-lft-out`
21×	`neg-mul-1`
12×	`associate-/l*`
9×	`add-exp-log`
8×	`associate-/r/`
6×	`add-cbrt-cube`
5×	`pow1` `associate-/r*`
4×	`flip3--` `flip--` `div-inv` `add-log-exp`
3×	`pow-unpow` `sqr-pow`
2×	`pow1/3` `div-exp` `pow-exp` `associate-/l/` `distribute-neg-frac`
1×	`cbrt-undiv` `neg-sub0` `pow-to-exp` `pow-pow` `frac-2neg` `flip3-+` `div-sub` `distribute-frac-neg` `clear-num` `flip-+`

Counts

4 → 335

Calls

4 calls:

9.0ms	(/ (neg (+ f n)) (- f n))
17.0ms	(cbrt (cbrt (pow (/ (neg (+ f n)) (- f n)) 9)))
17.0ms	(cbrt (pow (/ (neg (+ f n)) (- f n)) 9))
14.0ms	(pow (/ (neg (+ f n)) (- f n)) 9)

series81.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(/ (neg (+ f n)) (- f n))
30.0ms	(cbrt (cbrt (pow (/ (neg (+ f n)) (- f n)) 9)))
21.0ms	(cbrt (pow (/ (neg (+ f n)) (- f n)) 9))
21.0ms	(pow (/ (neg (+ f n)) (- f n)) 9)

simplify112.0ms

Algorithm

egg-herbie

Counts

347 → 347

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4982	6476
1	4982	6476

prune413.0ms

Filtered

209 candidates to 347 candidates (-66.0%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	346	1	347
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	347	5	352

Merged error: 0b

Counts

352 → 5

regimes127.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	8
1	13	8

end0.0ms

analyze24.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
25%	74.9%	0.1%	4
37.5%	62.4%	0.1%	5
62.4%	37.5%	0.1%	6
87.4%	12.5%	0.1%	7
87.4%	12.5%	0.1%	8
93.7%	6.2%	0.1%	9
93.7%	6.2%	0.1%	10
96.8%	3.1%	0.1%	11
96.8%	3.1%	0.1%	12
98.3%	1.6%	0.1%	13
98.3%	1.6%	0.1%	14

sample314.0ms

Algorithm

intervals

Results

193.0ms

8000×

body

valid

Details

analyze32.0ms

sample211.0ms

simplify464.0ms

prune4.0ms

localize9.0ms

rewrite26.0ms

series18.0ms

simplify68.0ms

prune74.0ms

localize8.0ms

rewrite69.0ms

series45.0ms

simplify95.0ms

prune214.0ms

localize11.0ms

rewrite229.0ms

series88.0ms

simplify215.0ms

prune352.0ms

localize9.0ms

rewrite77.0ms

series81.0ms

simplify112.0ms

prune413.0ms

regimes127.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze24.0ms

sample314.0ms

Profiling