Details

analyze944.0ms (0.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
9.4%	90.4%	0.2%	10
12.5%	85.6%	1.9%	11
19.5%	76.8%	3.7%	12
25.7%	64.7%	9.6%	13
31.6%	54.7%	13.7%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.5s (1%)

Results

988.0ms	8256×	body	128	valid
396.0ms	2773×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify180.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2262×	`fma-neg_binary64`
697×	`fma-def_binary64`
683×	`unsub-neg_binary64`
313×	`distribute-rgt-in_binary64`
306×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	15	11
2	37	11
3	105	11
4	335	11
5	850	11
6	1678	11
7	1991	11
8	2282	11
9	2193	11
10	2201	11
11	2201	11
12	2202	11
13	2172	11
14	2172	11
15	4437	11
16	4437	11
17	4437	11
18	4378	11

prune3.0ms (0%)

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	(fma.f64 (-.f64 y z) (-.f64 t x) x)

Compiler

Compiled 45 to 23 computations (48.9% saved)

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)

series12.0ms (0%)

Counts

1 → 48

Calls

1 calls:

12.0ms

(fma.f64 (-.f64 y z) (-.f64 t x) x)

rewrite73.0ms (0%)

Algorithm

2×	batch-egg-rewrite

Rules

782×	`prod-diff_binary64`
435×	`fma-def_binary64`
211×	`fma-neg_binary64`
176×	`expm1-udef_binary64`
176×	`log1p-udef_binary64`

Counts

1 → 24

Calls

1 calls:

73.0ms

(fma.f64 (-.f64 y z) (-.f64 t x) x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	180	11
2	2446	11
3	4731	11
4	5026	11
0	0	0
1	0	0

simplify196.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2435×	`fma-neg_binary64`
542×	`fma-def_binary64`
333×	`unsub-neg_binary64`
298×	`sub-neg_binary64`
252×	`distribute-rgt-in_binary64`

Counts

72 → 43

Iterations

Useful iterations: 11 (0.0ms)

Iter	Nodes	Cost
0	41	788
1	130	783
2	317	783
3	679	701
4	1586	557
5	2224	557
6	2071	557
7	2070	557
8	2071	557
9	2071	557
10	2071	557
11	2071	485
12	4425	485
13	4425	485
14	4425	485
15	4366	485

prune25.0ms (0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	41	2	43
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	41	3	44

Error

0.0b

Counts

44 → 3

Alt Table

Status	Error	Program
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)
▶	0.0b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
	1.3b	(pow.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x)) 3)

Compiler

Compiled 570 to 168 computations (70.5% saved)

localize11.0ms (0%)

Local error

Found 4 expressions with local error:

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

series87.0ms (0.1%)

Counts

4 → 87

Calls

4 calls:

67.0ms	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
9.0ms	(+.f64 (.f64 y t) (+.f64 (.f64 z x) x))
8.0ms	(+.f64 (.f64 y x) (.f64 t z))
3.0ms	(+.f64 (*.f64 z x) x)

rewrite177.0ms (0.1%)

Algorithm

2×	batch-egg-rewrite

Rules

294×	`log1p-udef_binary64`
185×	`egg-rr`
160×	`add-sqr-sqrt_binary64`
156×	`log1p-expm1-u_binary64`
156×	`expm1-log1p-u_binary64`

Counts

4 → 185

Calls

4 calls:

173.0ms	(+.f64 (.f64 y t) (+.f64 (.f64 z x) x))
173.0ms	(+.f64 (*.f64 z x) x)
173.0ms	(+.f64 (.f64 y x) (.f64 t z))
173.0ms	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	41
1	309	41
2	4609	41
3	5105	41
0	0	0
1	0	0

simplify225.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2631×	`fma-neg_binary64`
527×	`fma-def_binary64`
329×	`unsub-neg_binary64`
269×	`sub-neg_binary64`
260×	`distribute-rgt-in_binary64`

Counts

272 → 217

Iterations

Useful iterations: 10 (0.0ms)

Iter	Nodes	Cost
0	40	778
1	120	773
2	302	773
3	647	727
4	1456	655
5	2694	655
6	2585	655
7	2573	655
8	2573	655
9	2573	655
10	2573	619
11	4425	619
12	4425	619
13	4425	619
14	4425	619
15	4366	619

prune135.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	216	1	217
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	216	4	220

Error

0.0b

Counts

220 → 4

Alt Table

Status	Error	Program
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)
	31.7b	(-.f64 (+.f64 (.f64 y t) (.f64 (.f64 (+.f64 z 1) (sqrt.f64 x)) (sqrt.f64 x))) (+.f64 (.f64 y x) (*.f64 t z)))
✓	0.0b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
▶	1.3b	(pow.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x)) 3)

Compiler

Compiled 5228 to 1141 computations (78.2% saved)

localize8.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)
✓	0.5b	(cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x))
✓	0.7b	(pow.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x)) 3)

Details

analyze944.0ms (0.6%)

sample1.5s (1%)

simplify180.0ms (0.1%)

prune3.0ms (0%)

localize5.0ms (0%)

series12.0ms (0%)

rewrite73.0ms (0%)

simplify196.0ms (0.1%)

prune25.0ms (0%)

localize11.0ms (0%)

series87.0ms (0.1%)

rewrite177.0ms (0.1%)

simplify225.0ms (0.2%)

prune135.0ms (0.1%)

localize8.0ms (0%)

series2.4min (97.6%)

Profiling