Details

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

sample51.0ms

Algorithm

intervals

Results

11.0ms	189×	body	80	valid
9.0ms	18×	body	1280	valid
7.0ms	21×	body	640	valid
4.0ms	20×	body	320	valid
2.0ms	7×	body	640	invalid
2.0ms	4×	body	1280	invalid
1.0ms	28×	body	80	nan
1.0ms	8×	body	160	valid
1.0ms	12×	body	80	invalid
0.0ms	3×	body	160	invalid
0.0ms	2×	body	320	invalid

simplify45.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4988	11
1	4988	11

prune12.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.7b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y)
0.0b	(/.f64 y (+.f64 y z))
5.1b	(pow.f64 (/.f64 y (+.f64 y z)) y)

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:

11.0ms	(/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y)
6.0ms	(/.f64 y (+.f64 y z))
8.0ms	(pow.f64 (/.f64 y (+.f64 y z)) y)

series89.0ms

Counts

3 → 9

Calls

3 calls:

36.0ms	(/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y)
7.0ms	(/.f64 y (+.f64 y z))
46.0ms	(pow.f64 (/.f64 y (+.f64 y z)) y)

simplify62.0ms

Algorithm

egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4950	2640
1	4950	2640

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

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
0.7b	(pow.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 (+.f64 y z))) y)
1.0b	(pow.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (cbrt.f64 (+.f64 y z)) (cbrt.f64 (+.f64 y z)))) y)

rewrite35.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)
11.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)

series167.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(cbrt.f64 y)
20.0ms	(cbrt.f64 y)
58.0ms	(pow.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 (+.f64 y z))) y)
70.0ms	(pow.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (cbrt.f64 (+.f64 y z)) (cbrt.f64 (+.f64 y z)))) y)

simplify54.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5590	1970

prune114.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: 0.0b

Counts

131 → 3

localize8.0ms

Local error

Found 1 expressions with local error:

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

rewrite6.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)

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

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

simplify61.0ms

Algorithm

egg-herbie

Counts

32 → 32

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4910	265
1	4910	265

prune31.0ms

Filtered

24 candidates to 32 candidates (-33.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Merged error: 0b

Counts

35 → 3

localize6.0ms

Local error

Found 2 expressions with local error:

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

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

8.0ms	(*.f64 y (exp.f64 z))
6.0ms	(/.f64 1 (*.f64 y (exp.f64 z)))

series14.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(*.f64 y (exp.f64 z))
8.0ms	(/.f64 1 (*.f64 y (exp.f64 z)))

simplify47.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5106	290

prune31.0ms

Filtered

31 candidates to 52 candidates (-67.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Merged error: 0b

Counts

55 → 3

regimes134.0ms

Accuracy

37.7% (1.0b remaining)

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

bsearch40.0ms

Steps

Iters	Range		Point
8	-1.8362980939726566e+45	-2.3009172947189526e+42	-4.0045564192006734e+44

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	43
1	29	43

end0.0ms

sample1.6s

Algorithm

intervals

Results

366.0ms	5987×	body	80	valid
365.0ms	700×	body	1280	valid
224.0ms	695×	body	640	valid
89.0ms	397×	body	320	valid
78.0ms	253×	body	640	invalid
51.0ms	1049×	body	80	nan
49.0ms	105×	body	1280	invalid
37.0ms	178×	body	320	invalid
30.0ms	221×	body	160	valid
21.0ms	334×	body	80	invalid
13.0ms	103×	body	160	invalid

Details

analyze908.0ms

sample51.0ms

simplify45.0ms

prune12.0ms

localize8.0ms

rewrite33.0ms

series89.0ms

simplify62.0ms

prune145.0ms

localize20.0ms

rewrite35.0ms

series167.0ms

simplify54.0ms

prune114.0ms

localize8.0ms

rewrite6.0ms

series6.0ms

simplify61.0ms

prune31.0ms

localize6.0ms

rewrite15.0ms

series14.0ms

simplify47.0ms

prune31.0ms

regimes134.0ms

bsearch40.0ms

simplify2.0ms

end0.0ms

sample1.6s

Profiling