Details

analyze921.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
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
2.7%	90.9%	6.4%	9
4.1%	86.4%	9.5%	10
4.4%	86.1%	9.5%	11
19.7%	65.3%	15%	12
21.9%	60.4%	17.7%	13
22.7%	59.6%	17.7%	14

sample48.0ms

Algorithm

intervals

Results

15.0ms	207×	body	128	valid
10.0ms	26×	body	1024	valid
4.0ms	14×	body	512	valid
2.0ms	7×	body	1024	invalid
2.0ms	8×	body	512	invalid
1.0ms	9×	body	256	valid
1.0ms	30×	body	128	nan
1.0ms	17×	body	128	invalid
0.0ms	1×	body	256	invalid

simplify55.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4991	16
1	4991	16

prune3.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 5.1b

Counts

2 → 1

localize8.0ms

Local error

Found 1 expressions with local error:

6.3b	(pow.f64 (/.f64 y (+.f64 y z)) y)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

18×	`unpow-prod-down_binary64`
16×	`*-un-lft-identity_binary64`
12×	`times-frac_binary64`
10×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
4×	`add-exp-log_binary64`
3×	`pow-unpow_binary64` `distribute-lft-out_binary64`
2×	`pow1_binary64` `associate-/r/_binary64` `pow-exp_binary64`
1×	`pow-to-exp_binary64` `flip3-+_binary64` `add-log-exp_binary64` `pow-pow_binary64` `sqr-pow_binary64` `add-cbrt-cube_binary64` `div-inv_binary64` `div-exp_binary64` `flip-+_binary64`

Counts

1 → 33

Calls

1 calls:

8.0ms

(pow.f64 (/.f64 y (+.f64 y z)) y)

series361.0ms

Counts

1 → 3

Calls

1 calls:

361.0ms

(pow.f64 (/.f64 y (+.f64 y z)) y)

simplify64.0ms

Algorithm

egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5421	695

prune30.0ms

Filtered

25 candidates to 36 candidates (-44.0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	33	3	36
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	34	3	37

Merged error: 0b

Counts

37 → 3

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
1.2b	(pow.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 (+.f64 y z))) y)
2.2b	(pow.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (cbrt.f64 (+.f64 y z)) (cbrt.f64 (+.f64 y z)))) y)

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

61×	`unpow-prod-down_binary64`
51×	`cbrt-prod_binary64`
48×	`*-un-lft-identity_binary64`
43×	`times-frac_binary64`
36×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
20×	`add-exp-log_binary64`
14×	`cbrt-div_binary64`
10×	`associate-/r/_binary64`
7×	`flip3-+_binary64` `flip-+_binary64` `pow-exp_binary64`
6×	`pow-unpow_binary64` `pow1_binary64` `distribute-lft-out_binary64`
5×	`div-exp_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `prod-exp_binary64` `frac-times_binary64`
2×	`pow-to-exp_binary64` `associate-r/_binary64` `pow1/3_binary64` `pow-pow_binary64` `sqr-pow_binary64` `div-inv_binary64` `associate-l/_binary64`

Counts

4 → 116

Calls

4 calls:

1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
13.0ms	(pow.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 (+.f64 y z))) y)
18.0ms	(pow.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (cbrt.f64 (+.f64 y z)) (cbrt.f64 (+.f64 y z)))) y)

series1.3s

Counts

4 → 12

Calls

4 calls:

165.0ms	(cbrt.f64 y)
168.0ms	(cbrt.f64 y)
449.0ms	(pow.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 (+.f64 y z))) y)
491.0ms	(pow.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (cbrt.f64 (+.f64 y z)) (cbrt.f64 (+.f64 y z)))) y)

simplify75.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5301	3064

prune118.0ms

Filtered

98 candidates to 128 candidates (-30.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	128	3	131

Merged error: 0b

Counts

131 → 3

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (exp.f64 (neg.f64 z)) y)

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

9×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `times-frac_binary64`
3×	`associate-/r_binary64` `add-cbrt-cube_binary64` `associate-/l_binary64`
2×	`associate-/l/_binary64` `add-exp-log_binary64`
1×	`add-log-exp_binary64` `pow1_binary64` `neg-sub0_binary64` `cbrt-undiv_binary64` `exp-diff_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `exp-neg_binary64`

Counts

1 → 29

Calls

1 calls:

6.0ms

(/.f64 (exp.f64 (neg.f64 z)) y)

series47.0ms

Counts

1 → 3

Calls

1 calls:

47.0ms

(/.f64 (exp.f64 (neg.f64 z)) y)

simplify94.0ms

Algorithm

egg-herbie

Counts

32 → 32

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4851	435
1	4851	435

prune20.0ms

Filtered

24 candidates to 32 candidates (-33.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	32	0	32
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	32	3	35

Merged error: 0b

Counts

35 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 y z)))
0.1b	(/.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 y z)))
0.5b	(pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 y z))) y)
0.5b	(pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 y z))) y)

rewrite87.0ms

Algorithm

rewrite-expression-head

Rules

194×	`sqrt-prod_binary64`
172×	`*-un-lft-identity_binary64`
168×	`times-frac_binary64`
120×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
96×	`unpow-prod-down_binary64`
26×	`distribute-lft-out_binary64`
14×	`associate-/r*_binary64` `add-exp-log_binary64`
12×	`associate-/l*_binary64`
8×	`add-cbrt-cube_binary64` `associate-/r/_binary64` `sqrt-div_binary64`
6×	`pow-unpow_binary64` `pow1_binary64`
4×	`flip3-+_binary64` `add-log-exp_binary64` `sqrt-undiv_binary64` `div-inv_binary64` `div-exp_binary64` `flip-+_binary64` `pow-exp_binary64`
2×	`pow-to-exp_binary64` `sqrt-pow2_binary64` `cbrt-undiv_binary64` `pow-pow_binary64` `sqr-pow_binary64` `clear-num_binary64` `frac-2neg_binary64`

Counts

4 → 268

Calls

4 calls:

9.0ms	(/.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 y z)))
9.0ms	(/.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 y z)))
14.0ms	(pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 y z))) y)
13.0ms	(pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 y z))) y)

series956.0ms

Counts

4 → 12

Calls

4 calls:

107.0ms	(/.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 y z)))
102.0ms	(/.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 y z)))
375.0ms	(pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 y z))) y)
371.0ms	(pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 y z))) y)

simplify116.0ms

Algorithm

egg-herbie

Counts

280 → 280

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5801	6720

prune145.0ms

Filtered

144 candidates to 280 candidates (-94.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	280	0	280
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	280	3	283

Merged error: 0b

Counts

283 → 3

regimes31.0ms

Accuracy

0% (1.6b remaining)

Error of 2.1b against oracle of 0.5b and baseline of 2.1b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	49
1	19	49

end0.0ms

sample1.4s

Algorithm

intervals

Results

388.0ms	6208×	body	128	valid
363.0ms	907×	body	1024	valid
145.0ms	594×	body	512	valid
72.0ms	199×	body	1024	invalid
53.0ms	1053×	body	128	nan
52.0ms	227×	body	512	invalid
41.0ms	285×	body	256	valid
27.0ms	413×	body	128	invalid
20.0ms	145×	body	256	invalid
5.0ms	6×	body	2048	valid

Details

analyze921.0ms

sample48.0ms

simplify55.0ms

prune3.0ms

localize8.0ms

rewrite11.0ms

series361.0ms

simplify64.0ms

prune30.0ms

localize22.0ms

rewrite50.0ms

series1.3s

simplify75.0ms

prune118.0ms

localize6.0ms

rewrite8.0ms

series47.0ms

simplify94.0ms

prune20.0ms

localize10.0ms

rewrite87.0ms

series956.0ms

simplify116.0ms

prune145.0ms

regimes31.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.4s

Profiling