Details

analyze95.0ms (4.3%)

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)

sample1.4s (61.7%)

Results

1.3s

8256×

body

128

valid

Compiler

Compiled 47 to 37 computations (21.3% saved)

simplify58.0ms (2.6%)

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

prune2.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)

localize24.0ms (1.1%)

Local error

Found 3 expressions with local error:

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

series33.0ms (1.5%)

Counts

3 → 72

Calls

3 calls:

22.0ms	(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
6.0ms	(+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s)))
5.0ms	(exp.f32 (/.f32 (neg.f32 x) s))

rewrite22.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

43×	`*-un-lft-identity_binary32`
42×	`times-frac_binary32`
34×	`exp-prod_binary32`
33×	`add-sqr-sqrt_binary32`
33×	`add-cube-cbrt_binary32`

Counts

3 → 102

Calls

3 calls:

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

simplify109.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

727×	`fma-neg_binary32`
322×	`associate-/l/_binary32`
269×	`associate-/r/_binary32`
197×	`distribute-rgt-neg-in_binary32`
190×	`distribute-lft-neg-in_binary32`

Counts

174 → 161

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	170	2521
1	346	2365
2	806	2311
3	2414	2287
4	4850	2287
5	5089	2287

prune95.0ms (4.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	160	1	161
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	160	2	162

Error

Counts

162 → 2

Alt Table

Status	Error	Program
▶	23.9b	(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 1/4 (/.f32 x s) 1/2))
✓	0.0b	(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))

Compiler

Compiled 2656 to 1404 computations (47.1% saved)

localize25.0ms (1.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f32 1/4 (/.f32 x s) 1/2)
✓	0.3b	(pow.f32 (/.f32 x s) 3)
✓	6.6b	(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 1/4 (/.f32 x s) 1/2))

series44.0ms (2%)

Counts

3 → 72

Calls

3 calls:

24.0ms	(pow.f32 (/.f32 x s) 3)
14.0ms	(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 1/4 (/.f32 x s) 1/2))
6.0ms	(fma.f32 1/4 (/.f32 x s) 1/2)

rewrite7.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`times-frac_binary32`
18×	`*-un-lft-identity_binary32`
18×	`add-sqr-sqrt_binary32`
18×	`add-cube-cbrt_binary32`
13×	`cube-prod_binary32`

Counts

3 → 68

Calls

3 calls:

3.0ms	(pow.f32 (/.f32 x s) 3)
0.0ms	(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 1/4 (/.f32 x s) 1/2))
0.0ms	(fma.f32 1/4 (/.f32 x s) 1/2)

simplify81.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

731×	`times-frac_binary32`
447×	`associate-/l*_binary32`
394×	`log-div_binary32`
332×	`associate-/r*_binary32`
331×	`fma-def_binary32`

Counts

140 → 78

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	114	1702
1	296	1531
2	1013	1515
3	4603	1515
4	5437	1515

prune38.0ms (1.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	78	2	80

Error

Counts

80 → 2

Alt Table

Status	Error	Program
✓	23.9b	(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 1/4 (/.f32 x s) 1/2))
✓	0.0b	(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))

Compiler

Compiled 1450 to 829 computations (42.8% saved)

regimes175.0ms (7.9%)

Accuracy

Total 0.0b remaining (15.3%)

Threshold costs 0.0b (15.3%)

Counts

22 → 1

Compiler

Compiled 2424 to 2023 computations (16.5% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	17	14
2	23	14
3	27	14
4	28	14
5	28	14

end38.0ms (1.7%)

Compiler: Compiled 46 to 35 computations (23.9% saved)

Details

analyze95.0ms (4.3%)

sample1.4s (61.7%)

simplify58.0ms (2.6%)

prune2.0ms (0.1%)

localize24.0ms (1.1%)

series33.0ms (1.5%)

rewrite22.0ms (1%)

simplify109.0ms (4.9%)

prune95.0ms (4.3%)

localize25.0ms (1.1%)

series44.0ms (2%)

rewrite7.0ms (0.3%)

simplify81.0ms (3.7%)

prune38.0ms (1.7%)

regimes175.0ms (7.9%)

simplify2.0ms (0.1%)

end38.0ms (1.7%)

Profiling