Details

analyze295.0ms (8.6%)

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)

sample2.7s (80.7%)

Results

1.1s	4104×	body	2048	invalid
685.0ms	8256×	body	128	valid
461.0ms	2084×	body	1024	invalid
170.0ms	983×	body	512	invalid
70.0ms	525×	body	256	invalid
37.0ms	520×	body	128	invalid
2.0ms	7×	body	4096	invalid

Compiler

Compiled 32 to 23 computations (28.1% saved)

simplify156.0ms (4.6%)

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

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

29.5b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 36 to 24 computations (33.3% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x (sqrt.f64 (fma.f64 x x -1)))
✓	28.4b	(sqrt.f64 (fma.f64 x x -1))

series7.0ms (0.2%)

Counts

2 → 24

Calls

2 calls:

4.0ms	(sqrt.f64 (fma.f64 x x -1))
3.0ms	(+.f64 x (sqrt.f64 (fma.f64 x x -1)))

rewrite10.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 32

Calls

2 calls:

3.0ms	(+.f64 x (sqrt.f64 (fma.f64 x x -1)))
1.0ms	(sqrt.f64 (fma.f64 x x -1))

simplify75.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

745×	`associate-/l*_binary64`
512×	`associate-/r*_binary64`
349×	`fma-neg_binary64`
299×	`cancel-sign-sub-inv_binary64`
200×	`fma-def_binary64`

Counts

56 → 77

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	99	748
1	264	708
2	631	705
3	1895	695
4	4864	695
5	4886	695
6	4979	695

prune39.0ms (1.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	76	1	77
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	76	2	78

Error

Counts

78 → 2

Alt Table

Status	Error	Program
✓	29.5b	(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
▶	0.3b	(log.f64 (fma.f64 x 2 (/.f64 -1/2 x)))

Compiler

Compiled 1171 to 859 computations (26.6% saved)

localize5.0ms (0.1%)

prune1.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
✓	29.5b	(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
✓	0.3b	(log.f64 (fma.f64 x 2 (/.f64 -1/2 x)))

Compiler

Compiled 17 to 12 computations (29.4% saved)

regimes20.0ms (0.6%)

Accuracy

Total 0.3b remaining (89.1%)

Threshold costs 0.3b (89.1%)

Counts

4 → 1

Compiler

Compiled 138 to 94 computations (31.9% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	7	10

end41.0ms (1.2%)

Compiler: Compiled 33 to 24 computations (27.3% saved)

Details

analyze295.0ms (8.6%)

sample2.7s (80.7%)

simplify156.0ms (4.6%)

prune3.0ms (0.1%)

localize6.0ms (0.2%)

series7.0ms (0.2%)

rewrite10.0ms (0.3%)

simplify75.0ms (2.2%)

prune39.0ms (1.2%)

localize5.0ms (0.1%)

prune1.0ms (0%)

regimes20.0ms (0.6%)

simplify2.0ms (0.1%)

end41.0ms (1.2%)

Profiling