Details

analyze192.0ms (5.9%)

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
18.7%	81.1%	0.1%	6
40.6%	59.3%	0.1%	7
45.2%	54.6%	0.1%	8
65.5%	34.3%	0.1%	9
78%	21.8%	0.1%	10
80%	19.5%	0.5%	11
81.7%	17.7%	0.5%	12
87.9%	11.3%	0.8%	13
88.3%	10.1%	1.6%	14

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample834.0ms (25.4%)

Results

750.0ms	8256×	body	128	valid
37.0ms	220×	body	128	invalid

Compiler

Compiled 32 to 20 computations (37.5% saved)

simplify59.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

649×	`fma-neg_binary64`
496×	`div-sub_binary64`
481×	`fma-def_binary64`
322×	`times-frac_binary64`
160×	`associate-/l/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	13	10
2	21	10
3	37	10
4	72	10
5	127	10
6	265	10
7	547	10
8	1353	10
9	2750	10
10	3664	10
11	4026	10
12	4151	10
13	4178	10
14	4188	10
15	4196	10
16	4196	10

Stop Event

1×

saturated

Counts

1 → 2

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	2	3

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (-.f64 x y) (-.f64 z y))

Compiler

Compiled 37 to 21 computations (43.2% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series17.0ms (0.5%)

Counts

1 → 36

Calls

1 calls:

17.0ms

(/.f64 (-.f64 x y) (-.f64 z y))

rewrite102.0ms (3.1%)

Algorithm

1×	batch-egg-rewrite

Rules

952×	`prod-diff_binary64`
233×	`egg-rr`
166×	`expm1-udef_binary64`
166×	`log1p-udef_binary64`
90×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	167	10
2	2654	10

Stop Event

1×	node limit

Counts

1 → 233

Calls

1 calls:

93.0ms

(/.f64 (-.f64 x y) (-.f64 z y))

simplify55.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

754×	`sub-neg_binary64`
431×	`associate--l+_binary64`
342×	`fma-def_binary64`
333×	`associate--r+_binary64`
311×	`associate-+l+_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	76	1081
1	227	1075
2	847	933
3	4704	927

Stop Event

1×	node limit

Counts

269 → 265

prune191.0ms (5.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	261	4	265
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	262	4	266

Error

Counts

266 → 4

Alt Table

Status	Error	Program
	0.3b	(pow.f64 (/.f64 (-.f64 z y) (-.f64 x y)) -1)
▶	0.0b	(-.f64 (/.f64 x (-.f64 z y)) (/.f64 y (-.f64 z y)))
	33.4b	(+.f64 (/.f64 x z) (+.f64 (.f64 (/.f64 x z) (.f64 (+.f64 (/.f64 y z) 1) (/.f64 y z))) (*.f64 (/.f64 y z) (-.f64 -1 (/.f64 y z)))))
	0.3b	(+.f64 (fma.f64 x (/.f64 1 (-.f64 z y)) (neg.f64 (.f64 (/.f64 1 (-.f64 z y)) y))) (fma.f64 (neg.f64 (/.f64 1 (-.f64 z y))) y (.f64 (/.f64 1 (-.f64 z y)) y)))

Compiler

Compiled 12610 to 3405 computations (73% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series43.0ms (1.3%)

Counts

3 → 75

Calls

3 calls:

20.0ms	(-.f64 (/.f64 x (-.f64 z y)) (/.f64 y (-.f64 z y)))
15.0ms	(/.f64 x (-.f64 z y))
8.0ms	(/.f64 y (-.f64 z y))

rewrite83.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

520×	`fma-def_binary64`
277×	`fma-neg_binary64`
237×	`egg-rr`
192×	`expm1-udef_binary64`
192×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	24
1	195	24
2	3303	24

Stop Event

1×	node limit

Counts

3 → 237

Calls

3 calls:

76.0ms	(/.f64 x (-.f64 z y))
76.0ms	(/.f64 y (-.f64 z y))
76.0ms	(-.f64 (/.f64 x (-.f64 z y)) (/.f64 y (-.f64 z y)))

simplify47.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

437×	`associate--l+_binary64`
382×	`associate--r+_binary64`
382×	`fma-def_binary64`
344×	`associate-+l+_binary64`
237×	`times-frac_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	84	1997
1	260	1979
2	987	1653

Stop Event

1×	node limit

Counts

312 → 297

prune182.0ms (5.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	295	2	297
Fresh	2	1	3
Picked	0	1	1
Done	0	0	0
Total	297	4	301

Error

Counts

301 → 4

Alt Table

Status	Error	Program
	30.9b	(-.f64 (/.f64 x (-.f64 z y)) (*.f64 (+.f64 (/.f64 y z) 1) (/.f64 y z)))
▶	0.1b	(fma.f64 x (/.f64 1 (-.f64 z y)) (/.f64 (neg.f64 y) (-.f64 z y)))
	0.3b	(pow.f64 (/.f64 (-.f64 z y) (-.f64 x y)) -1)
✓	0.0b	(-.f64 (/.f64 x (-.f64 z y)) (/.f64 y (-.f64 z y)))

Compiler

Compiled 6515 to 1856 computations (71.5% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 1 (-.f64 z y))
✓	0.0b	(/.f64 (neg.f64 y) (-.f64 z y))
✓	0.1b	(fma.f64 x (/.f64 1 (-.f64 z y)) (/.f64 (neg.f64 y) (-.f64 z y)))

series40.0ms (1.2%)

Counts

3 → 84

Calls

3 calls:

23.0ms	(fma.f64 x (/.f64 1 (-.f64 z y)) (/.f64 (neg.f64 y) (-.f64 z y)))
10.0ms	(/.f64 (neg.f64 y) (-.f64 z y))
7.0ms	(/.f64 1 (-.f64 z y))

rewrite120.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

653×	`prod-diff_binary64`
333×	`egg-rr`
168×	`expm1-udef_binary64`
168×	`log1p-udef_binary64`
108×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	35
1	215	27
2	3093	27

Stop Event

1×	node limit

Counts

3 → 333

Calls

3 calls:

110.0ms	(/.f64 1 (-.f64 z y))
110.0ms	(/.f64 (neg.f64 y) (-.f64 z y))
110.0ms	(fma.f64 x (/.f64 1 (-.f64 z y)) (/.f64 (neg.f64 y) (-.f64 z y)))

simplify57.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

438×	`associate--l+_binary64`
437×	`fma-def_binary64`
392×	`associate-+l+_binary64`
369×	`associate--r+_binary64`
250×	`times-frac_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	103	2033
1	295	2009
2	1098	1743

Stop Event

1×	node limit

Counts

417 → 394

prune265.0ms (8.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	394	0	394
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	394	4	398

Error

Counts

398 → 4

Alt Table

Status	Error	Program
	30.9b	(-.f64 (/.f64 x (-.f64 z y)) (*.f64 (+.f64 (/.f64 y z) 1) (/.f64 y z)))
✓	0.1b	(fma.f64 x (/.f64 1 (-.f64 z y)) (/.f64 (neg.f64 y) (-.f64 z y)))
▶	0.3b	(pow.f64 (/.f64 (-.f64 z y) (-.f64 x y)) -1)
✓	0.0b	(-.f64 (/.f64 x (-.f64 z y)) (/.f64 y (-.f64 z y)))

Compiler

Compiled 14800 to 5214 computations (64.8% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 z y) (-.f64 x y))
✓	0.3b	(pow.f64 (/.f64 (-.f64 z y) (-.f64 x y)) -1)

series70.0ms (2.1%)

Counts

2 → 72

Calls

2 calls:

51.0ms	(pow.f64 (/.f64 (-.f64 z y) (-.f64 x y)) -1)
18.0ms	(/.f64 (-.f64 z y) (-.f64 x y))

rewrite120.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

952×	`prod-diff_binary64`
281×	`egg-rr`
109×	`add-sqr-sqrt_binary64`
105×	`log1p-expm1-u_binary64`
105×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	209	20
2	3118	20

Stop Event

1×	node limit

Counts

2 → 281

Calls

2 calls:

110.0ms	(/.f64 (-.f64 z y) (-.f64 x y))
110.0ms	(pow.f64 (/.f64 (-.f64 z y) (-.f64 x y)) -1)

simplify79.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

442×	`sub-neg_binary64`
385×	`times-frac_binary64`
276×	`associate-/l*_binary64`
235×	`+-commutative_binary64`
235×	`associate-+r+_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	264	3611
1	909	3548
2	4259	3473

Stop Event

1×	node limit

Counts

353 → 356

prune269.0ms (8.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	355	1	356
Fresh	1	0	1
Picked	1	0	1
Done	0	2	2
Total	357	3	360

Error

Counts

360 → 3

Alt Table

Status	Error	Program
✓	0.1b	(fma.f64 x (/.f64 1 (-.f64 z y)) (/.f64 (neg.f64 y) (-.f64 z y)))
✓	0.0b	(-.f64 (/.f64 x (-.f64 z y)) (/.f64 y (-.f64 z y)))
	0.3b	(pow.f64 (-.f64 (/.f64 z (-.f64 x y)) (/.f64 y (-.f64 x y))) -1)

Compiler

Compiled 15936 to 5103 computations (68% saved)

regimes375.0ms (11.5%)

Accuracy

Total 0.0b remaining (73%)

Threshold costs 0.0b (73%)

Counts

100 → 1

Compiler

Compiled 6270 to 3880 computations (38.1% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
3×	`sub-neg_binary64`
1×	`*-commutative_binary64`
1×	`/-rgt-identity_binary64`
1×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	10
1	15	10
2	20	10
3	22	10
4	23	10

Stop Event

1×

saturated

end51.0ms (1.5%)

Compiler: Compiled 66 to 37 computations (43.9% saved)

Details

analyze192.0ms (5.9%)

sample834.0ms (25.4%)

simplify59.0ms (1.8%)

prune2.0ms (0.1%)

localize4.0ms (0.1%)

series17.0ms (0.5%)

rewrite102.0ms (3.1%)

simplify55.0ms (1.7%)

prune191.0ms (5.8%)

localize6.0ms (0.2%)

series43.0ms (1.3%)

rewrite83.0ms (2.5%)

simplify47.0ms (1.4%)

prune182.0ms (5.5%)

localize8.0ms (0.2%)

series40.0ms (1.2%)

rewrite120.0ms (3.7%)

simplify57.0ms (1.7%)

prune265.0ms (8.1%)

localize5.0ms (0.2%)

series70.0ms (2.1%)

rewrite120.0ms (3.7%)

simplify79.0ms (2.4%)

prune269.0ms (8.2%)

regimes375.0ms (11.5%)

simplify2.0ms (0.1%)

end51.0ms (1.5%)

Profiling