Details

analyze611.0ms (11.2%)

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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	81.1%	18.9%	7
6.2%	74.9%	18.9%	8
9.4%	65.5%	25.1%	9
15.6%	48.4%	36%	10
20.3%	43.1%	36.6%	11
22.6%	36%	41.4%	12
27.1%	25.1%	47.8%	13
29.5%	22.5%	48%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample2.8s (50.5%)

Results

2.0s	8256×	body	128	valid
463.0ms	2556×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify205.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

767×	`unsub-neg_binary64`
741×	`*-commutative_binary64`
699×	`fma-def_binary64`
598×	`fma-neg_binary64`
465×	`distribute-neg-out_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	15
1	19	15
2	29	15
3	57	15
4	118	15
5	278	15
6	529	15
7	1007	15
8	1781	15
9	2585	15
10	2834	15
11	3141	15
12	3371	15
13	3485	15
14	3485	15
15	4444	15
16	4284	15
17	4604	15
18	4604	15
19	5103	15

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

26.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	26.1b	(.f64 x (sqrt.f64 (-.f64 (.f64 y y) (*.f64 z z))))

Compiler

Compiled 39 to 24 computations (38.5% saved)

localize13.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 x (sqrt.f64 (-.f64 (.f64 y y) (*.f64 z z))))
✓	3.6b	(-.f64 (.f64 y y) (.f64 z z))
✓	26.0b	(sqrt.f64 (-.f64 (.f64 y y) (.f64 z z)))

series155.0ms (2.8%)

Counts

3 → 84

Calls

3 calls:

110.0ms	(.f64 x (sqrt.f64 (-.f64 (.f64 y y) (*.f64 z z))))
32.0ms	(sqrt.f64 (-.f64 (.f64 y y) (.f64 z z)))
12.0ms	(-.f64 (.f64 y y) (.f64 z z))

rewrite189.0ms (3.4%)

Algorithm

2×	batch-egg-rewrite

Rules

665×	`prod-diff_binary64`
465×	`fma-udef_binary64`
406×	`fma-def_binary64`
257×	`fma-neg_binary64`
225×	`egg-rr`

Counts

3 → 225

Calls

3 calls:

179.0ms	(.f64 x (sqrt.f64 (-.f64 (.f64 y y) (*.f64 z z))))
179.0ms	(-.f64 (.f64 y y) (.f64 z z))
179.0ms	(sqrt.f64 (-.f64 (.f64 y y) (.f64 z z)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	37
1	196	37
2	2367	35
3	4789	35
4	4782	35
5	4938	35
0	0	0
1	0	0

simplify130.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

719×	`associate-/l*_binary64`
591×	`associate-/r*_binary64`
472×	`fma-def_binary64`
305×	`fma-neg_binary64`
264×	`cancel-sign-sub-inv_binary64`

Counts

309 → 310

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	127	1894
1	429	1872
2	1491	1838
3	4802	1838
4	5097	1838

prune285.0ms (5.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	307	3	310
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	307	4	311

Error

0.0b

Counts

311 → 4

Alt Table

Status	Error	Program
✓	26.1b	(.f64 x (sqrt.f64 (-.f64 (.f64 y y) (*.f64 z z))))
▶	29.2b	(*.f64 x y)
	31.2b	(.f64 x (.f64 (sqrt.f64 (+.f64 y z)) (sqrt.f64 (-.f64 y z))))
	31.5b	(*.f64 x (neg.f64 y))

Compiler

Compiled 6790 to 2654 computations (60.9% saved)

localize4.0ms (0.1%)

prune4.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Error

0.0b

Counts

4 → 4

Alt Table

Status	Error	Program
✓	26.1b	(.f64 x (sqrt.f64 (-.f64 (.f64 y y) (*.f64 z z))))
✓	29.2b	(*.f64 x y)
▶	31.2b	(.f64 x (.f64 (sqrt.f64 (+.f64 y z)) (sqrt.f64 (-.f64 y z))))
	31.5b	(*.f64 x (neg.f64 y))

Compiler

Compiled 61 to 40 computations (34.4% saved)

localize17.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (-.f64 y z))
✓	0.0b	(.f64 x (.f64 (sqrt.f64 (+.f64 y z)) (sqrt.f64 (-.f64 y z))))
✓	0.0b	(sqrt.f64 (+.f64 y z))
✓	0.3b	(*.f64 (sqrt.f64 (+.f64 y z)) (sqrt.f64 (-.f64 y z)))

series206.0ms (3.8%)

Counts

4 → 68

Calls

4 calls:

82.0ms	(.f64 x (.f64 (sqrt.f64 (+.f64 y z)) (sqrt.f64 (-.f64 y z))))
45.0ms	(sqrt.f64 (-.f64 y z))
40.0ms	(*.f64 (sqrt.f64 (+.f64 y z)) (sqrt.f64 (-.f64 y z)))
38.0ms	(sqrt.f64 (+.f64 y z))

rewrite160.0ms (2.9%)

Algorithm

2×	batch-egg-rewrite

Rules

564×	`prod-diff_binary64`
457×	`fma-udef_binary64`
285×	`fma-def_binary64`
226×	`fma-neg_binary64`
189×	`expm1-udef_binary64`

Counts

4 → 85

Calls

4 calls:

157.0ms	(sqrt.f64 (-.f64 y z))
157.0ms	(.f64 x (.f64 (sqrt.f64 (+.f64 y z)) (sqrt.f64 (-.f64 y z))))
157.0ms	(sqrt.f64 (+.f64 y z))
157.0ms	(*.f64 (sqrt.f64 (+.f64 y z)) (sqrt.f64 (-.f64 y z)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	39
1	214	39
2	2706	39
3	4843	39
4	4913	39
5	5004	39
0	0	0
1	0	0

simplify123.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

772×	`associate-/l*_binary64`
697×	`fma-def_binary64`
410×	`cancel-sign-sub-inv_binary64`
195×	`distribute-rgt-neg-in_binary64`
193×	`fma-neg_binary64`

Counts

153 → 175

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	177	1938
1	564	1904
2	1910	1868
3	4994	1868

prune155.0ms (2.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	175	0	175
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	175	4	179

Error

0.0b

Counts

179 → 4

Alt Table

Status	Error	Program
✓	26.1b	(.f64 x (sqrt.f64 (-.f64 (.f64 y y) (*.f64 z z))))
✓	29.2b	(*.f64 x y)
✓	31.2b	(.f64 x (.f64 (sqrt.f64 (+.f64 y z)) (sqrt.f64 (-.f64 y z))))
▶	31.5b	(*.f64 x (neg.f64 y))

Compiler

Compiled 3595 to 1890 computations (47.4% saved)

localize3.0ms (0%)

prune2.0ms (0%)

Pruning

4 alts after pruning (0 fresh and 4 done)

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

Error

0.0b

Counts

4 → 4

Alt Table

Status	Error	Program
✓	26.1b	(.f64 x (sqrt.f64 (-.f64 (.f64 y y) (*.f64 z z))))
✓	29.2b	(*.f64 x y)
✓	31.2b	(.f64 x (.f64 (sqrt.f64 (+.f64 y z)) (sqrt.f64 (-.f64 y z))))
✓	31.5b	(*.f64 x (neg.f64 y))

Compiler

Compiled 40 to 26 computations (35% saved)

regimes320.0ms (5.9%)

Accuracy

Total 0.8b remaining (87%)

Threshold costs 0.8b (87%)

Counts

7 → 2

Compiler

Compiled 789 to 539 computations (31.7% saved)

bsearch22.0ms (0.4%)

Steps

Iters	Range		Point
1	-4.957508820182921e-247	4.184353912381864e-237	-4.957508820182921e-247

Compiler

Compiled 4 to 3 computations (25% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary64`
6×	`+-commutative_binary64`
5×	`sub-neg_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	29
1	28	29
2	38	29
3	46	29
4	50	29
5	51	29
6	51	29

end96.0ms (1.7%)

Compiler: Compiled 84 to 54 computations (35.7% saved)

Details

analyze611.0ms (11.2%)

sample2.8s (50.5%)

simplify205.0ms (3.8%)

prune3.0ms (0.1%)

localize13.0ms (0.2%)

series155.0ms (2.8%)

rewrite189.0ms (3.4%)

simplify130.0ms (2.4%)

prune285.0ms (5.2%)

localize4.0ms (0.1%)

prune4.0ms (0.1%)

localize17.0ms (0.3%)

series206.0ms (3.8%)

rewrite160.0ms (2.9%)

simplify123.0ms (2.2%)

prune155.0ms (2.8%)

localize3.0ms (0%)

prune2.0ms (0%)

regimes320.0ms (5.9%)

bsearch22.0ms (0.4%)

simplify4.0ms (0.1%)

end96.0ms (1.7%)

Profiling