Details

analyze635.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
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
25%	74.9%	0.1%	7
31.2%	68.6%	0.1%	8
35.9%	64%	0.1%	9
47.6%	49.9%	2.5%	10
49.1%	46.8%	4%	11
51.1%	44.1%	4.8%	12
60.2%	29.9%	9.9%	13
60.6%	27.9%	11.6%	14

sample46.0ms

Algorithm

intervals

Results

15.0ms	256×	body	80	valid
2.0ms	37×	body	80	invalid

simplify148.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (131.0ms)

Iter	Nodes	Cost
0	4988	16
1	4988	16

prune11.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: 16.7b

Counts

2 → 1

localize22.0ms

Local error

Found 2 expressions with local error:

0.1b	(.f64 (.f64 z z) (+.f64 z 1))
16.2b	(/.f64 (.f64 x y) (.f64 (*.f64 z z) (+.f64 z 1)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-exp-log_binary64_4390` `add-cbrt-cube_binary64_4398`
12×	`prod-exp_binary64_4377` `cbrt-unprod_binary64_4395`
7×	`pow1_binary64_4372`
6×	`div-exp_binary64_4379` `cbrt-undiv_binary64_4396`
5×	`*-un-lft-identity_binary64_4426`
4×	`associate-r_binary64_4485` `add-sqr-sqrt_binary64_4411` `associate-*r/_binary64_4487`
3×	`pow-prod-down_binary64_4353` `add-cube-cbrt_binary64_4397`
2×	`flip-+_binary64_4451` `flip3-+_binary64_4424` `add-log-exp_binary64_4391` `associate-/r/_binary64_4491`
1×	`distribute-rgt-in_binary64_4469` `-commutative_binary64_4494` `unswap-sqr_binary64_4454` `associate-/l_binary64_4490` `associate-/r_binary64_4489` `div-inv_binary64_4427` `frac-2neg_binary64_4419` `associate-l*_binary64_4486` `clear-num_binary64_4429` `distribute-lft-in_binary64_4468` `distribute-lft-out_binary64_4470` `times-frac_binary64_4421`

Counts

2 → 51

Calls

2 calls:

8.0ms	(.f64 (.f64 z z) (+.f64 z 1))
19.0ms	(/.f64 (.f64 x y) (.f64 (*.f64 z z) (+.f64 z 1)))

series133.0ms

Counts

2 → 6

Calls

2 calls:

56.0ms	(.f64 (.f64 z z) (+.f64 z 1))
77.0ms	(/.f64 (.f64 x y) (.f64 (*.f64 z z) (+.f64 z 1)))

simplify126.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	5043	862

prune242.0ms

Filtered

34 candidates to 57 candidates (-67.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	48	9	57
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	49	9	58

Merged error: 3.1b

Counts

58 → 9

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 y (+.f64 z 1))
6.5b	(.f64 (/.f64 x (.f64 z z)) (/.f64 y (+.f64 z 1)))
10.4b	(/.f64 x (*.f64 z z))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

38×	`*-un-lft-identity_binary64_4426`
34×	`add-sqr-sqrt_binary64_4411` `times-frac_binary64_4421`
31×	`add-exp-log_binary64_4390` `add-cbrt-cube_binary64_4398`
24×	`add-cube-cbrt_binary64_4397`
18×	`associate-r_binary64_4485`
10×	`div-exp_binary64_4379` `cbrt-undiv_binary64_4396`
9×	`prod-exp_binary64_4377` `cbrt-unprod_binary64_4395`
7×	`associate-l_binary64_4486` `distribute-lft-out_binary64_4470`
6×	`associate-/l*_binary64_4490`
5×	`associate-/r*_binary64_4489` `pow1_binary64_4372`
4×	`unswap-sqr_binary64_4454` `div-inv_binary64_4427` `associate-/r/_binary64_4491`
3×	`add-log-exp_binary64_4391`
2×	`flip-+_binary64_4451` `frac-2neg_binary64_4419` `clear-num_binary64_4429` `flip3-+_binary64_4424`
1×	`frac-times_binary64_4418` `-commutative_binary64_4494` `associate-r/_binary64_4487` `associate-*l/_binary64_4488` `pow-prod-down_binary64_4353`

Counts

3 → 107

Calls

3 calls:

12.0ms	(/.f64 y (+.f64 z 1))
21.0ms	(.f64 (/.f64 x (.f64 z z)) (/.f64 y (+.f64 z 1)))
4.0ms	(/.f64 x (*.f64 z z))

series115.0ms

Counts

3 → 9

Calls

3 calls:

23.0ms	(/.f64 y (+.f64 z 1))
68.0ms	(.f64 (/.f64 x (.f64 z z)) (/.f64 y (+.f64 z 1)))
23.0ms	(/.f64 x (*.f64 z z))

simplify73.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5012	1776

prune358.0ms

Filtered

75 candidates to 116 candidates (-54.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	108	8	116
Fresh	6	2	8
Picked	1	0	1
Done	0	0	0
Total	115	10	125

Merged error: 0.0b

Counts

125 → 10

localize30.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
1.0b	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) z) (*.f64 (/.f64 (cbrt.f64 x) z) (/.f64 y (+.f64 z 1))))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

73×	`add-exp-log_binary64_4390`
57×	`add-cbrt-cube_binary64_4398`
32×	`prod-exp_binary64_4377` `cbrt-unprod_binary64_4395`
22×	`div-exp_binary64_4379` `cbrt-undiv_binary64_4396`
9×	`add-sqr-sqrt_binary64_4411` `*-un-lft-identity_binary64_4426` `pow1_binary64_4372` `cbrt-prod_binary64_4393` `add-cube-cbrt_binary64_4397`
7×	`associate-l_binary64_4486`
5×	`frac-times_binary64_4418` `associate-*r/_binary64_4487`
4×	`add-log-exp_binary64_4391`
3×	`associate-*l/_binary64_4488` `pow-prod-down_binary64_4353` `pow1/3_binary64_4364` `times-frac_binary64_4421`
1×	`associate-r_binary64_4485` `*-commutative_binary64_4494` `div-inv_binary64_4427`

Counts

4 → 88

Calls

4 calls:

1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
17.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) z) (*.f64 (/.f64 (cbrt.f64 x) z) (/.f64 y (+.f64 z 1))))

series535.0ms

Counts

4 → 12

Calls

4 calls:

81.0ms	(cbrt.f64 x)
85.0ms	(cbrt.f64 x)
92.0ms	(cbrt.f64 x)
277.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) z) (*.f64 (/.f64 (cbrt.f64 x) z) (/.f64 y (+.f64 z 1))))

simplify86.0ms

Algorithm

egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5003	1309

prune348.0ms

Filtered

59 candidates to 100 candidates (-69.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	97	3	100
Fresh	2	7	9
Picked	0	1	1
Done	0	0	0
Total	99	11	110

Merged error: 0.0b

Counts

110 → 11

localize39.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (cbrt.f64 x))
0.6b	(cbrt.f64 (cbrt.f64 x))
0.6b	(cbrt.f64 (cbrt.f64 x))
1.0b	(.f64 (/.f64 (.f64 (cbrt.f64 x) (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x)))) z) (*.f64 (/.f64 (cbrt.f64 x) z) (/.f64 y (+.f64 z 1))))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

144×	`add-exp-log_binary64_4390`
99×	`add-cbrt-cube_binary64_4398`
75×	`prod-exp_binary64_4377` `cbrt-unprod_binary64_4395`
40×	`div-exp_binary64_4379` `cbrt-undiv_binary64_4396`
27×	`cbrt-prod_binary64_4393`
12×	`add-sqr-sqrt_binary64_4411` `*-un-lft-identity_binary64_4426` `add-cube-cbrt_binary64_4397`
9×	`pow1_binary64_4372`
7×	`associate-l_binary64_4486`
5×	`frac-times_binary64_4418` `associate-*r/_binary64_4487`
4×	`add-log-exp_binary64_4391`
3×	`associate-*l/_binary64_4488` `pow-prod-down_binary64_4353` `pow1/3_binary64_4364` `times-frac_binary64_4421`
1×	`associate-r_binary64_4485` `*-commutative_binary64_4494` `div-inv_binary64_4427`

Counts

4 → 117

Calls

4 calls:

2.0ms	(cbrt.f64 (cbrt.f64 x))
2.0ms	(cbrt.f64 (cbrt.f64 x))
2.0ms	(cbrt.f64 (cbrt.f64 x))
31.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 x) (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x)))) z) (*.f64 (/.f64 (cbrt.f64 x) z) (/.f64 y (+.f64 z 1))))

series519.0ms

Counts

4 → 12

Calls

4 calls:

137.0ms	(cbrt.f64 (cbrt.f64 x))
167.0ms	(cbrt.f64 (cbrt.f64 x))
148.0ms	(cbrt.f64 (cbrt.f64 x))
67.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 x) (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x)))) z) (*.f64 (/.f64 (cbrt.f64 x) z) (/.f64 y (+.f64 z 1))))

simplify91.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5113	1936

prune323.0ms

Filtered

70 candidates to 129 candidates (-84.3%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	128	1	129
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	128	12	140

Merged error: 0b

Counts

140 → 12

regimes718.0ms

Accuracy

0% (1.2b remaining)

Error of 1.2b against oracle of 0.1b and baseline of 1.2b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	28
1	16	28

end0.0ms

sample694.0ms

Algorithm

intervals

Results

333.0ms	8000×	body	80	valid
63.0ms	1481×	body	80	invalid

Details

analyze635.0ms

sample46.0ms

simplify148.0ms

prune11.0ms

localize22.0ms

rewrite29.0ms

series133.0ms

simplify126.0ms

prune242.0ms

localize13.0ms

rewrite45.0ms

series115.0ms

simplify73.0ms

prune358.0ms

localize30.0ms

rewrite24.0ms

series535.0ms

simplify86.0ms

prune348.0ms

localize39.0ms

rewrite43.0ms

series519.0ms

simplify91.0ms

prune323.0ms

regimes718.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample694.0ms

Profiling