Details

analyze1.2s

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
25%	74.9%	0.1%	5
31.2%	68.6%	0.1%	6
32.8%	67.1%	0.1%	7
34.3%	65.5%	0.1%	8
38.2%	61.2%	0.5%	9
39.6%	53%	7.4%	10
40.3%	52.4%	7.4%	11
41.6%	49.6%	8.8%	12
42%	39.9%	18.1%	13
42.3%	39.6%	18.2%	14

sample44.0ms

Algorithm

intervals

Results

20.0ms	256×	body	80	valid
8.0ms	93×	body	80	invalid
3.0ms	75×	body	80	nan

simplify148.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (138.0ms)

Iter	Nodes	Cost
0	5020	19

prune4.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 1.9b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(*.f64 a (pow.f64 k m))
0.0b	(+.f64 1 (*.f64 10 k))
0.0b	(+.f64 (+.f64 1 (.f64 10 k)) (.f64 k k))
1.9b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (+.f64 1 (.f64 10 k)) (*.f64 k k)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-exp-log_binary64`
14×	`add-sqr-sqrt_binary64`
11×	`add-log-exp_binary64` `add-cbrt-cube_binary64`
9×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
7×	`associate-r_binary64`
6×	`prod-exp_binary64`
4×	`pow1_binary64` `unpow-prod-down_binary64` `div-exp_binary64` `sum-log_binary64`
3×	`flip3-+_binary64` `associate-/r_binary64` `associate-l*_binary64` `unswap-sqr_binary64` `times-frac_binary64` `flip-+_binary64`
2×	`pow-to-exp_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `sqr-pow_binary64` `associate-/r/_binary64` `+-commutative_binary64` `pow-exp_binary64`
1×	`associate-+l+_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `div-inv_binary64` `-commutative_binary64`

Counts

4 → 74

Calls

4 calls:

5.0ms	(*.f64 a (pow.f64 k m))
3.0ms	(+.f64 1 (*.f64 10 k))
6.0ms	(+.f64 (+.f64 1 (.f64 10 k)) (.f64 k k))
10.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (+.f64 1 (.f64 10 k)) (*.f64 k k)))

series213.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(*.f64 a (pow.f64 k m))
20.0ms	(+.f64 1 (*.f64 10 k))
10.0ms	(+.f64 (+.f64 1 (.f64 10 k)) (.f64 k k))
126.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (+.f64 1 (.f64 10 k)) (*.f64 k k)))

simplify128.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (104.0ms)

Iter	Nodes	Cost
0	4929	1344
1	4929	1344

prune66.0ms

Filtered

61 candidates to 86 candidates (-41.0%)

Pruning

4 alts after pruning (4 fresh and 0 done)

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

Merged error: 1.9b

Counts

87 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (+.f64 1 (*.f64 k (+.f64 k 10))) (pow.f64 k m))
0.0b	(*.f64 k (+.f64 k 10))
1.9b	(/.f64 a (/.f64 (+.f64 1 (*.f64 k (+.f64 k 10))) (pow.f64 k m)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

180×	`times-frac_binary64`
105×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
103×	`add-cube-cbrt_binary64`
48×	`unpow-prod-down_binary64`
32×	`associate-/r*_binary64`
20×	`add-exp-log_binary64`
16×	`sqr-pow_binary64`
12×	`add-cbrt-cube_binary64`
10×	`div-exp_binary64`
6×	`associate-/l*_binary64` `div-inv_binary64`
5×	`pow1_binary64`
4×	`associate-r_binary64` `cbrt-undiv_binary64`
3×	`add-log-exp_binary64` `associate-l_binary64`
2×	`pow-to-exp_binary64` `flip3-+_binary64` `associate-/l/_binary64` `associate-*r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `flip-+_binary64` `pow-exp_binary64`
1×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `distribute-lft-out_binary64` `distribute-lft-in_binary64` `associate-/r/_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

3 → 190

Calls

3 calls:

7.0ms	(/.f64 (+.f64 1 (*.f64 k (+.f64 k 10))) (pow.f64 k m))
6.0ms	(*.f64 k (+.f64 k 10))
10.0ms	(/.f64 a (/.f64 (+.f64 1 (*.f64 k (+.f64 k 10))) (pow.f64 k m)))

series252.0ms

Counts

3 → 9

Calls

3 calls:

79.0ms	(/.f64 (+.f64 1 (*.f64 k (+.f64 k 10))) (pow.f64 k m))
34.0ms	(*.f64 k (+.f64 k 10))
138.0ms	(/.f64 a (/.f64 (+.f64 1 (*.f64 k (+.f64 k 10))) (pow.f64 k m)))

simplify91.0ms

Algorithm

egg-herbie

Counts

199 → 199

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5139	6266

prune187.0ms

Filtered

152 candidates to 199 candidates (-30.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	198	1	199
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	198	5	203

Merged error: 1.9b

Counts

203 → 5

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(*.f64 k (+.f64 k 10))
0.1b	(/.f64 (pow.f64 k m) (+.f64 1 (*.f64 k (+.f64 k 10))))
1.9b	(.f64 a (/.f64 (pow.f64 k m) (+.f64 1 (.f64 k (+.f64 k 10)))))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

48×	`add-sqr-sqrt_binary64`
45×	`times-frac_binary64`
38×	`*-un-lft-identity_binary64`
36×	`add-cube-cbrt_binary64`
31×	`associate-r_binary64`
22×	`unpow-prod-down_binary64`
20×	`add-exp-log_binary64`
12×	`add-cbrt-cube_binary64`
8×	`sqr-pow_binary64`
7×	`pow1_binary64` `associate-/l*_binary64`
6×	`associate-l_binary64` `div-exp_binary64`
5×	`unswap-sqr_binary64` `prod-exp_binary64`
4×	`associate-/r/_binary64`
3×	`flip3-+_binary64` `associate-/r_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `associate-r/_binary64` `flip-+_binary64`
2×	`pow-to-exp_binary64` `pow-prod-down_binary64` `cbrt-undiv_binary64` `div-inv_binary64` `pow-exp_binary64` `*-commutative_binary64`
1×	`distribute-lft-out_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `clear-num_binary64` `frac-2neg_binary64`

Counts

3 → 120

Calls

3 calls:

6.0ms	(*.f64 k (+.f64 k 10))
6.0ms	(/.f64 (pow.f64 k m) (+.f64 1 (*.f64 k (+.f64 k 10))))
12.0ms	(.f64 a (/.f64 (pow.f64 k m) (+.f64 1 (.f64 k (+.f64 k 10)))))

series211.0ms

Counts

3 → 9

Calls

3 calls:

28.0ms	(*.f64 k (+.f64 k 10))
56.0ms	(/.f64 (pow.f64 k m) (+.f64 1 (*.f64 k (+.f64 k 10))))
127.0ms	(.f64 a (/.f64 (pow.f64 k m) (+.f64 1 (.f64 k (+.f64 k 10)))))

simplify90.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4951	2966
1	4951	2966

prune103.0ms

Filtered

94 candidates to 129 candidates (-37.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	129	5	134

Merged error: 1.9b

Counts

134 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(*.f64 k (+.f64 k 10))
0.1b	(.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (/.f64 (pow.f64 k m) (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))))
16.6b	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
16.6b	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

120×	`add-sqr-sqrt_binary64`
92×	`times-frac_binary64`
52×	`associate-r_binary64` `sqrt-prod_binary64`
50×	`*-un-lft-identity_binary64`
48×	`add-cube-cbrt_binary64`
30×	`add-exp-log_binary64`
27×	`associate-l_binary64`
24×	`unpow-prod-down_binary64`
22×	`unswap-sqr_binary64`
18×	`add-cbrt-cube_binary64`
12×	`sqr-pow_binary64`
10×	`pow1_binary64` `div-exp_binary64`
9×	`prod-exp_binary64`
8×	`sqrt-div_binary64`
5×	`flip3-+_binary64` `cbrt-unprod_binary64` `flip-+_binary64`
4×	`add-log-exp_binary64` `cbrt-undiv_binary64` `associate-/r/_binary64`
3×	`associate-*r/_binary64`
2×	`pow-to-exp_binary64` `pow-prod-down_binary64` `pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `div-inv_binary64` `pow-exp_binary64` `*-commutative_binary64`
1×	`distribute-lft-out_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `frac-times_binary64` `associate-*l/_binary64`

Counts

4 → 170

Calls

4 calls:

6.0ms	(*.f64 k (+.f64 k 10))
34.0ms	(.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (/.f64 (pow.f64 k m) (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

series184.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(*.f64 k (+.f64 k 10))
129.0ms	(.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (/.f64 (pow.f64 k m) (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))))
14.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
14.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

simplify153.0ms

Algorithm

egg-herbie

Counts

182 → 182

Iterations

Useful iterations: 0 (101.0ms)

Iter	Nodes	Cost
0	4941	5775
1	4941	5775

prune183.0ms

Filtered

116 candidates to 182 candidates (-56.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	182	0	182
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	182	5	187

Merged error: 1.9b

Counts

187 → 5

regimes38.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	19
1	17	19

end0.0ms

sample1.2s

Algorithm

intervals

Results

527.0ms	8000×	body	80	valid
278.0ms	3341×	body	80	invalid
92.0ms	2050×	body	80	nan

Details

analyze1.2s

sample44.0ms

simplify148.0ms

prune4.0ms

localize11.0ms

rewrite26.0ms

series213.0ms

simplify128.0ms

prune66.0ms

localize9.0ms

rewrite34.0ms

series252.0ms

simplify91.0ms

prune187.0ms

localize12.0ms

rewrite30.0ms

series211.0ms

simplify90.0ms

prune103.0ms

localize14.0ms

rewrite55.0ms

series184.0ms

simplify153.0ms

prune183.0ms

regimes38.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample1.2s

Profiling