Details

analyze96.0ms (5.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
50%	37.5%	12.6%	7
56.2%	31.2%	12.6%	8
62.4%	18.7%	18.8%	9
65.6%	15.6%	18.8%	10
68.7%	9.4%	22%	11
70.2%	7.8%	22%	12
71.8%	4.7%	23.5%	13
72.6%	3.9%	23.5%	14

Compiler

Compiled 10 to 7 computations (30% saved)

sample731.0ms (45.1%)

Results

664.0ms	8256×	body	128	valid
16.0ms	172×	body	128	invalid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify18.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

601×	`fma-def_binary64`
148×	`fma-neg_binary64`
84×	`distribute-rgt-in_binary64`
51×	`cancel-sign-sub-inv_binary64`
50×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	15	10
2	38	10
3	85	10
4	194	10
5	292	10
6	449	10
7	692	10
8	1326	10
9	1402	10
10	1438	10

Stop Event

1×

saturated

Counts

1 → 2

prune3.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

Status	Error	Program
	6.6b	(*.f64 x (fma.f64 y (neg.f64 y) y))
▶	0.1b	(.f64 (.f64 x y) (-.f64 1 y))

Compiler

Compiled 52 to 31 computations (40.4% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 x y) (-.f64 1 y))

series6.0ms (0.4%)

Counts

1 → 24

Calls

1 calls:

6.0ms

(*.f64 (*.f64 x y) (-.f64 1 y))

rewrite36.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

692×	`log1p-expm1-u_binary64`
692×	`expm1-log1p-u_binary64`
132×	`prod-diff_binary64`
128×	`expm1-udef_binary64`
127×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	145	10
2	1834	10

Stop Event

1×	node limit

Counts

1 → 21

Calls

1 calls:

35.0ms

(*.f64 (*.f64 x y) (-.f64 1 y))

simplify33.0ms (2%)

Algorithm

1×	egg-herbie

Rules

423×	`fma-neg_binary64`
330×	`associate-r_binary64`
269×	`distribute-rgt-in_binary64`
231×	`cancel-sign-sub-inv_binary64`
223×	`fma-def_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	232
1	41	232
2	87	232
3	203	232
4	631	232
5	1929	232
6	4328	232

Stop Event

1×	node limit

Counts

45 → 28

prune17.0ms (1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	26	2	28
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	26	4	30

Error

0.0b

Counts

30 → 4

Alt Table

Status	Error	Program
	30.7b	(pow.f64 (sqrt.f64 (.f64 x (.f64 y (-.f64 1 y)))) 2)
	11.8b	(/.f64 (.f64 (-.f64 1 (pow.f64 y 3)) (.f64 x y)) (+.f64 1 (fma.f64 y y y)))
▶	6.6b	(*.f64 x (fma.f64 y (neg.f64 y) y))
✓	0.1b	(.f64 (.f64 x y) (-.f64 1 y))

Compiler

Compiled 366 to 224 computations (38.8% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	6.1b	(*.f64 x (fma.f64 y (neg.f64 y) y))

series9.0ms (0.5%)

Counts

1 → 24

Calls

1 calls:

9.0ms

(*.f64 x (fma.f64 y (neg.f64 y) y))

rewrite28.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

461×	`log1p-expm1-u_binary64`
461×	`expm1-log1p-u_binary64`
340×	`unpow-prod-down_binary64`
256×	`log-prod_binary64`
184×	`prod-diff_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	122	8
2	1546	8

Stop Event

1×	node limit

Counts

1 → 21

Calls

1 calls:

28.0ms

(*.f64 x (fma.f64 y (neg.f64 y) y))

simplify31.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

360×	`fma-neg_binary64`
266×	`distribute-rgt-in_binary64`
261×	`associate-l_binary64`
250×	`unswap-sqr_binary64`
233×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	232
1	30	232
2	63	232
3	151	232
4	451	232
5	1675	232
6	3890	232

Stop Event

1×	node limit

Counts

45 → 27

prune13.0ms (0.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	27	0	27
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	27	4	31

Error

0.0b

Counts

31 → 4

Alt Table

Status	Error	Program
	30.7b	(pow.f64 (sqrt.f64 (.f64 x (.f64 y (-.f64 1 y)))) 2)
▶	11.8b	(/.f64 (.f64 (-.f64 1 (pow.f64 y 3)) (.f64 x y)) (+.f64 1 (fma.f64 y y y)))
✓	6.6b	(*.f64 x (fma.f64 y (neg.f64 y) y))
✓	0.1b	(.f64 (.f64 x y) (-.f64 1 y))

Compiler

Compiled 327 to 134 computations (59% saved)

localize9.0ms (0.5%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	1.0b	(.f64 (-.f64 1 (pow.f64 y 3)) (.f64 x y))
✓	10.3b	(/.f64 (.f64 (-.f64 1 (pow.f64 y 3)) (.f64 x y)) (+.f64 1 (fma.f64 y y y)))

series62.0ms (3.8%)

Counts

2 → 48

Calls

2 calls:

48.0ms	(/.f64 (.f64 (-.f64 1 (pow.f64 y 3)) (.f64 x y)) (+.f64 1 (fma.f64 y y y)))
14.0ms	(.f64 (-.f64 1 (pow.f64 y 3)) (.f64 x y))

rewrite56.0ms (3.5%)

Algorithm

1×	batch-egg-rewrite

Rules

557×	`prod-diff_binary64`
227×	`log1p-udef_binary64`
129×	`add-sqr-sqrt_binary64`
123×	`log1p-expm1-u_binary64`
123×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	36
1	266	36
2	3644	36

Stop Event

1×	node limit

Counts

2 → 71

Calls

2 calls:

55.0ms	(.f64 (-.f64 1 (pow.f64 y 3)) (.f64 x y))
55.0ms	(/.f64 (.f64 (-.f64 1 (pow.f64 y 3)) (.f64 x y)) (+.f64 1 (fma.f64 y y y)))

simplify32.0ms (2%)

Algorithm

1×	egg-herbie

Rules

735×	`fma-def_binary64`
372×	`associate-l_binary64`
292×	`associate-r_binary64`
290×	`distribute-rgt-in_binary64`
268×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	608
1	81	584
2	201	584
3	543	584
4	2348	584

Stop Event

1×	node limit

Counts

119 → 85

prune58.0ms (3.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	84	5	89

Error

0.0b

Counts

89 → 5

Alt Table

Status	Error	Program
▶	12.6b	(*.f64 x (/.f64 (-.f64 y (pow.f64 y 4)) (+.f64 1 (fma.f64 y y y))))
	30.7b	(pow.f64 (sqrt.f64 (.f64 x (.f64 y (-.f64 1 y)))) 2)
✓	11.8b	(/.f64 (.f64 (-.f64 1 (pow.f64 y 3)) (.f64 x y)) (+.f64 1 (fma.f64 y y y)))
✓	6.6b	(*.f64 x (fma.f64 y (neg.f64 y) y))
✓	0.1b	(.f64 (.f64 x y) (-.f64 1 y))

Compiler

Compiled 1853 to 1058 computations (42.9% saved)

localize8.0ms (0.5%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 y (pow.f64 y 4))
✓	6.1b	(*.f64 x (/.f64 (-.f64 y (pow.f64 y 4)) (+.f64 1 (fma.f64 y y y))))
✓	12.2b	(/.f64 (-.f64 y (pow.f64 y 4)) (+.f64 1 (fma.f64 y y y)))

series52.0ms (3.2%)

Counts

3 → 39

Calls

3 calls:

46.0ms	(*.f64 x (/.f64 (-.f64 y (pow.f64 y 4)) (+.f64 1 (fma.f64 y y y))))
4.0ms	(/.f64 (-.f64 y (pow.f64 y 4)) (+.f64 1 (fma.f64 y y y)))
2.0ms	(-.f64 y (pow.f64 y 4))

rewrite60.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

383×	`fma-def_binary64`
217×	`expm1-udef_binary64`
217×	`log1p-udef_binary64`
215×	`fma-neg_binary64`
161×	`egg-rr`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	44
1	250	44
2	3498	44

Stop Event

1×	node limit

Counts

3 → 161

Calls

3 calls:

57.0ms	(-.f64 y (pow.f64 y 4))
57.0ms	(*.f64 x (/.f64 (-.f64 y (pow.f64 y 4)) (+.f64 1 (fma.f64 y y y))))
57.0ms	(/.f64 (-.f64 y (pow.f64 y 4)) (+.f64 1 (fma.f64 y y y)))

simplify34.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

365×	`fma-neg_binary64`
364×	`fma-def_binary64`
287×	`cancel-sign-sub-inv_binary64`
254×	`unsub-neg_binary64`
204×	`unswap-sqr_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	465
1	51	441
2	113	441
3	306	441
4	1071	441
5	3312	441

Stop Event

1×	node limit

Counts

200 → 175

prune116.0ms (7.2%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	175	0	175
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	175	5	180

Error

0.0b

Counts

180 → 5

Alt Table

Status	Error	Program
✓	12.6b	(*.f64 x (/.f64 (-.f64 y (pow.f64 y 4)) (+.f64 1 (fma.f64 y y y))))
	30.7b	(pow.f64 (sqrt.f64 (.f64 x (.f64 y (-.f64 1 y)))) 2)
✓	11.8b	(/.f64 (.f64 (-.f64 1 (pow.f64 y 3)) (.f64 x y)) (+.f64 1 (fma.f64 y y y)))
✓	6.6b	(*.f64 x (fma.f64 y (neg.f64 y) y))
✓	0.1b	(.f64 (.f64 x y) (-.f64 1 y))

Compiler

Compiled 3862 to 2217 computations (42.6% saved)

regimes40.0ms (2.4%)

Accuracy

Total 0.1b remaining (64.7%)

Threshold costs 0.1b (64.7%)

Counts

12 → 1

Compiler

Compiled 405 to 266 computations (34.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`+-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	7	10
1	13	10
2	17	10
3	19	10
4	20	10

Stop Event

1×

saturated

end65.0ms (4%)

Compiler: Compiled 82 to 54 computations (34.1% saved)

Details

analyze96.0ms (5.9%)

sample731.0ms (45.1%)

simplify18.0ms (1.1%)

prune3.0ms (0.2%)

localize4.0ms (0.2%)

series6.0ms (0.4%)

rewrite36.0ms (2.2%)

simplify33.0ms (2%)

prune17.0ms (1%)

localize4.0ms (0.3%)

series9.0ms (0.5%)

rewrite28.0ms (1.7%)

simplify31.0ms (1.9%)

prune13.0ms (0.8%)

localize9.0ms (0.5%)

series62.0ms (3.8%)

rewrite56.0ms (3.5%)

simplify32.0ms (2%)

prune58.0ms (3.5%)

localize8.0ms (0.5%)

series52.0ms (3.2%)

rewrite60.0ms (3.7%)

simplify34.0ms (2.1%)

prune116.0ms (7.2%)

regimes40.0ms (2.4%)

simplify2.0ms (0.1%)

end65.0ms (4%)

Profiling