Details

analyze880.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

sample55.0ms

Algorithm

intervals

Results

13.0ms	26×	body	1280	valid
12.0ms	202×	body	80	valid
4.0ms	12×	body	640	valid
3.0ms	10×	body	640	invalid
2.0ms	11×	body	320	valid
2.0ms	11×	body	320	invalid
1.0ms	32×	body	80	nan
1.0ms	3×	body	1280	invalid
1.0ms	5×	body	160	valid
1.0ms	5×	body	160	invalid
1.0ms	10×	body	80	invalid

simplify90.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4962	16
1	4962	16

prune4.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.5b

Counts

2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
0.0b	(/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y)
0.0b	(/.f64 y (+.f64 y z))
6.8b	(pow.f64 (/.f64 y (+.f64 y z)) y)

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac_binary64`
121×	`*-un-lft-identity_binary64`
90×	`unpow-prod-down_binary64`
81×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
25×	`associate-/l*_binary64`
20×	`distribute-lft-out_binary64`
17×	`add-exp-log_binary64`
12×	`associate-/r/_binary64`
8×	`add-cbrt-cube_binary64`
7×	`flip3-+_binary64` `associate-/r*_binary64` `div-inv_binary64` `div-exp_binary64` `flip-+_binary64`
6×	`add-log-exp_binary64`
5×	`pow1_binary64` `sqr-pow_binary64`
4×	`pow-exp_binary64`
3×	`pow-unpow_binary64`
2×	`pow-to-exp_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`pow-pow_binary64` `+-commutative_binary64` `sum-log_binary64`

Counts

4 → 184

Calls

4 calls:

24.0ms	(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
11.0ms	(/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y)
5.0ms	(/.f64 y (+.f64 y z))
7.0ms	(pow.f64 (/.f64 y (+.f64 y z)) y)

series421.0ms

Counts

4 → 12

Calls

4 calls:

90.0ms	(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
131.0ms	(/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y)
25.0ms	(/.f64 y (+.f64 y z))
175.0ms	(pow.f64 (/.f64 y (+.f64 y z)) y)

simplify105.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4962	4340
1	4962	4340

prune130.0ms

Filtered

143 candidates to 196 candidates (-37.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	191	5	196
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	192	5	197

Merged error: 0b

Counts

197 → 5

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (+.f64 y z))
0.6b	(cbrt.f64 (+.f64 y z))
1.4b	(pow.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 (+.f64 y z))) y)
2.1b	(pow.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (cbrt.f64 (+.f64 y z)) (cbrt.f64 (+.f64 y z)))) y)

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

61×	`unpow-prod-down_binary64`
53×	`cbrt-prod_binary64`
52×	`*-un-lft-identity_binary64`
43×	`times-frac_binary64`
36×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
20×	`add-exp-log_binary64`
18×	`cbrt-div_binary64`
10×	`associate-/r/_binary64`
9×	`flip3-+_binary64` `flip-+_binary64`
8×	`distribute-lft-out_binary64`
7×	`pow-exp_binary64`
6×	`pow-unpow_binary64` `pow1_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 → 122

Calls

4 calls:

3.0ms	(cbrt.f64 (+.f64 y z))
3.0ms	(cbrt.f64 (+.f64 y z))
13.0ms	(pow.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 (+.f64 y z))) y)
16.0ms	(pow.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (cbrt.f64 (+.f64 y z)) (cbrt.f64 (+.f64 y z)))) y)

series703.0ms

Counts

4 → 12

Calls

4 calls:

118.0ms	(cbrt.f64 (+.f64 y z))
118.0ms	(cbrt.f64 (+.f64 y z))
218.0ms	(pow.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 (+.f64 y z))) y)
250.0ms	(pow.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (cbrt.f64 (+.f64 y z)) (cbrt.f64 (+.f64 y z)))) y)

simplify118.0ms

Algorithm

egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4980	3458
1	4980	3458

prune129.0ms

Filtered

104 candidates to 134 candidates (-28.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	134	0	134
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	134	5	139

Merged error: 0b

Counts

139 → 5

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64`
10×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
9×	`times-frac_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64`
3×	`associate-/r_binary64` `add-exp-log_binary64` `associate-/l_binary64`
2×	`associate-/l/_binary64` `pow1_binary64`
1×	`flip3-+_binary64` `distribute-lft-out_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` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

2 → 41

Calls

2 calls:

5.0ms	(/.f64 (exp.f64 (neg.f64 z)) y)
6.0ms	(+.f64 x (/.f64 (exp.f64 (neg.f64 z)) y))

series51.0ms

Counts

2 → 6

Calls

2 calls:

25.0ms	(/.f64 (exp.f64 (neg.f64 z)) y)
26.0ms	(+.f64 x (/.f64 (exp.f64 (neg.f64 z)) y))

simplify132.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 0 (117.0ms)

Iter	Nodes	Cost
0	4893	664
1	4893	664

prune26.0ms

Filtered

36 candidates to 47 candidates (-30.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	47	0	47
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	47	5	52

Merged error: 0b

Counts

52 → 5

localize11.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.7b	(pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 y z))) y)
0.7b	(pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 y z))) y)

rewrite54.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:

7.0ms	(/.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 y z)))
7.0ms	(/.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 y z)))
11.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)

series496.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(/.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 y z)))
57.0ms	(/.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 y z)))
198.0ms	(pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 y z))) y)
187.0ms	(pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 y z))) y)

simplify155.0ms

Algorithm

egg-herbie

Counts

280 → 280

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4971	6738
1	4971	6738

prune135.0ms

Filtered

144 candidates to 280 candidates (-94.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	280	0	280
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	280	5	285

Merged error: 0b

Counts

285 → 5

regimes39.0ms

Accuracy

0% (1.6b remaining)

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

bsearch0.0ms

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	49
1	19	49

end0.0ms

sample1.5s

Algorithm

intervals

Results

360.0ms	6023×	body	80	valid
340.0ms	668×	body	1280	valid
228.0ms	712×	body	640	valid
82.0ms	383×	body	320	valid
74.0ms	248×	body	640	invalid
49.0ms	1052×	body	80	nan
48.0ms	105×	body	1280	invalid
40.0ms	192×	body	320	invalid
28.0ms	214×	body	160	valid
20.0ms	363×	body	80	invalid
12.0ms	94×	body	160	invalid

Details

analyze880.0ms

sample55.0ms

simplify90.0ms

prune4.0ms

localize9.0ms

rewrite58.0ms

series421.0ms

simplify105.0ms

prune130.0ms

localize17.0ms

rewrite41.0ms

series703.0ms

simplify118.0ms

prune129.0ms

localize6.0ms

rewrite13.0ms

series51.0ms

simplify132.0ms

prune26.0ms

localize11.0ms

rewrite54.0ms

series496.0ms

simplify155.0ms

prune135.0ms

regimes39.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample1.5s

Profiling