Details

analyze130.0ms (6.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	50%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 19 to 15 computations (21.1% saved)

sample20.0ms (0.9%)

Algorithm

1×

intervals

Results

13.0ms

256×

body

128

valid

Compiler

Compiled 38 to 30 computations (21.1% saved)

simplify116.0ms (5.5%)

Algorithm

1×	egg-herbie

Rules

1041×	`fma-neg_binary64`
807×	`times-frac_binary64`
600×	`associate-/r/_binary64`
564×	`sub-neg_binary64`
392×	`div-sub_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	25
1	25	19
2	45	19
3	72	19
4	115	19
5	188	19
6	308	19
7	491	19
8	989	19
9	1283	19
10	3056	19
11	4408	19
12	4532	19
13	4794	19
14	4959	19
15	4564	19

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(-.f64 x (/.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1)))

Compiler

Compiled 62 to 46 computations (25.8% saved)

localize9.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 x (/.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1)))
✓	0.1b	(fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1)
✓	11.5b	(/.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1))

rewrite42.0ms (2%)

Algorithm

1×	rewrite-expression-head

Rules

37×	`add-cube-cbrt_binary64`
14×	`add-sqr-sqrt_binary64`
13×	`add-cbrt-cube_binary64`
12×	`pow1_binary64`
10×	`add-log-exp_binary64`

Counts

3 → 125

Calls

3 calls:

13.0ms

(-.f64 x (/.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1)))

11.0ms

(/.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1))

10.0ms

(fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1)

series13.0ms (0.6%)

Counts

3 → 36

Calls

3 calls:

5.0ms

(/.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1))

5.0ms

(fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1)

4.0ms

(-.f64 x (/.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1)))

simplify137.0ms (6.4%)

Algorithm

1×	egg-herbie

Rules

865×	`times-frac_binary64`
564×	`fma-def_binary64`
494×	`fma-neg_binary64`
335×	`cancel-sign-sub-inv_binary64`
159×	`distribute-rgt-neg-in_binary64`

Counts

161 → 243

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	185	3006
1	453	2750
2	1558	2585
3	4515	2571
4	4984	2571

prune158.0ms (7.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	241	2	243
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	242	2	244

Error

Counts

244 → 2

Alt Table

Status	Error	Program
▶	0.0b	(-.f64 x (*.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (/.f64 1 (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1))))
	29.8b	(-.f64 (.f64 x 1913600308823862514215888482863/633825300114114700748351602688) (fma.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 (.f64 x x) 162377988252285/70368744177664))

Status

Error

Program

▶

0.0b

(-.f64 x (*.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (/.f64 1 (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1))))

29.8b

(-.f64 (*.f64 x 1913600308823862514215888482863/633825300114114700748351602688) (fma.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 (*.f64 x x) 162377988252285/70368744177664))

Compiler

Compiled 5383 to 4015 computations (25.4% saved)

localize11.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 x (*.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (/.f64 1 (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1))))
	0.1b	(fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1)
✓	0.1b	(/.f64 1 (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1))
✓	11.4b	(*.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (/.f64 1 (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1)))

rewrite47.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-cube-cbrt_binary64`
18×	`add-sqr-sqrt_binary64`
15×	`add-cbrt-cube_binary64`
14×	`add-exp-log_binary64`
13×	`pow1_binary64`

Counts

3 → 139

Calls

3 calls:

14.0ms

(-.f64 x (*.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (/.f64 1 (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1))))

12.0ms

(/.f64 1 (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1))

12.0ms

(*.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (/.f64 1 (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1)))

series11.0ms (0.5%)

Counts

3 → 36

Calls

3 calls:

4.0ms

(*.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (/.f64 1 (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1)))

4.0ms

(-.f64 x (*.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (/.f64 1 (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1))))

3.0ms

(/.f64 1 (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1))

simplify140.0ms (6.6%)

Algorithm

1×	egg-herbie

Rules

663×	`fma-def_binary64`
559×	`times-frac_binary64`
449×	`cancel-sign-sub-inv_binary64`
372×	`fma-neg_binary64`
161×	`exp-prod_binary64`

Counts

175 → 279

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	219	3242
1	520	3016
2	1793	2851
3	4614	2842
4	4911	2842

prune201.0ms (9.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

Counts

346 → 2

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 x (*.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (/.f64 1 (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1))))
▶	29.8b	(-.f64 (.f64 x 1913600308823862514215888482863/633825300114114700748351602688) (fma.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 (.f64 x x) 162377988252285/70368744177664))

Status

Error

Program

✓

0.0b

(-.f64 x (*.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (/.f64 1 (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1))))

▶

29.8b

(-.f64 (*.f64 x 1913600308823862514215888482863/633825300114114700748351602688) (fma.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 (*.f64 x x) 162377988252285/70368744177664))

Compiler

Compiled 6367 to 4848 computations (23.9% saved)

localize6.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 x 1913600308823862514215888482863/633825300114114700748351602688) (fma.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 (.f64 x x) 162377988252285/70368744177664))
✓	0.1b	(fma.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 (*.f64 x x) 162377988252285/70368744177664)
✓	0.2b	(*.f64 x 1913600308823862514215888482863/633825300114114700748351602688)

rewrite40.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-cube-cbrt_binary64`
19×	`pow1_binary64`
18×	`add-sqr-sqrt_binary64`
11×	`add-cbrt-cube_binary64`
10×	`add-log-exp_binary64`

Counts

3 → 118

Calls

3 calls:

14.0ms

(-.f64 (*.f64 x 1913600308823862514215888482863/633825300114114700748351602688) (fma.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 (*.f64 x x) 162377988252285/70368744177664))

11.0ms

(*.f64 x 1913600308823862514215888482863/633825300114114700748351602688)

9.0ms

(fma.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 (*.f64 x x) 162377988252285/70368744177664)

series19.0ms (0.9%)

Counts

3 → 36

Calls

3 calls:

8.0ms

(fma.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 (*.f64 x x) 162377988252285/70368744177664)

6.0ms

(*.f64 x 1913600308823862514215888482863/633825300114114700748351602688)

5.0ms

(-.f64 (*.f64 x 1913600308823862514215888482863/633825300114114700748351602688) (fma.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 (*.f64 x x) 162377988252285/70368744177664))

simplify179.0ms (8.4%)

Algorithm

1×	egg-herbie

Rules

624×	`associate-l_binary64`
471×	`associate-r_binary64`
368×	`fma-def_binary64`
282×	`distribute-rgt-in_binary64`
241×	`distribute-lft-in_binary64`

Counts

154 → 237

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	141	1663
1	311	1566
2	965	1471
3	4154	1450
4	4551	1446
5	5000	1446
6	4794	1446

prune118.0ms (5.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

239 → 2

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 x (*.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (/.f64 1 (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1))))
✓	29.8b	(-.f64 (.f64 x 1913600308823862514215888482863/633825300114114700748351602688) (fma.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 (.f64 x x) 162377988252285/70368744177664))

Status

Error

Program

✓

0.0b

(-.f64 x (*.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (/.f64 1 (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1))))

✓

29.8b

(-.f64 (*.f64 x 1913600308823862514215888482863/633825300114114700748351602688) (fma.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 (*.f64 x x) 162377988252285/70368744177664))

Compiler

Compiled 3303 to 2211 computations (33.1% saved)

regimes108.0ms (5.1%)

Accuracy

Total 0.0b remaining (59.9%)

Threshold costs 0.0b (59.9%)

Compiler

Compiled 1498 to 1144 computations (23.6% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	22
1	21	22
2	30	22
3	38	22
4	42	22
5	43	22
6	41	22

end1.0ms (0%)

Compiler: Compiled 17 to 13 computations (23.5% saved)

sample617.0ms (28.9%)

Algorithm

1×

intervals

Results

409.0ms

8000×

body

128

valid

Compiler

Compiled 65 to 50 computations (23.1% saved)

Details

analyze130.0ms (6.1%)

sample20.0ms (0.9%)

simplify116.0ms (5.5%)

prune3.0ms (0.1%)

localize9.0ms (0.4%)

rewrite42.0ms (2%)

series13.0ms (0.6%)

simplify137.0ms (6.4%)

prune158.0ms (7.4%)

localize11.0ms (0.5%)

rewrite47.0ms (2.2%)

series11.0ms (0.5%)

simplify140.0ms (6.6%)

prune201.0ms (9.4%)

localize6.0ms (0.3%)

rewrite40.0ms (1.9%)

series19.0ms (0.9%)

simplify179.0ms (8.4%)

prune118.0ms (5.5%)

regimes108.0ms (5.1%)

simplify5.0ms (0.2%)

end1.0ms (0%)

sample617.0ms (28.9%)

Profiling