Details

analyze58.0ms

Algorithm

Search

True	Other	False	Iter
0%	12.5%	87.5%	0
0%	12.5%	87.5%	1
0%	12.5%	87.5%	2
3.1%	9.3%	87.5%	3
3.1%	6.2%	90.7%	4
4.7%	4.7%	90.7%	5
4.7%	3.5%	91.8%	6
5.6%	2.5%	91.8%	7
5.9%	1.8%	92.3%	8
6.4%	1.3%	92.3%	9
6.6%	0.9%	92.5%	10
6.8%	0.6%	92.5%	11
6.9%	0.5%	92.6%	12
7%	0.3%	92.6%	13
7.1%	0.2%	92.7%	14

sample23.0ms

Algorithm

intervals

Results

9.0ms	256×	body	80	valid
6.0ms	260×	pre	80	true
0.0ms	4×	body	80	invalid

simplify637.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (109.0ms)

Iter	Nodes	Cost
0	4909	19
1	4909	19

prune4.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.1b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(*.f64 m (-.f64 1 m))
0.1b	(/.f64 (*.f64 m (-.f64 1 m)) v)
0.1b	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64`
18×	`*-un-lft-identity_binary64`
12×	`associate-r_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`associate-l_binary64`
9×	`add-cube-cbrt_binary64`
8×	`flip3--_binary64` `flip--_binary64`
7×	`pow1_binary64`
6×	`associate-*r/_binary64` `difference-of-squares_binary64`
4×	`sub-neg_binary64` `frac-times_binary64`
3×	`associate-/r*_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `distribute-lft-out--_binary64` `times-frac_binary64`
2×	`pow-prod-down_binary64` `associate-/l/_binary64` `cbrt-undiv_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `div-exp_binary64` `associate-l/_binary64` `-commutative_binary64`
1×	`difference-of-sqr-1_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64`

Counts

3 → 83

Calls

3 calls:

7.0ms	(*.f64 m (-.f64 1 m))
8.0ms	(/.f64 (*.f64 m (-.f64 1 m)) v)
18.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))

series96.0ms

Counts

3 → 9

Calls

3 calls:

33.0ms	(*.f64 m (-.f64 1 m))
27.0ms	(/.f64 (*.f64 m (-.f64 1 m)) v)
36.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))

simplify54.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5106	1553

prune103.0ms

Filtered

66 candidates to 92 candidates (-39.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	87	5	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	88	5	93

Merged error: 0b

Counts

93 → 5

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 v (-.f64 1 m))
0.0b	(/.f64 m (/.f64 v (-.f64 1 m)))
0.1b	(*.f64 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1) (-.f64 1 m))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

171×	`times-frac_binary64`
155×	`add-sqr-sqrt_binary64`
137×	`*-un-lft-identity_binary64`
81×	`add-cube-cbrt_binary64`
40×	`difference-of-squares_binary64`
30×	`associate-/r*_binary64`
18×	`distribute-lft-out--_binary64`
13×	`associate-l_binary64`
12×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
11×	`flip3--_binary64` `associate-/r/_binary64` `flip--_binary64`
6×	`associate-r_binary64` `associate-/l*_binary64` `div-inv_binary64`
5×	`pow1_binary64`
4×	`cbrt-undiv_binary64` `div-exp_binary64` `frac-times_binary64`
3×	`add-log-exp_binary64` `difference-of-sqr-1_binary64`
2×	`sub-neg_binary64` `associate-r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-l/_binary64`
1×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

3 → 196

Calls

3 calls:

6.0ms	(/.f64 v (-.f64 1 m))
10.0ms	(/.f64 m (/.f64 v (-.f64 1 m)))
40.0ms	(*.f64 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1) (-.f64 1 m))

series79.0ms

Counts

3 → 9

Calls

3 calls:

28.0ms	(/.f64 v (-.f64 1 m))
26.0ms	(/.f64 m (/.f64 v (-.f64 1 m)))
24.0ms	(*.f64 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1) (-.f64 1 m))

simplify78.0ms

Algorithm

egg-herbie

Counts

205 → 205

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5219	4285

prune169.0ms

Filtered

147 candidates to 205 candidates (-39.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	205	0	205
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	205	5	210

Merged error: 0b

Counts

210 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(*.f64 m (-.f64 1 m))
0.1b	(/.f64 (*.f64 m (-.f64 1 m)) v)
0.1b	(.f64 (.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))
0.1b	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

32×	`frac-times_binary64`
30×	`add-sqr-sqrt_binary64`
25×	`*-un-lft-identity_binary64`
23×	`flip3--_binary64` `flip--_binary64`
20×	`associate-r_binary64`
18×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
16×	`associate-*l/_binary64`
14×	`associate-*r/_binary64`
13×	`pow1_binary64`
12×	`flip3-+_binary64` `flip-+_binary64`
11×	`add-cube-cbrt_binary64` `associate-l_binary64`
8×	`difference-of-squares_binary64`
6×	`cbrt-unprod_binary64` `prod-exp_binary64`
5×	`pow-prod-down_binary64`
4×	`add-log-exp_binary64` `sub-neg_binary64` `distribute-lft-out--_binary64` `sqrt-prod_binary64`
3×	`associate-/r_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `times-frac_binary64` `-commutative_binary64`
2×	`associate-/l/_binary64` `distribute-lft-out_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `div-exp_binary64`
1×	`difference-of-sqr-1_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64`

Counts

4 → 134

Calls

4 calls:

7.0ms	(*.f64 m (-.f64 1 m))
10.0ms	(/.f64 (*.f64 m (-.f64 1 m)) v)
21.0ms	(.f64 (.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))
16.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))

series146.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(*.f64 m (-.f64 1 m))
26.0ms	(/.f64 (*.f64 m (-.f64 1 m)) v)
39.0ms	(.f64 (.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))
48.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))

simplify78.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5213	3862

prune155.0ms

Filtered

107 candidates to 146 candidates (-36.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	146	0	146
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	146	5	151

Merged error: 0b

Counts

151 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 (-.f64 (.f64 (/.f64 m (sqrt.f64 v)) (/.f64 (-.f64 1 m) (sqrt.f64 v))) 1) (-.f64 1 m))
0.2b	(/.f64 (-.f64 1 m) (sqrt.f64 v))
0.3b	(/.f64 m (sqrt.f64 v))
0.3b	(*.f64 (/.f64 m (sqrt.f64 v)) (/.f64 (-.f64 1 m) (sqrt.f64 v)))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

148×	`add-sqr-sqrt_binary64`
120×	`times-frac_binary64`
116×	`*-un-lft-identity_binary64`
74×	`add-cube-cbrt_binary64`
66×	`sqrt-prod_binary64`
46×	`associate-r_binary64`
28×	`difference-of-squares_binary64`
25×	`associate-l_binary64`
22×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
14×	`distribute-lft-out--_binary64`
12×	`associate-/r*_binary64`
10×	`unswap-sqr_binary64`
9×	`associate-/l*_binary64`
8×	`pow1_binary64`
7×	`flip3--_binary64` `flip--_binary64`
6×	`cbrt-undiv_binary64` `div-exp_binary64`
5×	`cbrt-unprod_binary64` `prod-exp_binary64` `frac-times_binary64`
4×	`add-log-exp_binary64` `div-inv_binary64`
3×	`associate-r/_binary64` `associate-l/_binary64`
2×	`pow-prod-down_binary64` `associate-/l/_binary64` `sub-neg_binary64` `clear-num_binary64` `frac-2neg_binary64` `*-commutative_binary64`
1×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64` `div-sub_binary64`

Counts

4 → 224

Calls

4 calls:

19.0ms	(.f64 (-.f64 (.f64 (/.f64 m (sqrt.f64 v)) (/.f64 (-.f64 1 m) (sqrt.f64 v))) 1) (-.f64 1 m))
7.0ms	(/.f64 (-.f64 1 m) (sqrt.f64 v))
4.0ms	(/.f64 m (sqrt.f64 v))
26.0ms	(*.f64 (/.f64 m (sqrt.f64 v)) (/.f64 (-.f64 1 m) (sqrt.f64 v)))

series140.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(.f64 (-.f64 (.f64 (/.f64 m (sqrt.f64 v)) (/.f64 (-.f64 1 m) (sqrt.f64 v))) 1) (-.f64 1 m))
21.0ms	(/.f64 (-.f64 1 m) (sqrt.f64 v))
37.0ms	(/.f64 m (sqrt.f64 v))
40.0ms	(*.f64 (/.f64 m (sqrt.f64 v)) (/.f64 (-.f64 1 m) (sqrt.f64 v)))

simplify85.0ms

Algorithm

egg-herbie

Counts

236 → 236

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5438	4551

prune167.0ms

Filtered

154 candidates to 236 candidates (-53.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	236	0	236
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	236	5	241

Merged error: 0b

Counts

241 → 5

regimes30.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	33	19
1	33	19

end0.0ms

sample576.0ms

Algorithm

intervals

Results

281.0ms	8000×	body	80	valid
149.0ms	8046×	pre	80	true
4.0ms	46×	body	80	invalid

Details

analyze58.0ms

sample23.0ms

simplify637.0ms

prune4.0ms

localize9.0ms

rewrite37.0ms

series96.0ms

simplify54.0ms

prune103.0ms

localize7.0ms

rewrite66.0ms

series79.0ms

simplify78.0ms

prune169.0ms

localize12.0ms

rewrite60.0ms

series146.0ms

simplify78.0ms

prune155.0ms

localize9.0ms

rewrite69.0ms

series140.0ms

simplify85.0ms

prune167.0ms

regimes30.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample576.0ms

Profiling