Details

analyze56.0ms (1.9%)

Algorithm

1×

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
56.2%	43.7%	0.1%	5
65.6%	34.3%	0.1%	6
79.6%	20.3%	0.1%	7
83.5%	16.4%	0.1%	8
90.1%	9.8%	0.1%	9
91.9%	8%	0.1%	10
95.1%	4.8%	0.1%	11
96%	4%	0.1%	12
97.5%	2.4%	0.1%	13
97.9%	2%	0.1%	14

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample308.0ms (10.6%)

Algorithm

1×

intervals

Results

8.0ms

256×

body

128

valid

Compiler

Compiled 25 to 17 computations (32% saved)

simplify271.0ms (9.4%)

Algorithm

1×	egg-herbie

Rules

1222×	`fma-neg_binary64`
983×	`fma-def_binary64`
688×	`div-sub_binary64`
423×	`sub-neg_binary64`
412×	`distribute-rgt-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	18	13
2	35	13
3	74	13
4	151	13
5	245	13
6	641	13
7	1125	13
8	2158	13
9	2729	13
10	3037	13
11	2995	13
12	3049	13
13	3063	13
14	3569	13
15	3559	13
16	3559	13
17	3559	13
18	3559	13
19	3559	13
20	3655	13
21	3703	13
22	3785	13
23	3593	13

prune2.0ms (0.1%)

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

Error

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

Compiler

Compiled 33 to 21 computations (36.4% saved)

localize7.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

series17.0ms (0.6%)

Counts

1 → 24

Calls

1 calls:

17.0ms

(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

rewrite15.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`*-un-lft-identity_binary64`
40×	`add-sqr-sqrt_binary64`
30×	`times-frac_binary64`
19×	`distribute-lft-out--_binary64`
14×	`add-cube-cbrt_binary64`

Counts

1 → 60

Calls

1 calls:

8.0ms

(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

simplify103.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

702×	`fma-def_binary64`
518×	`times-frac_binary64`
339×	`fma-neg_binary64`
291×	`distribute-rgt-in_binary64`
228×	`cancel-sign-sub-inv_binary64`

Counts

84 → 109

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	224	2433
1	635	2369
2	2115	2256
3	4853	2256
4	5045	2256

prune81.0ms (2.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	106	3	109
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	106	4	110

Error

Counts

110 → 4

Alt Table

Status	Error	Program
	24.9b	(.f64 (/.f64 (-.f64 x y) (-.f64 4 (.f64 (+.f64 y x) (+.f64 y x)))) (+.f64 2 (+.f64 x y)))
	39.9b	(fma.f64 (/.f64 x y) -2 (+.f64 1 (/.f64 2 y)))
▶	0.1b	(/.f64 1 (/.f64 (-.f64 2 (+.f64 x y)) (-.f64 x y)))
✓	0.0b	(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

Compiler

Compiled 2652 to 1369 computations (48.4% saved)

localize12.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 2 (+.f64 x y)) (-.f64 x y))
✓	0.1b	(/.f64 1 (/.f64 (-.f64 2 (+.f64 x y)) (-.f64 x y)))

series38.0ms (1.3%)

Counts

2 → 48

Calls

2 calls:

20.0ms	(/.f64 1 (/.f64 (-.f64 2 (+.f64 x y)) (-.f64 x y)))
18.0ms	(/.f64 (-.f64 2 (+.f64 x y)) (-.f64 x y))

rewrite71.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Rules

292×	`*-un-lft-identity_binary64`
258×	`times-frac_binary64`
214×	`add-sqr-sqrt_binary64`
100×	`add-cube-cbrt_binary64`
83×	`distribute-lft-out--_binary64`

Counts

2 → 230

Calls

2 calls:

14.0ms	(/.f64 1 (/.f64 (-.f64 2 (+.f64 x y)) (-.f64 x y)))
8.0ms	(/.f64 (-.f64 2 (+.f64 x y)) (-.f64 x y))

simplify228.0ms (7.9%)

Algorithm

1×	egg-herbie

Rules

814×	`times-frac_binary64`
253×	`fma-neg_binary64`
207×	`fma-def_binary64`
179×	`+-commutative_binary64`
143×	`associate--r+_binary64`

Counts

278 → 300

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	338	7906
1	968	7346
2	3444	7309
3	4998	7309
4	4964	7309

prune199.0ms (6.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	300	0	300
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	300	4	304

Error

Counts

304 → 4

Alt Table

Status	Error	Program
▶	24.9b	(.f64 (/.f64 (-.f64 x y) (-.f64 4 (.f64 (+.f64 y x) (+.f64 y x)))) (+.f64 2 (+.f64 x y)))
	39.9b	(fma.f64 (/.f64 x y) -2 (+.f64 1 (/.f64 2 y)))
✓	0.1b	(/.f64 1 (/.f64 (-.f64 2 (+.f64 x y)) (-.f64 x y)))
✓	0.0b	(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

Compiler

Compiled 7772 to 4022 computations (48.3% saved)

localize15.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 4 (*.f64 (+.f64 y x) (+.f64 y x)))
✓	0.0b	(*.f64 (+.f64 y x) (+.f64 y x))
✓	0.1b	(.f64 (/.f64 (-.f64 x y) (-.f64 4 (.f64 (+.f64 y x) (+.f64 y x)))) (+.f64 2 (+.f64 x y)))
✓	23.9b	(/.f64 (-.f64 x y) (-.f64 4 (*.f64 (+.f64 y x) (+.f64 y x))))

series120.0ms (4.2%)

Counts

4 → 96

Calls

4 calls:

67.0ms	(.f64 (/.f64 (-.f64 x y) (-.f64 4 (.f64 (+.f64 y x) (+.f64 y x)))) (+.f64 2 (+.f64 x y)))
40.0ms	(/.f64 (-.f64 x y) (-.f64 4 (*.f64 (+.f64 y x) (+.f64 y x))))
8.0ms	(-.f64 4 (*.f64 (+.f64 y x) (+.f64 y x)))
5.0ms	(*.f64 (+.f64 y x) (+.f64 y x))

rewrite51.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Rules

69×	`*-un-lft-identity_binary64`
69×	`add-sqr-sqrt_binary64`
41×	`times-frac_binary64`
32×	`add-cube-cbrt_binary64`
30×	`associate-l_binary64`

Counts

4 → 168

Calls

4 calls:

15.0ms	(.f64 (/.f64 (-.f64 x y) (-.f64 4 (.f64 (+.f64 y x) (+.f64 y x)))) (+.f64 2 (+.f64 x y)))
6.0ms	(*.f64 (+.f64 y x) (+.f64 y x))
6.0ms	(/.f64 (-.f64 x y) (-.f64 4 (*.f64 (+.f64 y x) (+.f64 y x))))
3.0ms	(-.f64 4 (*.f64 (+.f64 y x) (+.f64 y x)))

simplify149.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

440×	`fma-def_binary64`
382×	`distribute-rgt-in_binary64`
362×	`distribute-lft-in_binary64`
228×	`associate-/l*_binary64`
225×	`times-frac_binary64`

Counts

264 → 303

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	523	8091
1	1760	7550
2	4982	7550

prune248.0ms (8.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	303	0	303
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	303	4	307

Error

Counts

307 → 4

Alt Table

Status	Error	Program
✓	24.9b	(.f64 (/.f64 (-.f64 x y) (-.f64 4 (.f64 (+.f64 y x) (+.f64 y x)))) (+.f64 2 (+.f64 x y)))
▶	39.9b	(fma.f64 (/.f64 x y) -2 (+.f64 1 (/.f64 2 y)))
✓	0.1b	(/.f64 1 (/.f64 (-.f64 2 (+.f64 x y)) (-.f64 x y)))
✓	0.0b	(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

Compiler

Compiled 10759 to 4989 computations (53.6% saved)

localize10.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 1 (/.f64 2 y))

series2.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

2.0ms

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

rewrite7.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64`
3×	`add-log-exp_binary64`
3×	`fma-def_binary64`
2×	`add-sqr-sqrt_binary64`
2×	`add-cube-cbrt_binary64`

Counts

1 → 17

Calls

1 calls:

6.0ms

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

simplify94.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

455×	`associate-+l+_binary64`
433×	`fma-def_binary64`
396×	`div-sub_binary64`
320×	`associate-/l*_binary64`
313×	`associate-+r+_binary64`

Counts

29 → 30

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	33	236
1	87	216
2	238	215
3	675	215
4	1602	215
5	2755	215
6	3855	215
7	4731	215
8	5222	215

prune26.0ms (0.9%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	30	0	30
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	30	4	34

Error

Counts

34 → 4

Alt Table

Status	Error	Program
✓	24.9b	(.f64 (/.f64 (-.f64 x y) (-.f64 4 (.f64 (+.f64 y x) (+.f64 y x)))) (+.f64 2 (+.f64 x y)))
✓	39.9b	(fma.f64 (/.f64 x y) -2 (+.f64 1 (/.f64 2 y)))
✓	0.1b	(/.f64 1 (/.f64 (-.f64 2 (+.f64 x y)) (-.f64 x y)))
✓	0.0b	(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

Compiler

Compiled 506 to 351 computations (30.6% saved)

regimes161.0ms (5.5%)

Accuracy

Total 0.0b remaining (67.1%)

Threshold costs 0.0b (67.1%)

Counts

55 → 1

Compiler

Compiled 2929 to 1942 computations (33.7% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64`
5×	`sub-neg_binary64`
3×	`*-commutative_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	13	13
2	24	13
3	32	13
4	36	13
5	37	13
6	37	13

end0.0ms (0%)

Compiler: Compiled 11 to 7 computations (36.4% saved)

sample602.0ms (20.8%)

Algorithm

1×

intervals

Results

298.0ms

8000×

body

128

valid

Compiler

Compiled 82 to 54 computations (34.1% saved)

Details

analyze56.0ms (1.9%)

sample308.0ms (10.6%)

simplify271.0ms (9.4%)

prune2.0ms (0.1%)

localize7.0ms (0.3%)

series17.0ms (0.6%)

rewrite15.0ms (0.5%)

simplify103.0ms (3.5%)

prune81.0ms (2.8%)

localize12.0ms (0.4%)

series38.0ms (1.3%)

rewrite71.0ms (2.4%)

simplify228.0ms (7.9%)

prune199.0ms (6.9%)

localize15.0ms (0.5%)

series120.0ms (4.2%)

rewrite51.0ms (1.8%)

simplify149.0ms (5.2%)

prune248.0ms (8.5%)

localize10.0ms (0.4%)

series2.0ms (0.1%)

rewrite7.0ms (0.2%)

simplify94.0ms (3.3%)

prune26.0ms (0.9%)

regimes161.0ms (5.5%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample602.0ms (20.8%)

Profiling