Details

analyze578.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
3.1%	90.5%	6.3%	6
4.7%	85.9%	9.5%	7
21.1%	64%	14.9%	8
23.4%	58.9%	17.7%	9
27.7%	51.3%	21%	10
28.9%	48.5%	22.6%	11
31.1%	44.4%	24.5%	12
31.7%	42.9%	25.4%	13
32.7%	41%	26.3%	14

sample67.0ms

Algorithm

intervals

Results

26.0ms	53×	body	1280	valid
14.0ms	45×	body	640	valid
7.0ms	130×	body	80	valid
3.0ms	14×	body	320	valid
2.0ms	9×	body	640	invalid
2.0ms	10×	body	320	invalid
2.0ms	14×	body	160	valid
1.0ms	3×	body	1280	invalid
1.0ms	4×	body	160	invalid
0.0ms	6×	body	80	nan
0.0ms	3×	body	80	invalid

simplify42.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4985	9
1	4985	9

prune5.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: 10.2b

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (pow.f64 (/.f64 x (+.f64 x y)) x) x)
0.0b	(/.f64 x (+.f64 x y))
6.5b	(pow.f64 (/.f64 x (+.f64 x y)) x)

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 172

Calls

3 calls:

12.0ms	(/.f64 (pow.f64 (/.f64 x (+.f64 x y)) x) x)
5.0ms	(/.f64 x (+.f64 x y))
7.0ms	(pow.f64 (/.f64 x (+.f64 x y)) x)

series77.0ms

Counts

3 → 9

Calls

3 calls:

32.0ms	(/.f64 (pow.f64 (/.f64 x (+.f64 x y)) x) x)
6.0ms	(/.f64 x (+.f64 x y))
39.0ms	(pow.f64 (/.f64 x (+.f64 x y)) x)

simplify60.0ms

Algorithm

egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4951	2646
1	4951	2646

prune82.0ms

Filtered

131 candidates to 181 candidates (-38.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	178	3	181
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	179	3	182

Merged error: 0.0b

Counts

182 → 3

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite7.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 y)) x)

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

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

simplify62.0ms

Algorithm

egg-herbie

Counts

32 → 32

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4919	265
1	4919	265

prune19.0ms

Filtered

24 candidates to 32 candidates (-33.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Merged error: 0b

Counts

35 → 3

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/.f64 1 (*.f64 x (exp.f64 y)))
0.0b	(*.f64 x (exp.f64 y))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-exp-log_binary64`
9×	`add-cbrt-cube_binary64`
8×	`add-sqr-sqrt_binary64`
7×	`pow1_binary64`
6×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
4×	`prod-exp_binary64` `div-exp_binary64`
3×	`associate-r_binary64` `associate-l_binary64` `associate-/l*_binary64` `times-frac_binary64`
2×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `1-exp_binary64` `cbrt-undiv_binary64` `rec-exp_binary64` `pow-flip_binary64`
1×	`associate-/r_binary64` `unswap-sqr_binary64` `clear-num_binary64` `inv-pow_binary64` `frac-2neg_binary64` `div-inv_binary64` `-commutative_binary64`

Counts

2 → 46

Calls

2 calls:

6.0ms	(/.f64 1 (*.f64 x (exp.f64 y)))
5.0ms	(*.f64 x (exp.f64 y))

series13.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(/.f64 1 (*.f64 x (exp.f64 y)))
6.0ms	(*.f64 x (exp.f64 y))

simplify46.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4957	290
1	4957	290

prune18.0ms

Filtered

31 candidates to 52 candidates (-67.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	52	0	52
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	52	3	55

Merged error: 0b

Counts

55 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x y)))
0.0b	(/.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x y)))
0.5b	(pow.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x y))) x)
0.5b	(pow.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x y))) x)

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

8.0ms	(/.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x y)))
8.0ms	(/.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x y)))
13.0ms	(pow.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x y))) x)
12.0ms	(pow.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x y))) x)

series132.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(/.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x y)))
15.0ms	(/.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x y)))
53.0ms	(pow.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x y))) x)
50.0ms	(pow.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x y))) x)

simplify74.0ms

Algorithm

egg-herbie

Counts

280 → 280

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4969	4176
1	4969	4176

prune72.0ms

Filtered

144 candidates to 280 candidates (-94.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Merged error: 0b

Counts

283 → 3

regimes69.0ms

Accuracy

91.3% (1.0b remaining)

Error of 1.7b against oracle of 0.7b and baseline of 12.5b

bsearch45.0ms

Steps

Iters	Range		Point
6	6.4552520777138184e-12	1.0076550123424899e-10	9.896618786202479e-11
10	-1108139.5612565426	-1.3584938187876103e-11	-5.660849715351774

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	33
1	27	33

end0.0ms

sample1.9s

Algorithm

intervals

Results

709.0ms	1422×	body	1280	valid
368.0ms	1216×	body	640	valid
235.0ms	4359×	body	80	valid
129.0ms	640×	body	320	valid
73.0ms	263×	body	640	invalid
47.0ms	106×	body	1280	invalid
45.0ms	363×	body	160	valid
32.0ms	169×	body	320	invalid
11.0ms	94×	body	160	invalid
8.0ms	150×	body	80	invalid
8.0ms	191×	body	80	nan

Details

analyze578.0ms

sample67.0ms

simplify42.0ms

prune5.0ms

localize6.0ms

rewrite33.0ms

series77.0ms

simplify60.0ms

prune82.0ms

localize6.0ms

rewrite7.0ms

series6.0ms

simplify62.0ms

prune19.0ms

localize5.0ms

rewrite12.0ms

series13.0ms

simplify46.0ms

prune18.0ms

localize9.0ms

rewrite57.0ms

series132.0ms

simplify74.0ms

prune72.0ms

regimes69.0ms

bsearch45.0ms

simplify2.0ms

end0.0ms

sample1.9s

Profiling