Details

analyze821.0ms (13%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
25%	50%	25%	4
25%	37.5%	37.5%	5
25%	31.2%	43.8%	6
25%	28.1%	46.9%	7
25%	26.5%	48.5%	8
25%	25.8%	49.2%	9
25%	25.4%	49.6%	10
25%	25.2%	49.8%	11
25%	25.1%	49.9%	12
25%	25%	50%	13
25%	25%	50%	14

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample139.0ms (2.2%)

Algorithm

1×

intervals

Results

61.0ms	142×	body	2048	nan
24.0ms	256×	body	128	valid
17.0ms	55×	body	1024	nan
6.0ms	26×	body	512	nan
4.0ms	20×	body	128	nan
4.0ms	24×	body	256	nan
1.0ms	1×	body	4096	nan

Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify175.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

871×	`fma-neg_binary64`
804×	`unsub-neg_binary64`
461×	`distribute-neg-in_binary64`
434×	`sub-neg_binary64`
338×	`distribute-rgt-out_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	18	12
2	22	12
3	37	12
4	64	12
5	113	12
6	247	12
7	500	12
8	1560	12
9	2513	12
10	3218	12
11	3602	12
12	3803	12
13	3974	12
14	4075	12
15	4392	12
16	4836	12
17	4898	12
18	4901	12

prune5.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

30.9b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	30.9b	(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))

Compiler

Compiled 36 to 24 computations (33.3% saved)

localize11.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	28.7b	(sqrt.f64 (fma.f64 x x -1))

series7.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

7.0ms

(sqrt.f64 (fma.f64 x x -1))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`sqrt-prod_binary64`
3×	`add-sqr-sqrt_binary64`
2×	`*-un-lft-identity_binary64`
2×	`add-cube-cbrt_binary64`
2×	`pow1_binary64`

Counts

1 → 15

Calls

1 calls:

2.0ms

(sqrt.f64 (fma.f64 x x -1))

simplify79.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

790×	`fma-def_binary64`
741×	`associate-/l*_binary64`
492×	`associate-/r*_binary64`
279×	`associate-*l/_binary64`
236×	`associate-*r/_binary64`

Counts

27 → 38

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	63	345
1	157	331
2	385	329
3	1277	323
4	4523	319
5	4929	319

prune39.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	37	1	38
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	37	2	39

Error

Counts

39 → 2

Alt Table

Status	Error	Program
✓	30.9b	(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
▶	0.8b	(log.f64 (+.f64 x x))

Compiler

Compiled 577 to 424 computations (26.5% saved)

localize6.0ms (0.1%)

prune2.0ms (0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

2 → 2

Alt Table

Status	Error	Program
✓	30.9b	(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
✓	0.8b	(log.f64 (+.f64 x x))

Compiler

Compiled 14 to 9 computations (35.7% saved)

regimes41.0ms (0.7%)

Accuracy

Total 0.6b remaining (87.2%)

Threshold costs 0.6b (87.2%)

Counts

4 → 1

Compiler

Compiled 132 to 91 computations (31.1% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	6
1	4	6

end1.0ms (0%)

Compiler: Compiled 5 to 3 computations (40% saved)

sample5.0s (78.9%)

Algorithm

1×

intervals

Results

2.1s	4084×	body	2048	nan
1.2s	8000×	body	128	valid
619.0ms	1967×	body	1024	nan
238.0ms	970×	body	512	nan
73.0ms	472×	body	256	nan
42.0ms	510×	body	128	nan
5.0ms	10×	body	4096	nan

Compiler

Compiled 31 to 21 computations (32.3% saved)

Details

analyze821.0ms (13%)

sample139.0ms (2.2%)

simplify175.0ms (2.8%)

prune5.0ms (0.1%)

localize11.0ms (0.2%)

series7.0ms (0.1%)

rewrite3.0ms (0%)

simplify79.0ms (1.3%)

prune39.0ms (0.6%)

localize6.0ms (0.1%)

prune2.0ms (0%)

regimes41.0ms (0.7%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample5.0s (78.9%)

Profiling