Details

analyze128.0ms (8.2%)

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)

sample19.0ms (1.2%)

Algorithm

1×

intervals

Results

13.0ms

256×

body

128

valid

Compiler

Compiled 38 to 30 computations (21.1% saved)

simplify117.0ms (7.5%)

Algorithm

1×	egg-herbie

Rules

1572×	`fma-neg_binary64`
1419×	`fma-def_binary64`
565×	`sub-neg_binary64`
397×	`div-sub_binary64`
395×	`distribute-rgt-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	25
1	31	19
2	50	19
3	71	19
4	84	19
5	103	19
6	137	19
7	208	19
8	304	19
9	493	19
10	931	19
11	1441	19
12	2503	19
13	3175	19
14	3604	19
15	4118	19
16	4302	19
17	4751	19

prune3.0ms (0.2%)

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 (/.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1)) x)

Compiler

Compiled 62 to 46 computations (25.8% saved)

localize10.0ms (0.6%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (/.f64 (fma.f64 x 609359547581365/2251799813685248 162377988252285/70368744177664) (fma.f64 x (fma.f64 x 3228900788839551/72057594037927936 8937753748486939/9007199254740992) 1)) x)
✓	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.7%)

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:

14.0ms

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

13.0ms

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

8.0ms

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

series14.0ms (0.9%)

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)

5.0ms

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

simplify131.0ms (8.4%)

Algorithm

1×	egg-herbie

Rules

816×	`fma-neg_binary64`
803×	`times-frac_binary64`
543×	`fma-def_binary64`
340×	`cancel-sign-sub-inv_binary64`
301×	`distribute-rgt-in_binary64`

Counts

161 → 232

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	186	2805
1	451	2647
2	1505	2541
3	4827	2531
4	5334	2531

prune142.0ms (9.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	231	1	232
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	231	2	233

Error

Counts

233 → 2

Alt Table

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

Status

Error

Program

▶

29.8b

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

✓

0.0b

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

Compiler

Compiled 4424 to 3158 computations (28.6% saved)

localize6.0ms (0.4%)

Local error

Found 2 expressions with local error:

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

New

Error

Program

✓

0.2b

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

✓

0.2b

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

rewrite25.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`pow1_binary64`
13×	`fma-udef_binary64`
12×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64`
8×	`add-exp-log_binary64`

Counts

2 → 77

Calls

2 calls:

12.0ms

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

10.0ms

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

series15.0ms (1%)

Counts

2 → 24

Calls

2 calls:

10.0ms

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

5.0ms

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

simplify110.0ms (7%)

Algorithm

1×	egg-herbie

Rules

788×	`fma-neg_binary64`
693×	`distribute-rgt-in_binary64`
386×	`unswap-sqr_binary64`
284×	`cancel-sign-sub-inv_binary64`
238×	`distribute-rgt-neg-in_binary64`

Counts

101 → 168

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	89	866
1	220	725
2	745	717
3	2027	711
4	4917	707
5	5356	707

prune55.0ms (3.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

170 → 2

Alt Table

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

Status

Error

Program

✓

29.8b

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

✓

0.0b

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

Compiler

Compiled 1418 to 1103 computations (22.2% saved)

regimes51.0ms (3.3%)

Accuracy

Total 0.0b remaining (63.8%)

Threshold costs 0.0b (63.8%)

Compiler

Compiled 588 to 444 computations (24.5% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	25
1	25	25
2	29	25
3	31	25
4	32	25
5	31	25

end1.0ms (0.1%)

Compiler: Compiled 18 to 14 computations (22.2% saved)

sample682.0ms (43.9%)

Algorithm

1×

intervals

Results

478.0ms

8000×

body

128

valid

Compiler

Compiled 62 to 48 computations (22.6% saved)

Details

analyze128.0ms (8.2%)

sample19.0ms (1.2%)

simplify117.0ms (7.5%)

prune3.0ms (0.2%)

localize10.0ms (0.6%)

rewrite42.0ms (2.7%)

series14.0ms (0.9%)

simplify131.0ms (8.4%)

prune142.0ms (9.1%)

localize6.0ms (0.4%)

rewrite25.0ms (1.6%)

series15.0ms (1%)

simplify110.0ms (7%)

prune55.0ms (3.5%)

regimes51.0ms (3.3%)

simplify4.0ms (0.2%)

end1.0ms (0.1%)

sample682.0ms (43.9%)

Profiling