Details

analyze4.0ms (0.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample621.0ms (54.3%)

Results

597.0ms

8256×

body

128

valid

Compiler

Compiled 20 to 17 computations (15% saved)

simplify6.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	4
1	12	4
2	13	4

Stop Event

1×

saturated

Counts

1 → 2

prune5.0ms (0.4%)

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

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(-.f64 x 1/3)

Compiler

Compiled 17 to 13 computations (23.5% saved)

localize2.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 x 1/3)

series1.0ms (0.1%)

Counts

1 → 3

Calls

1 calls:

1.0ms

(-.f64 x 1/3)

rewrite28.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

452×	`log1p-expm1-u_binary64`
452×	`expm1-log1p-u_binary64`
389×	`pow1_binary64`
216×	`unpow-prod-down_binary64`
178×	`log-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	4
1	93	4
2	1155	4

Stop Event

1×	node limit

Counts

1 → 48

Calls

1 calls:

28.0ms

(-.f64 x 1/3)

simplify6.0ms (0.5%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2	3

Stop Event

1×

saturated

Counts

51 → 50

prune28.0ms (2.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	48	2	50
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	48	3	51

Error

Counts

51 → 3

Alt Table

Status	Error	Program
▶	17.1b	(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3)))
✓	0.0b	(-.f64 x 1/3)
	17.1b	(/.f64 1 (/.f64 (+.f64 x 1/3) (fma.f64 x x -1/9)))

Compiler

Compiled 484 to 376 computations (22.3% saved)

localize6.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 x x -1/9)
✓	0.0b	(/.f64 1 (+.f64 x 1/3))
✓	0.0b	(+.f64 x 1/3)
✓	15.9b	(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3)))

series11.0ms (0.9%)

Counts

4 → 48

Calls

4 calls:

5.0ms	(fma.f64 x x -1/9)
2.0ms	(/.f64 1 (+.f64 x 1/3))
2.0ms	(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3)))
1.0ms	(+.f64 x 1/3)

rewrite52.0ms (4.6%)

Algorithm

1×	batch-egg-rewrite

Rules

848×	`log1p-expm1-u_binary64`
848×	`expm1-log1p-u_binary64`
124×	`egg-rr`
92×	`add-sqr-sqrt_binary64`
90×	`prod-diff_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	27
1	194	20
2	2336	20

Stop Event

1×	node limit

Counts

4 → 124

Calls

4 calls:

50.0ms	(fma.f64 x x -1/9)
50.0ms	(/.f64 1 (+.f64 x 1/3))
50.0ms	(+.f64 x 1/3)
50.0ms	(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3)))

simplify33.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

935×	`fma-neg_binary64`
731×	`cancel-sign-sub-inv_binary64`
415×	`times-frac_binary64`
253×	`fma-def_binary64`
187×	`sub-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	40	337
1	107	315
2	269	311
3	776	303
4	2581	303

Stop Event

1×	node limit

Counts

172 → 148

prune76.0ms (6.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	148	0	148
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	148	3	151

Error

Counts

151 → 3

Alt Table

Status	Error	Program
✓	17.1b	(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3)))
✓	0.0b	(-.f64 x 1/3)
▶	17.1b	(/.f64 1 (/.f64 (+.f64 x 1/3) (fma.f64 x x -1/9)))

Compiler

Compiled 2015 to 1463 computations (27.4% saved)

localize6.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(fma.f64 x x -1/9)
	0.0b	(+.f64 x 1/3)
✓	0.1b	(/.f64 1 (/.f64 (+.f64 x 1/3) (fma.f64 x x -1/9)))
✓	15.8b	(/.f64 (+.f64 x 1/3) (fma.f64 x x -1/9))

series6.0ms (0.5%)

Counts

2 → 24

Calls

2 calls:

2.0ms	(/.f64 (+.f64 x 1/3) (fma.f64 x x -1/9))
2.0ms	(/.f64 1 (/.f64 (+.f64 x 1/3) (fma.f64 x x -1/9)))

rewrite45.0ms (3.9%)

Algorithm

1×	batch-egg-rewrite

Rules

409×	`log-prod_binary64`
235×	`pow2_binary64`
164×	`expm1-udef_binary64`
164×	`log1p-udef_binary64`
163×	`pow1/3_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	199	11
2	2538	11

Stop Event

1×	node limit

Counts

2 → 95

Calls

2 calls:

43.0ms	(/.f64 1 (/.f64 (+.f64 x 1/3) (fma.f64 x x -1/9)))
43.0ms	(/.f64 (+.f64 x 1/3) (fma.f64 x x -1/9))

simplify28.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

597×	`associate-/r*_binary64`
402×	`fma-def_binary64`
272×	`distribute-rgt-neg-in_binary64`
252×	`associate-/l/_binary64`
240×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	41	228
1	107	222
2	278	218
3	841	213
4	2721	213

Stop Event

1×	node limit

Counts

119 → 111

prune100.0ms (8.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	184	0	184
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	184	3	187

Error

Counts

187 → 3

Alt Table

Status	Error	Program
✓	17.1b	(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3)))
✓	0.0b	(-.f64 x 1/3)
✓	17.1b	(/.f64 1 (/.f64 (+.f64 x 1/3) (fma.f64 x x -1/9)))

Compiler

Compiled 2459 to 1866 computations (24.1% saved)

regimes38.0ms (3.4%)

Accuracy

Total 0.0b remaining (59.8%)

Threshold costs 0.0b (59.8%)

Counts

19 → 1

Compiler

Compiled 368 to 297 computations (19.3% saved)

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	4
1	7	4
2	8	4

Stop Event

1×

saturated

end41.0ms (3.6%)

Compiler: Compiled 34 to 25 computations (26.5% saved)

Details

analyze4.0ms (0.3%)

sample621.0ms (54.3%)

simplify6.0ms (0.5%)

prune5.0ms (0.4%)

localize2.0ms (0.1%)

series1.0ms (0.1%)

rewrite28.0ms (2.5%)

simplify6.0ms (0.5%)

prune28.0ms (2.4%)

localize6.0ms (0.5%)

series11.0ms (0.9%)

rewrite52.0ms (4.6%)

simplify33.0ms (2.8%)

prune76.0ms (6.6%)

localize6.0ms (0.5%)

series6.0ms (0.5%)

rewrite45.0ms (3.9%)

simplify28.0ms (2.4%)

prune100.0ms (8.8%)

regimes38.0ms (3.4%)

simplify2.0ms (0.2%)

end41.0ms (3.6%)

Profiling