Details

analyze40.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
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
43.7%	56.2%	0.1%	5
46.8%	53.1%	0.1%	6
78%	21.9%	0.1%	7
82.7%	17.2%	0.1%	8
89%	10.9%	0.1%	9
91.3%	8.6%	0.1%	10
94.4%	5.5%	0.1%	11
95.6%	4.3%	0.1%	12
97.2%	2.7%	0.1%	13
97.8%	2.1%	0.1%	14

sample11.0ms

Algorithm

intervals

Results

5.0ms

256×

body

128

valid

simplify8.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	9	10
1	9	10

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

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (+.f64 x y) (+.f64 y 1))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

31×	`*-un-lft-identity_binary64`
16×	`times-frac_binary64`
11×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
10×	`distribute-lft-out_binary64`
4×	`associate-/r_binary64` `associate-/l_binary64`
3×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
2×	`flip3-+_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `flip-+_binary64`
1×	`add-log-exp_binary64` `pow1_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

1 → 40

Calls

1 calls:

8.0ms

(/.f64 (+.f64 x y) (+.f64 y 1))

series54.0ms

Counts

1 → 3

Calls

1 calls:

54.0ms

(/.f64 (+.f64 x y) (+.f64 y 1))

simplify80.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4955	702
1	4955	702

prune28.0ms

Filtered

28 candidates to 43 candidates (-53.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	40	3	43
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	40	4	44

Merged error: 0b

Counts

44 → 4

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/.f64 1 (+.f64 y 1))
0.1b	(*.f64 (+.f64 x y) (/.f64 1 (+.f64 y 1)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

37×	`*-un-lft-identity_binary64`
27×	`add-sqr-sqrt_binary64`
26×	`times-frac_binary64`
20×	`add-cube-cbrt_binary64`
18×	`associate-r_binary64`
12×	`add-exp-log_binary64`
9×	`add-cbrt-cube_binary64`
8×	`distribute-lft-out_binary64`
5×	`pow1_binary64`
4×	`flip3-+_binary64` `associate-/r_binary64` `associate-/r/_binary64` `associate-l*_binary64` `flip-+_binary64`
3×	`unswap-sqr_binary64` `prod-exp_binary64` `associate-/l*_binary64`
2×	`add-log-exp_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `rec-exp_binary64` `div-inv_binary64` `div-exp_binary64` `frac-times_binary64` `associate-*l/_binary64`
1×	`pow-prod-down_binary64` `associate-r/_binary64` `clear-num_binary64` `inv-pow_binary64` `frac-2neg_binary64` `un-div-inv_binary64` `pow-flip_binary64` `-commutative_binary64`

Counts

2 → 81

Calls

2 calls:

5.0ms	(/.f64 1 (+.f64 y 1))
13.0ms	(*.f64 (+.f64 x y) (/.f64 1 (+.f64 y 1)))

series75.0ms

Counts

2 → 6

Calls

2 calls:

17.0ms	(/.f64 1 (+.f64 y 1))
58.0ms	(*.f64 (+.f64 x y) (/.f64 1 (+.f64 y 1)))

simplify76.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5487	1113

prune49.0ms

Filtered

53 candidates to 87 candidates (-64.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	87	0	87
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	87	4	91

Merged error: 0b

Counts

91 → 4

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (+.f64 y 1) (+.f64 x y))
0.1b	(/.f64 1 (/.f64 (+.f64 y 1) (+.f64 x y)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

155×	`*-un-lft-identity_binary64`
146×	`times-frac_binary64`
71×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
42×	`distribute-lft-out_binary64`
26×	`associate-/r*_binary64`
12×	`add-exp-log_binary64`
11×	`associate-/r/_binary64`
9×	`add-cbrt-cube_binary64`
7×	`associate-/l*_binary64`
6×	`flip3-+_binary64` `div-inv_binary64` `flip-+_binary64`
5×	`div-exp_binary64`
4×	`cbrt-undiv_binary64`
3×	`pow1_binary64`
2×	`associate-/l/_binary64` `add-log-exp_binary64` `clear-num_binary64` `frac-2neg_binary64` `rec-exp_binary64`
1×	`inv-pow_binary64` `pow-flip_binary64`

Counts

2 → 150

Calls

2 calls:

8.0ms	(/.f64 (+.f64 y 1) (+.f64 x y))
11.0ms	(/.f64 1 (/.f64 (+.f64 y 1) (+.f64 x y)))

series96.0ms

Counts

2 → 6

Calls

2 calls:

59.0ms	(/.f64 (+.f64 y 1) (+.f64 x y))
37.0ms	(/.f64 1 (/.f64 (+.f64 y 1) (+.f64 x y)))

simplify85.0ms

Algorithm

egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4961	3092
1	4961	3092

prune78.0ms

Filtered

85 candidates to 156 candidates (-83.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	156	0	156
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	156	4	160

Merged error: 0b

Counts

160 → 4

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (+.f64 y 1))
0.1b	(*.f64 (/.f64 1 (sqrt.f64 (+.f64 y 1))) (/.f64 (+.f64 x y) (sqrt.f64 (+.f64 y 1))))
0.1b	(/.f64 1 (sqrt.f64 (+.f64 y 1)))
0.1b	(/.f64 (+.f64 x y) (sqrt.f64 (+.f64 y 1)))

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

139×	`*-un-lft-identity_binary64`
120×	`times-frac_binary64`
116×	`add-sqr-sqrt_binary64`
79×	`sqrt-prod_binary64`
69×	`add-cube-cbrt_binary64`
34×	`associate-r_binary64`
32×	`distribute-lft-out_binary64`
27×	`associate-l_binary64`
26×	`add-exp-log_binary64`
20×	`add-cbrt-cube_binary64`
15×	`unswap-sqr_binary64`
14×	`associate-/r*_binary64`
10×	`sqrt-div_binary64`
9×	`pow1_binary64`
8×	`associate-/r/_binary64`
7×	`associate-/l*_binary64` `div-exp_binary64`
6×	`flip3-+_binary64` `cbrt-undiv_binary64` `prod-exp_binary64` `flip-+_binary64`
4×	`add-log-exp_binary64` `cbrt-unprod_binary64` `div-inv_binary64`
3×	`rec-exp_binary64` `pow-flip_binary64`
2×	`associate-/l/_binary64` `pow1/2_binary64` `sqrt-pow1_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`pow-prod-down_binary64` `associate-r/_binary64` `rem-sqrt-square_binary64` `inv-pow_binary64` `frac-times_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

4 → 219

Calls

4 calls:

3.0ms	(sqrt.f64 (+.f64 y 1))
34.0ms	(*.f64 (/.f64 1 (sqrt.f64 (+.f64 y 1))) (/.f64 (+.f64 x y) (sqrt.f64 (+.f64 y 1))))
7.0ms	(/.f64 1 (sqrt.f64 (+.f64 y 1)))
11.0ms	(/.f64 (+.f64 x y) (sqrt.f64 (+.f64 y 1)))

series221.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(sqrt.f64 (+.f64 y 1))
41.0ms	(*.f64 (/.f64 1 (sqrt.f64 (+.f64 y 1))) (/.f64 (+.f64 x y) (sqrt.f64 (+.f64 y 1))))
36.0ms	(/.f64 1 (sqrt.f64 (+.f64 y 1)))
118.0ms	(/.f64 (+.f64 x y) (sqrt.f64 (+.f64 y 1)))

simplify108.0ms

Algorithm

egg-herbie

Counts

231 → 231

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4968	4611
1	4968	4611

prune157.0ms

Filtered

126 candidates to 231 candidates (-83.3%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	231	0	231
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	231	4	235

Merged error: 0b

Counts

235 → 4

regimes33.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	9	10

end0.0ms

sample302.0ms

Algorithm

intervals

Results

170.0ms	7998×	body	128	valid
0.0ms	1×	body	1024	valid
0.0ms	1×	body	256	valid

Details

analyze40.0ms

sample11.0ms

simplify8.0ms

prune1.0ms

localize4.0ms

rewrite11.0ms

series54.0ms

simplify80.0ms

prune28.0ms

localize5.0ms

rewrite25.0ms

series75.0ms

simplify76.0ms

prune49.0ms

localize6.0ms

rewrite35.0ms

series96.0ms

simplify85.0ms

prune78.0ms

localize8.0ms

rewrite80.0ms

series221.0ms

simplify108.0ms

prune157.0ms

regimes33.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample302.0ms

Profiling