Details

analyze226.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
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
43.7%	56.2%	0.1%	8
62.4%	37.4%	0.1%	9
65.5%	34.3%	0.1%	10
71.8%	27.7%	0.5%	11
79.2%	19.7%	1.1%	12
80.2%	18.7%	1.1%	13
82.8%	15%	2.2%	14

sample16.0ms

Algorithm

intervals

Results

9.0ms	256×	body	80	valid
0.0ms	14×	body	80	invalid

simplify14.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	112	16
1	112	16

prune2.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: 6.1b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

3.6b	(/.f64 (/.f64 1 x) (.f64 y (+.f64 1 (.f64 z z))))
3.6b	(.f64 y (+.f64 1 (.f64 z z)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

31×	`times-frac_binary64`
26×	`add-exp-log_binary64`
20×	`add-sqr-sqrt_binary64`
18×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
16×	`add-cbrt-cube_binary64`
13×	`associate-/l*_binary64`
12×	`div-exp_binary64`
6×	`cbrt-undiv_binary64`
5×	`prod-exp_binary64`
4×	`pow1_binary64` `associate-*r/_binary64`
3×	`cbrt-unprod_binary64` `associate-r_binary64` `associate-l_binary64` `div-inv_binary64`
2×	`flip3-+_binary64` `add-log-exp_binary64` `1-exp_binary64` `associate-/r/_binary64` `rec-exp_binary64` `flip-+_binary64`
1×	`pow-prod-down_binary64` `associate-/l/_binary64` `associate-/r_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64` `-commutative_binary64`

Counts

2 → 74

Calls

2 calls:

9.0ms	(/.f64 (/.f64 1 x) (.f64 y (+.f64 1 (.f64 z z))))
6.0ms	(.f64 y (+.f64 1 (.f64 z z)))

series98.0ms

Counts

2 → 6

Calls

2 calls:

54.0ms	(/.f64 (/.f64 1 x) (.f64 y (+.f64 1 (.f64 z z))))
45.0ms	(.f64 y (+.f64 1 (.f64 z z)))

simplify103.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	5018	1317

prune77.0ms

Filtered

51 candidates to 80 candidates (-56.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	69	11	80
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	70	11	81

Merged error: 5.2b

Counts

81 → 11

localize8.0ms

Local error

Found 3 expressions with local error:

0.3b	(/.f64 1 (.f64 y (+.f64 1 (.f64 z z))))
3.6b	(.f64 y (+.f64 1 (.f64 z z)))
3.7b	(.f64 (/.f64 1 x) (/.f64 1 (.f64 y (+.f64 1 (*.f64 z z)))))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

99×	`add-exp-log_binary64`
44×	`prod-exp_binary64`
34×	`div-exp_binary64`
31×	`add-cbrt-cube_binary64`
25×	`add-sqr-sqrt_binary64`
17×	`*-un-lft-identity_binary64` `1-exp_binary64` `rec-exp_binary64` `times-frac_binary64`
16×	`add-cube-cbrt_binary64` `associate-l_binary64`
15×	`pow1_binary64`
12×	`associate-r_binary64`
10×	`cbrt-unprod_binary64`
9×	`cbrt-undiv_binary64`
7×	`pow-prod-down_binary64` `associate-*r/_binary64`
6×	`pow-flip_binary64`
4×	`associate-/r/_binary64` `unswap-sqr_binary64`
3×	`flip3-+_binary64` `add-log-exp_binary64` `inv-pow_binary64` `associate-/l*_binary64` `div-inv_binary64` `flip-+_binary64`
2×	`*-commutative_binary64`
1×	`associate-/r_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `clear-num_binary64` `frac-2neg_binary64` `un-div-inv_binary64` `frac-times_binary64` `associate-l/_binary64`

Counts

3 → 127

Calls

3 calls:

6.0ms	(/.f64 1 (.f64 y (+.f64 1 (.f64 z z))))
6.0ms	(.f64 y (+.f64 1 (.f64 z z)))
15.0ms	(.f64 (/.f64 1 x) (/.f64 1 (.f64 y (+.f64 1 (*.f64 z z)))))

series152.0ms

Counts

3 → 9

Calls

3 calls:

48.0ms	(/.f64 1 (.f64 y (+.f64 1 (.f64 z z))))
44.0ms	(.f64 y (+.f64 1 (.f64 z z)))
60.0ms	(.f64 (/.f64 1 x) (/.f64 1 (.f64 y (+.f64 1 (*.f64 z z)))))

simplify119.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (91.0ms)

Iter	Nodes	Cost
0	4903	2080
1	4903	2080

prune84.0ms

Filtered

72 candidates to 136 candidates (-88.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	135	1	136
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	137	10	147

Merged error: 5.2b

Counts

147 → 10

localize8.0ms

Local error

Found 3 expressions with local error:

0.3b	(/.f64 1 (.f64 y (+.f64 1 (.f64 z z))))
3.6b	(.f64 y (+.f64 1 (.f64 z z)))
3.7b	(/.f64 (/.f64 1 (.f64 y (+.f64 1 (.f64 z z)))) x)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

42×	`times-frac_binary64`
35×	`add-exp-log_binary64`
27×	`add-sqr-sqrt_binary64`
25×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
19×	`add-cbrt-cube_binary64`
15×	`div-exp_binary64`
12×	`associate-r/_binary64` `associate-/l_binary64`
10×	`associate-/r/_binary64`
8×	`pow1_binary64`
7×	`cbrt-undiv_binary64` `prod-exp_binary64`
6×	`flip3-+_binary64` `div-inv_binary64` `flip-+_binary64`
4×	`associate-/r*_binary64` `1-exp_binary64` `rec-exp_binary64`
3×	`add-log-exp_binary64` `cbrt-unprod_binary64` `associate-r_binary64` `associate-l_binary64`
2×	`pow-prod-down_binary64` `clear-num_binary64` `frac-2neg_binary64` `pow-flip_binary64`
1×	`associate-/l/_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `inv-pow_binary64` `*-commutative_binary64`

Counts

3 → 112

Calls

3 calls:

7.0ms	(/.f64 1 (.f64 y (+.f64 1 (.f64 z z))))
6.0ms	(.f64 y (+.f64 1 (.f64 z z)))
9.0ms	(/.f64 (/.f64 1 (.f64 y (+.f64 1 (.f64 z z)))) x)

series150.0ms

Counts

3 → 9

Calls

3 calls:

48.0ms	(/.f64 1 (.f64 y (+.f64 1 (.f64 z z))))
45.0ms	(.f64 y (+.f64 1 (.f64 z z)))
57.0ms	(/.f64 (/.f64 1 (.f64 y (+.f64 1 (.f64 z z)))) x)

simplify97.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4946	2211
1	4946	2211

prune85.0ms

Filtered

76 candidates to 121 candidates (-59.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	118	3	121
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	121	10	131

Merged error: 5.2b

Counts

131 → 10

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

474×	`times-frac_binary64`
230×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
58×	`associate-/l*_binary64`
26×	`add-exp-log_binary64`
22×	`div-inv_binary64`
17×	`div-exp_binary64`
16×	`add-cbrt-cube_binary64`
10×	`associate-/r/_binary64`
9×	`cbrt-undiv_binary64`
6×	`associate-/r*_binary64`
5×	`flip3-+_binary64` `flip-+_binary64`
2×	`associate-/l/_binary64` `add-log-exp_binary64` `pow1_binary64` `1-exp_binary64` `clear-num_binary64` `frac-2neg_binary64` `rec-exp_binary64`

Counts

2 → 276

Calls

2 calls:

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

series104.0ms

Counts

2 → 6

Calls

2 calls:

49.0ms	(/.f64 (/.f64 (/.f64 1 y) (+.f64 1 (*.f64 z z))) x)
55.0ms	(/.f64 (/.f64 1 y) (+.f64 1 (*.f64 z z)))

simplify229.0ms

Algorithm

egg-herbie

Counts

282 → 282

Iterations

Useful iterations: 0 (144.0ms)

Iter	Nodes	Cost
0	5155	8854

prune244.0ms

Filtered

189 candidates to 282 candidates (-49.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	282	0	282
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	282	10	292

Merged error: 5.2b

Counts

292 → 10

regimes177.0ms

Accuracy

0% (1.5b remaining)

Error of 6.3b against oracle of 4.8b and baseline of 6.3b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	16
1	13	16

end0.0ms

sample473.0ms

Algorithm

intervals

Results

281.0ms	8000×	body	80	valid
15.0ms	442×	body	80	invalid

Details

analyze226.0ms

sample16.0ms

simplify14.0ms

prune2.0ms

localize7.0ms

rewrite18.0ms

series98.0ms

simplify103.0ms

prune77.0ms

localize8.0ms

rewrite32.0ms

series152.0ms

simplify119.0ms

prune84.0ms

localize8.0ms

rewrite26.0ms

series150.0ms

simplify97.0ms

prune85.0ms

localize7.0ms

rewrite46.0ms

series104.0ms

simplify229.0ms

prune244.0ms

regimes177.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample473.0ms

Profiling