Details

analyze188.0ms (5.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	24.7%	75.3%	0
0%	24.7%	75.3%	1
0%	24.7%	75.3%	2
12.4%	12.4%	75.3%	3
12.4%	12.4%	75.3%	4
18.5%	6.2%	75.3%	5
18.5%	6.2%	75.3%	6
21.6%	3.1%	75.3%	7
21.6%	3.1%	75.3%	8
23.2%	1.5%	75.3%	9
23.2%	1.5%	75.3%	10
23.9%	0.8%	75.3%	11
23.9%	0.8%	75.3%	12
24.3%	0.4%	75.3%	13
24.3%	0.4%	75.3%	14

Compiler

Compiled 18 to 14 computations (22.2% saved)

sample2.5s (71.2%)

Results

2.4s

8256×

body

128

valid

Compiler

Compiled 47 to 37 computations (21.3% saved)

simplify79.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

944×	`fma-neg_binary32`
518×	`unswap-sqr_binary32`
432×	`exp-prod_binary32`
340×	`times-frac_binary32`
333×	`associate-l_binary32`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	17	14
2	27	14
3	36	14
4	50	14
5	79	14
6	147	14
7	261	14
8	528	14
9	1676	14
10	3160	14
11	4121	14
12	4850	14

prune3.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	(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))

Compiler

Compiled 33 to 27 computations (18.2% saved)

localize49.0ms (1.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s)))
✓	0.0b	(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
✓	0.0b	(exp.f32 (/.f32 (neg.f32 x) s))

series67.0ms (1.9%)

Counts

3 → 72

Calls

3 calls:

46.0ms	(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
11.0ms	(+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s)))
10.0ms	(exp.f32 (/.f32 (neg.f32 x) s))

rewrite87.0ms (2.5%)

Algorithm

2×	batch-egg-rewrite

Rules

822×	`log1p-expm1-u_binary32`
822×	`expm1-log1p-u_binary32`
96×	`prod-diff_binary32`
95×	`add-sqr-sqrt_binary32`
89×	`add-log-exp_binary32`

Counts

3 → 83

Calls

3 calls:

84.0ms	(+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s)))
84.0ms	(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
84.0ms	(exp.f32 (/.f32 (neg.f32 x) s))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	33
1	192	27
2	2138	27
3	5221	27
0	0	0
1	0	0

simplify109.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

727×	`cancel-sign-sub-inv_binary32`
632×	`fma-def_binary32`
563×	`fma-neg_binary32`
552×	`associate-/r*_binary32`
206×	`neg-mul-1_binary32`

Counts

155 → 108

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	45	1020
1	126	966
2	349	918
3	1445	906
4	4465	906
5	5038	906

prune88.0ms (2.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	107	1	108
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	107	2	109

Error

0.0b

Counts

109 → 2

Alt Table

Status	Error	Program
▶	22.4b	(fma.f32 (/.f32 x s) 1/4 1/2)
✓	0.0b	(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))

Compiler

Compiled 1490 to 878 computations (41.1% saved)

localize26.0ms (0.7%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.5b	(fma.f32 (/.f32 x s) 1/4 1/2)

series13.0ms (0.4%)

Counts

1 → 24

Calls

1 calls:

13.0ms

(fma.f32 (/.f32 x s) 1/4 1/2)

rewrite63.0ms (1.8%)

Algorithm

2×	batch-egg-rewrite

Rules

649×	`log1p-expm1-u_binary32`
649×	`expm1-log1p-u_binary32`
309×	`log-prod_binary32`
126×	`expm1-udef_binary32`
126×	`log1p-udef_binary32`

Counts

1 → 26

Calls

1 calls:

62.0ms

(fma.f32 (/.f32 x s) 1/4 1/2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	8
1	145	8
2	1661	8
3	5093	8
0	0	0
1	0	0

simplify22.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

4×	`fma-def_binary32`
3×	`*-commutative_binary32`
2×	`associate-/l*_binary32`
1×	`+-commutative_binary32`
1×	`associate-*r/_binary32`

Counts

50 → 30

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	204
1	12	168
2	17	168
3	21	168
4	23	168
5	24	168
6	24	168

prune25.0ms (0.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	30	0	30
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	30	2	32

Error

0.0b

Counts

32 → 2

Alt Table

Status	Error	Program
✓	22.4b	(fma.f32 (/.f32 x s) 1/4 1/2)
✓	0.0b	(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))

Compiler

Compiled 348 to 225 computations (35.3% saved)

regimes103.0ms (3%)

Accuracy

Total 0.0b remaining (36%)

Threshold costs 0.0b (36%)

Counts

7 → 1

Compiler

Compiled 450 to 372 computations (17.3% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary32`
2×	`*-commutative_binary32`
2×	`sub-neg_binary32`
2×	`neg-sub0_binary32`
2×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	17	14
2	21	14
3	24	14
4	25	14
5	24	14

end77.0ms (2.2%)

Compiler: Compiled 41 to 33 computations (19.5% saved)

Details

analyze188.0ms (5.4%)

sample2.5s (71.2%)

simplify79.0ms (2.3%)

prune3.0ms (0.1%)

localize49.0ms (1.4%)

series67.0ms (1.9%)

rewrite87.0ms (2.5%)

simplify109.0ms (3.1%)

prune88.0ms (2.5%)

localize26.0ms (0.7%)

series13.0ms (0.4%)

rewrite63.0ms (1.8%)

simplify22.0ms (0.6%)

prune25.0ms (0.7%)

regimes103.0ms (3%)

simplify4.0ms (0.1%)

end77.0ms (2.2%)

Profiling