Details

analyze770.0ms (17.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
25%	74.9%	0.1%	7
37.4%	62.4%	0.1%	8
39%	60.8%	0.1%	9
51.5%	48.4%	0.1%	10
58.5%	39.8%	1.7%	11
59.3%	37.6%	3.1%	12
65.7%	28.5%	5.8%	13
69.1%	23.5%	7.4%	14

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.9s (42.5%)

Results

1.4s	8256×	body	128	valid
229.0ms	1450×	body	128	invalid

Compiler

Compiled 32 to 20 computations (37.5% saved)

simplify47.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

377×	`fma-neg_binary64`
309×	`fma-def_binary64`
112×	`cancel-sign-sub-inv_binary64`
77×	`distribute-rgt-in_binary64`
56×	`unsub-neg_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	13	10
2	24	10
3	42	10
4	80	10
5	138	10
6	302	10
7	420	10
8	581	10
9	647	10
10	718	10
11	740	10
12	744	10
13	699	10

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	(+.f64 x (/.f64 (-.f64 y x) z))

Compiler

Compiled 30 to 18 computations (40% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 y x) z)
✓	0.0b	(+.f64 x (/.f64 (-.f64 y x) z))

series36.0ms (0.8%)

Counts

2 → 64

Calls

2 calls:

20.0ms	(+.f64 x (/.f64 (-.f64 y x) z))
16.0ms	(/.f64 (-.f64 y x) z)

rewrite91.0ms (2%)

Algorithm

2×	batch-egg-rewrite

Rules

462×	`log-prod_binary64`
362×	`fma-def_binary64`
223×	`fma-neg_binary64`
166×	`expm1-udef_binary64`
166×	`log1p-udef_binary64`

Counts

2 → 120

Calls

2 calls:

86.0ms	(/.f64 (-.f64 y x) z)
86.0ms	(+.f64 x (/.f64 (-.f64 y x) z))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	167	17
2	2550	17
3	5110	17
0	0	0
1	0	0

simplify75.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

325×	`fma-neg_binary64`
304×	`fma-def_binary64`
63×	`distribute-rgt-in_binary64`
63×	`unsub-neg_binary64`
54×	`cancel-sign-sub-inv_binary64`

Counts

184 → 132

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	24	586
1	54	505
2	101	496
3	177	496
4	322	496
5	578	496
6	684	496
7	723	496
8	724	496
9	679	496

prune332.0ms (7.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	131	1	132
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	131	2	133

Error

Counts

133 → 2

Alt Table

Status	Error	Program
✓	0.0b	(+.f64 x (/.f64 (-.f64 y x) z))
▶	13.5b	(fma.f64 (/.f64 1 (cbrt.f64 (*.f64 z z))) (/.f64 (-.f64 y x) (cbrt.f64 z)) x)

Compiler

Compiled 1835 to 520 computations (71.7% saved)

localize20.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 1 (cbrt.f64 (*.f64 z z)))
✓	0.3b	(/.f64 (-.f64 y x) (cbrt.f64 z))
✓	0.6b	(cbrt.f64 z)
✓	26.2b	(cbrt.f64 (*.f64 z z))

series464.0ms (10.4%)

Counts

4 → 72

Calls

4 calls:

308.0ms	(/.f64 (-.f64 y x) (cbrt.f64 z))
56.0ms	(cbrt.f64 z)
55.0ms	(cbrt.f64 (*.f64 z z))
45.0ms	(/.f64 1 (cbrt.f64 (*.f64 z z)))

rewrite277.0ms (6.2%)

Algorithm

2×	batch-egg-rewrite

Rules

553×	`prod-diff_binary64`
462×	`fma-udef_binary64`
271×	`fma-def_binary64`
206×	`fma-neg_binary64`
194×	`expm1-udef_binary64`

Counts

4 → 170

Calls

4 calls:

271.0ms	(/.f64 1 (cbrt.f64 (*.f64 z z)))
271.0ms	(/.f64 (-.f64 y x) (cbrt.f64 z))
271.0ms	(cbrt.f64 z)
271.0ms	(cbrt.f64 (*.f64 z z))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	27
1	230	23
2	2844	23
3	4840	23
4	4759	23
5	4959	23
0	0	0
1	0	0

simplify112.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

817×	`fma-def_binary64`
393×	`distribute-rgt-in_binary64`
380×	`fma-neg_binary64`
298×	`*-commutative_binary64`
288×	`neg-mul-1_binary64`

Counts

242 → 186

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	29	892
1	78	684
2	148	684
3	356	684
4	987	684
5	2014	684
6	4550	684
7	4976	684

prune179.0ms (4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	186	0	186
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	186	2	188

Error

Counts

188 → 2

Alt Table

Status	Error	Program
✓	0.0b	(+.f64 x (/.f64 (-.f64 y x) z))
✓	13.5b	(fma.f64 (/.f64 1 (cbrt.f64 (*.f64 z z))) (/.f64 (-.f64 y x) (cbrt.f64 z)) x)

Compiler

Compiled 4439 to 1699 computations (61.7% saved)

regimes74.0ms (1.6%)

Accuracy

Total 0.0b remaining (23.8%)

Threshold costs 0.0b (23.8%)

Counts

8 → 1

Compiler

Compiled 332 to 222 computations (33.1% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`*-commutative_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	10	10
2	15	10
3	17	10
4	18	10
5	18	10

end77.0ms (1.7%)

Compiler: Compiled 47 to 29 computations (38.3% saved)

Iter	Nodes	Cost
0	7	10
1	13	10
2	24	10
3	42	10
4	80	10
5	138	10
6	302	10
7	420	10
8	581	10
9	647	10
10	718	10
11	740	10
12	744	10
13	699	10

Iter	Nodes	Cost
0	24	586
1	54	505
2	101	496
3	177	496
4	322	496
5	578	496
6	684	496
7	723	496
8	724	496
9	679	496

Iter	Nodes	Cost
0	7	10
1	13	10
2	24	10
3	42	10
4	80	10
5	138	10
6	302	10
7	420	10
8	581	10
9	647	10
10	718	10
11	740	10
12	744	10
13	699	10

Iter	Nodes	Cost
0	24	586
1	54	505
2	101	496
3	177	496
4	322	496
5	578	496
6	684	496
7	723	496
8	724	496
9	679	496

Details

analyze770.0ms (17.2%)

sample1.9s (42.5%)

simplify47.0ms (1.1%)

prune2.0ms (0.1%)

localize8.0ms (0.2%)

series36.0ms (0.8%)

rewrite91.0ms (2%)

simplify75.0ms (1.7%)

prune332.0ms (7.4%)

localize20.0ms (0.5%)

series464.0ms (10.4%)

rewrite277.0ms (6.2%)

simplify112.0ms (2.5%)

prune179.0ms (4%)

regimes74.0ms (1.6%)

simplify3.0ms (0.1%)

end77.0ms (1.7%)

Profiling

Iter	Nodes	Cost
0	7	10
1	13	10
2	24	10
3	42	10
4	80	10
5	138	10
6	302	10
7	420	10
8	581	10
9	647	10
10	718	10
11	740	10
12	744	10
13	699	10

Iter	Nodes	Cost
0	24	586
1	54	505
2	101	496
3	177	496
4	322	496
5	578	496
6	684	496
7	723	496
8	724	496
9	679	496