Details

analyze384.0ms (25.1%)

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
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
34.3%	63.2%	2.5%	9
40.6%	52.7%	6.8%	10
48.4%	42.1%	9.5%	11
56.2%	32.5%	11.4%	12
59.1%	26.9%	14%	13
63.9%	21%	15.1%	14

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample840.0ms (54.9%)

Results

755.0ms	8256×	body	128	valid
52.0ms	613×	body	128	invalid

Compiler

Compiled 32 to 20 computations (37.5% saved)

simplify10.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

66×	`fma-def_binary64`
8×	`+-commutative_binary64`
8×	`associate-r_binary64`
8×	`associate-l_binary64`
6×	`*-commutative_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	16	8
2	35	8
3	50	8
4	59	8
5	66	8
6	72	8
7	91	8
8	107	8
9	121	8
10	139	8
11	146	8
12	147	8

Stop Event

1×

saturated

Counts

1 → 2

prune2.0ms (0.2%)

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

Compiler

Compiled 34 to 18 computations (47.1% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series6.0ms (0.4%)

Counts

1 → 36

Calls

1 calls:

6.0ms

(fma.f64 y (+.f64 x z) x)

rewrite36.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

677×	`log1p-expm1-u_binary64`
677×	`expm1-log1p-u_binary64`
519×	`prod-diff_binary64`
68×	`add-sqr-sqrt_binary64`
64×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	129	8
2	1767	8

Stop Event

1×	node limit

Counts

1 → 23

Calls

1 calls:

35.0ms

(fma.f64 y (+.f64 x z) x)

simplify17.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

66×	`fma-def_binary64`
8×	`associate-r_binary64`
8×	`associate-l_binary64`
6×	`*-commutative_binary64`
5×	`+-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	14	285
1	33	285
2	49	258
3	61	258
4	80	258
5	96	258
6	110	258
7	128	258
8	135	258
9	136	258

Stop Event

1×

saturated

Counts

59 → 32

prune23.0ms (1.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	31	1	32
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	31	2	33

Error

Counts

33 → 2

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 y x) (+.f64 (.f64 y z) x))
✓	0.0b	(fma.f64 y (+.f64 x z) x)

Compiler

Compiled 341 to 101 computations (70.4% saved)

localize5.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

series9.0ms (0.6%)

Counts

1 → 9

Calls

1 calls:

9.0ms

(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))

rewrite48.0ms (3.1%)

Algorithm

1×	batch-egg-rewrite

Rules

577×	`fma-def_binary64`
480×	`log-prod_binary64`
299×	`fma-neg_binary64`
172×	`expm1-udef_binary64`
172×	`log1p-udef_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	9
1	182	9
2	2683	8

Stop Event

1×	node limit

Counts

1 → 91

Calls

1 calls:

46.0ms

(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))

simplify14.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

30×	`fma-def_binary64`
8×	`associate-r_binary64`
8×	`associate-l_binary64`
5×	`*-lft-identity_binary64`
5×	`*-rgt-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	42
1	26	42
2	36	42
3	44	42
4	59	42
5	67	42
6	81	42
7	85	42
8	87	42

Stop Event

1×

saturated

Counts

100 → 98

prune38.0ms (2.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	98	2	100

Error

Counts

100 → 2

Alt Table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 y x) (+.f64 (.f64 y z) x))
✓	0.0b	(fma.f64 y (+.f64 x z) x)

Compiler

Compiled 1342 to 386 computations (71.2% saved)

regimes55.0ms (3.6%)

Accuracy

Total 0.0b remaining (32.8%)

Threshold costs 0.0b (32.8%)

Counts

14 → 1

Compiler

Compiled 532 to 318 computations (40.2% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9

Stop Event

1×

saturated

end37.0ms (2.4%)

Compiler: Compiled 41 to 22 computations (46.3% saved)

Iter	Nodes	Cost
0	7	10
1	16	8
2	35	8
3	50	8
4	59	8
5	66	8
6	72	8
7	91	8
8	107	8
9	121	8
10	139	8
11	146	8
12	147	8

Iter	Nodes	Cost
0	14	285
1	33	285
2	49	258
3	61	258
4	80	258
5	96	258
6	110	258
7	128	258
8	135	258
9	136	258

Iter	Nodes	Cost
0	7	10
1	16	8
2	35	8
3	50	8
4	59	8
5	66	8
6	72	8
7	91	8
8	107	8
9	121	8
10	139	8
11	146	8
12	147	8

Iter	Nodes	Cost
0	14	285
1	33	285
2	49	258
3	61	258
4	80	258
5	96	258
6	110	258
7	128	258
8	135	258
9	136	258

Details

analyze384.0ms (25.1%)

sample840.0ms (54.9%)

simplify10.0ms (0.7%)

prune2.0ms (0.2%)

localize4.0ms (0.3%)

series6.0ms (0.4%)

rewrite36.0ms (2.3%)

simplify17.0ms (1.1%)

prune23.0ms (1.5%)

localize5.0ms (0.4%)

series9.0ms (0.6%)

rewrite48.0ms (3.1%)

simplify14.0ms (0.9%)

prune38.0ms (2.5%)

regimes55.0ms (3.6%)

simplify2.0ms (0.1%)

end37.0ms (2.4%)

Profiling

Iter	Nodes	Cost
0	7	10
1	16	8
2	35	8
3	50	8
4	59	8
5	66	8
6	72	8
7	91	8
8	107	8
9	121	8
10	139	8
11	146	8
12	147	8

Iter	Nodes	Cost
0	14	285
1	33	285
2	49	258
3	61	258
4	80	258
5	96	258
6	110	258
7	128	258
8	135	258
9	136	258