Details

analyze918.0ms (20.8%)

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.1s (25.3%)

Results

805.0ms	8256×	body	128	valid
261.0ms	2652×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify27.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

669×	`fma-def_binary64`
536×	`unsub-neg_binary64`
313×	`distribute-rgt-in_binary64`
251×	`sub-neg_binary64`
228×	`associate-+l+_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	15	11
2	37	11
3	117	11
4	453	11
5	1476	11
6	2927	11
7	4018	11

Stop Event

1×	node limit

Counts

1 → 2

prune3.0ms (0.1%)

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.1%)

Local error

Found 1 expressions with local error:

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

series11.0ms (0.3%)

Counts

1 → 48

Calls

1 calls:

11.0ms

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

rewrite46.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

782×	`prod-diff_binary64`
341×	`fma-def_binary64`
176×	`expm1-udef_binary64`
176×	`log1p-udef_binary64`
165×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	180	11
2	2584	11

Stop Event

1×	node limit

Counts

1 → 23

Calls

1 calls:

46.0ms

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

simplify97.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

2435×	`fma-neg_binary64`
504×	`fma-def_binary64`
312×	`sub-neg_binary64`
310×	`unsub-neg_binary64`
252×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 11 (0.0ms)

Iter	Nodes	Cost
0	41	788
1	131	783
2	362	783
3	885	701
4	2282	557
5	3827	557
6	4450	557
7	4526	557
8	4527	557
9	4527	557
10	4527	557
11	4527	485

Stop Event

1×	node limit

Counts

71 → 42

prune27.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	39	3	42
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	39	4	43

Error

Counts

43 → 4

Alt Table

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

Compiler

Compiled 564 to 172 computations (69.5% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)
✓	0.6b	(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)

series1.3s (28.9%)

Counts

2 → 32

Calls

2 calls:

1.2s	(pow.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x)) 3)
72.0ms	(cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x))

rewrite50.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

782×	`prod-diff_binary64`
205×	`log1p-udef_binary64`
114×	`add-sqr-sqrt_binary64`
113×	`log1p-expm1-u_binary64`
113×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	24
1	240	24
2	3062	24

Stop Event

1×	node limit

Counts

2 → 49

Calls

2 calls:

49.0ms	(cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x))
49.0ms	(pow.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x)) 3)

simplify110.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

527×	`associate-+l+_binary64`
385×	`*-commutative_binary64`
203×	`+-commutative_binary64`
192×	`fma-def_binary64`
185×	`associate-r_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	722	10300
1	2662	8584

Stop Event

1×	node limit

Counts

81 → 105

prune201.0ms (4.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	146	1	147
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	147	4	151

Error

Counts

151 → 4

Alt Table

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

Compiler

Compiled 12534 to 6671 computations (46.8% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series7.0ms (0.2%)

Counts

1 → 36

Calls

1 calls:

7.0ms

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

rewrite58.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

823×	`prod-diff_binary64`
798×	`expm1-log1p-u_binary64`
127×	`egg-rr`
81×	`add-sqr-sqrt_binary64`
77×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	153	11
2	2126	11

Stop Event

1×	node limit

Counts

1 → 127

Calls

1 calls:

53.0ms

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

simplify34.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

391×	`fma-def_binary64`
310×	`fma-neg_binary64`
65×	`cancel-sign-sub-inv_binary64`
49×	`unsub-neg_binary64`
41×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	18	345
1	46	318
2	103	318
3	195	264
4	410	264
5	836	264
6	1270	264
7	1425	264
8	1450	264
9	1453	264

Stop Event

1×

saturated

Counts

163 → 138

prune60.0ms (1.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	138	0	138
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	138	4	142

Error

Counts

142 → 4

Alt Table

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

Compiler

Compiled 3489 to 936 computations (73.2% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series6.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

6.0ms

(*.f64 t (-.f64 y z))

rewrite35.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

672×	`log1p-expm1-u_binary64`
672×	`expm1-log1p-u_binary64`
359×	`prod-diff_binary64`
124×	`log1p-udef_binary64`
68×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	129	7
2	1762	7

Stop Event

1×	node limit

Counts

1 → 21

Calls

1 calls:

35.0ms

(*.f64 t (-.f64 y z))

simplify22.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

193×	`fma-def_binary64`
134×	`fma-neg_binary64`
43×	`cancel-sign-sub-inv_binary64`
28×	`sub-neg_binary64`
23×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	210
1	20	156
2	40	156
3	64	156
4	95	156
5	150	156
6	261	156
7	428	156
8	619	156
9	701	156
10	715	156

Stop Event

1×

saturated

Counts

45 → 27

prune12.0ms (0.3%)

Pruning

4 alts after pruning (0 fresh and 4 done)

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

Error

Counts

31 → 4

Alt Table

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

Compiler

Compiled 280 to 119 computations (57.5% saved)

regimes181.0ms (4.1%)

Accuracy

Total 0.0b remaining (25.1%)

Threshold costs 0.0b (25.1%)

Counts

28 → 1

Compiler

Compiled 1880 to 1246 computations (33.7% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	12	11
2	20	11
3	24	11
4	26	11

Stop Event

1×

saturated

end93.0ms (2.1%)

Compiler: Compiled 72 to 44 computations (38.9% saved)

Iter	Nodes	Cost
0	9	210
1	20	156
2	40	156
3	64	156
4	95	156
5	150	156
6	261	156
7	428	156
8	619	156
9	701	156
10	715	156

Iter	Nodes	Cost
0	9	210
1	20	156
2	40	156
3	64	156
4	95	156
5	150	156
6	261	156
7	428	156
8	619	156
9	701	156
10	715	156

Details

analyze918.0ms (20.8%)

sample1.1s (25.3%)

simplify27.0ms (0.6%)

prune3.0ms (0.1%)

localize5.0ms (0.1%)

series11.0ms (0.3%)

rewrite46.0ms (1%)

simplify97.0ms (2.2%)

prune27.0ms (0.6%)

localize8.0ms (0.2%)

series1.3s (28.9%)

rewrite50.0ms (1.1%)

simplify110.0ms (2.5%)

prune201.0ms (4.6%)

localize6.0ms (0.1%)

series7.0ms (0.2%)

rewrite58.0ms (1.3%)

simplify34.0ms (0.8%)

prune60.0ms (1.4%)

localize3.0ms (0.1%)

series6.0ms (0.1%)

rewrite35.0ms (0.8%)

simplify22.0ms (0.5%)

prune12.0ms (0.3%)

regimes181.0ms (4.1%)

simplify2.0ms (0.1%)

end93.0ms (2.1%)

Profiling

Iter	Nodes	Cost
0	9	210
1	20	156
2	40	156
3	64	156
4	95	156
5	150	156
6	261	156
7	428	156
8	619	156
9	701	156
10	715	156