Details

analyze777.0ms (17.3%)

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
1.6%	98.2%	0.2%	8
19.1%	80.7%	0.2%	9
22%	77.8%	0.2%	10
34.5%	65.3%	0.2%	11
44.2%	55.7%	0.2%	12
53.3%	45.5%	1.2%	13
55.8%	42.7%	1.5%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.2s (25.7%)

Results

942.0ms	8256×	body	128	valid
113.0ms	621×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify110.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1536×	`fma-neg_binary64`
909×	`div-sub_binary64`
615×	`times-frac_binary64`
547×	`fma-def_binary64`
362×	`sub-neg_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	18	13
2	29	13
3	67	13
4	136	13
5	250	13
6	551	13
7	1395	13
8	2791	13
9	2886	13
10	3210	13
11	3295	13
12	3304	13
13	3354	13
14	4929	13

prune2.0ms (0%)

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

1.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	1.9b	(*.f64 (/.f64 (-.f64 x y) (-.f64 z y)) t)

Compiler

Compiled 39 to 24 computations (38.5% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series53.0ms (1.2%)

Counts

2 → 84

Calls

2 calls:

33.0ms	(*.f64 (/.f64 (-.f64 x y) (-.f64 z y)) t)
19.0ms	(/.f64 (-.f64 x y) (-.f64 z y))

rewrite121.0ms (2.7%)

Algorithm

2×	batch-egg-rewrite

Rules

952×	`prod-diff_binary64`
260×	`egg-rr`
204×	`log1p-udef_binary64`
111×	`add-sqr-sqrt_binary64`
106×	`log1p-expm1-u_binary64`

Counts

2 → 260

Calls

2 calls:

108.0ms	(/.f64 (-.f64 x y) (-.f64 z y))
108.0ms	(*.f64 (/.f64 (-.f64 x y) (-.f64 z y)) t)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	208	23
2	3068	23
3	5326	23
0	0	0
1	0	0

simplify94.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

787×	`fma-def_binary64`
665×	`times-frac_binary64`
604×	`fma-neg_binary64`
419×	`cancel-sign-sub-inv_binary64`
327×	`sub-neg_binary64`

Counts

344 → 327

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	150	2783
1	465	2777
2	1760	2157
3	4756	2152
4	5179	2152

prune221.0ms (4.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	321	6	327
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	322	6	328

Error

Counts

328 → 6

Alt Table

Status	Error	Program
	12.1b	(-.f64 (/.f64 (.f64 t x) (-.f64 z y)) (/.f64 (.f64 y t) (-.f64 z y)))
	33.2b	(*.f64 (fma.f64 (/.f64 x z) (/.f64 y z) (/.f64 (-.f64 x y) z)) t)
▶	1.8b	(/.f64 t (/.f64 (-.f64 z y) (-.f64 x y)))
	13.1b	(/.f64 (-.f64 x y) (/.f64 (-.f64 z y) t))
	11.9b	(*.f64 (/.f64 t (-.f64 z y)) (-.f64 x y))
	2.9b	(pow.f64 (cbrt.f64 (*.f64 (/.f64 (-.f64 x y) (-.f64 z y)) t)) 3)

Compiler

Compiled 14472 to 3709 computations (74.4% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series49.0ms (1.1%)

Counts

2 → 84

Calls

2 calls:

31.0ms	(/.f64 t (/.f64 (-.f64 z y) (-.f64 x y)))
18.0ms	(/.f64 (-.f64 z y) (-.f64 x y))

rewrite118.0ms (2.6%)

Algorithm

2×	batch-egg-rewrite

Rules

979×	`prod-diff_binary64`
280×	`egg-rr`
115×	`add-sqr-sqrt_binary64`
110×	`log1p-expm1-u_binary64`
110×	`expm1-log1p-u_binary64`

Counts

2 → 280

Calls

2 calls:

107.0ms	(/.f64 (-.f64 z y) (-.f64 x y))
107.0ms	(/.f64 t (/.f64 (-.f64 z y) (-.f64 x y)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	214	23
2	3301	23
3	5256	23
0	0	0
1	0	0

simplify86.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

826×	`times-frac_binary64`
777×	`fma-def_binary64`
450×	`fma-neg_binary64`
447×	`cancel-sign-sub-inv_binary64`
341×	`sub-neg_binary64`

Counts

364 → 347

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	163	2603
1	492	2498
2	1886	2166
3	4669	2154
4	5014	2154

prune225.0ms (5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	346	1	347
Fresh	2	3	5
Picked	0	1	1
Done	0	0	0
Total	348	5	353

Error

Counts

353 → 5

Alt Table

Status	Error	Program
	12.1b	(-.f64 (/.f64 (.f64 t x) (-.f64 z y)) (/.f64 (.f64 y t) (-.f64 z y)))
	33.2b	(*.f64 (fma.f64 (/.f64 x z) (/.f64 y z) (/.f64 (-.f64 x y) z)) t)
	34.0b	(.f64 (sqrt.f64 t) (.f64 (sqrt.f64 t) (/.f64 (-.f64 x y) (-.f64 z y))))
✓	1.8b	(/.f64 t (/.f64 (-.f64 z y) (-.f64 x y)))
▶	11.9b	(*.f64 (/.f64 t (-.f64 z y)) (-.f64 x y))

Compiler

Compiled 14816 to 3731 computations (74.8% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series49.0ms (1.1%)

Counts

2 → 72

Calls

2 calls:

32.0ms	(*.f64 (/.f64 t (-.f64 z y)) (-.f64 x y))
17.0ms	(/.f64 t (-.f64 z y))

rewrite64.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

736×	`prod-diff_binary64`
200×	`expm1-udef_binary64`
200×	`log1p-udef_binary64`
109×	`add-sqr-sqrt_binary64`
104×	`log1p-expm1-u_binary64`

Counts

2 → 80

Calls

2 calls:

62.0ms	(/.f64 t (-.f64 z y))
62.0ms	(*.f64 (/.f64 t (-.f64 z y)) (-.f64 x y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	20
1	205	20
2	2958	20
3	5009	20
0	0	0
1	0	0

simplify73.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

656×	`times-frac_binary64`
573×	`fma-def_binary64`
546×	`associate-/l*_binary64`
477×	`fma-neg_binary64`
268×	`cancel-sign-sub-inv_binary64`

Counts

152 → 129

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	113	2119
1	348	2083
2	1307	1749
3	4868	1749
4	5237	1749

prune68.0ms (1.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	129	5	134

Error

Counts

134 → 5

Alt Table

Status	Error	Program
▶	12.1b	(-.f64 (/.f64 (.f64 t x) (-.f64 z y)) (/.f64 (.f64 y t) (-.f64 z y)))
	33.2b	(*.f64 (fma.f64 (/.f64 x z) (/.f64 y z) (/.f64 (-.f64 x y) z)) t)
	34.0b	(.f64 (sqrt.f64 t) (.f64 (sqrt.f64 t) (/.f64 (-.f64 x y) (-.f64 z y))))
✓	1.8b	(/.f64 t (/.f64 (-.f64 z y) (-.f64 x y)))
✓	11.9b	(*.f64 (/.f64 t (-.f64 z y)) (-.f64 x y))

Compiler

Compiled 2632 to 917 computations (65.2% saved)

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series89.0ms (2%)

Counts

3 → 87

Calls

3 calls:

44.0ms	(-.f64 (/.f64 (.f64 t x) (-.f64 z y)) (/.f64 (.f64 y t) (-.f64 z y)))
28.0ms	(/.f64 (*.f64 t x) (-.f64 z y))
17.0ms	(/.f64 (*.f64 y t) (-.f64 z y))

rewrite129.0ms (2.9%)

Algorithm

2×	batch-egg-rewrite

Rules

507×	`fma-neg_binary64`
252×	`expm1-udef_binary64`
252×	`log1p-udef_binary64`
185×	`egg-rr`
137×	`add-sqr-sqrt_binary64`

Counts

3 → 185

Calls

3 calls:

123.0ms	(-.f64 (/.f64 (.f64 t x) (-.f64 z y)) (/.f64 (.f64 y t) (-.f64 z y)))
123.0ms	(/.f64 (*.f64 t x) (-.f64 z y))
123.0ms	(/.f64 (*.f64 y t) (-.f64 z y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	36
1	259	33
2	4191	33
3	5000	33
4	5508	33
0	0	0
1	0	0

simplify88.0ms (2%)

Algorithm

1×	egg-herbie

Rules

566×	`times-frac_binary64`
546×	`fma-neg_binary64`
529×	`fma-def_binary64`
479×	`associate-/l*_binary64`
265×	`cancel-sign-sub-inv_binary64`

Counts

272 → 252

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	2865
1	343	2832
2	1282	2325
3	4802	2325
4	5235	2325

prune137.0ms (3.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	252	0	252
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	252	5	257

Error

Counts

257 → 5

Alt Table

Status	Error	Program
✓	12.1b	(-.f64 (/.f64 (.f64 t x) (-.f64 z y)) (/.f64 (.f64 y t) (-.f64 z y)))
	33.2b	(*.f64 (fma.f64 (/.f64 x z) (/.f64 y z) (/.f64 (-.f64 x y) z)) t)
	34.0b	(.f64 (sqrt.f64 t) (.f64 (sqrt.f64 t) (/.f64 (-.f64 x y) (-.f64 z y))))
✓	1.8b	(/.f64 t (/.f64 (-.f64 z y) (-.f64 x y)))
✓	11.9b	(*.f64 (/.f64 t (-.f64 z y)) (-.f64 x y))

Compiler

Compiled 5979 to 1496 computations (75% saved)

regimes687.0ms (15.3%)

Accuracy

Total 2.3b remaining (99.1%)

Threshold costs 0b (0%)

Counts

123 → 1

Compiler

Compiled 11277 to 7448 computations (34% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
3×	`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	9	13
1	12	13
2	18	13
3	20	13
4	21	13
5	21	13

end68.0ms (1.5%)

Compiler: Compiled 106 to 62 computations (41.5% saved)

Details

analyze777.0ms (17.3%)

sample1.2s (25.7%)

simplify110.0ms (2.5%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series53.0ms (1.2%)

rewrite121.0ms (2.7%)

simplify94.0ms (2.1%)

prune221.0ms (4.9%)

localize6.0ms (0.1%)

series49.0ms (1.1%)

rewrite118.0ms (2.6%)

simplify86.0ms (1.9%)

prune225.0ms (5%)

localize6.0ms (0.1%)

series49.0ms (1.1%)

rewrite64.0ms (1.4%)

simplify73.0ms (1.6%)

prune68.0ms (1.5%)

localize10.0ms (0.2%)

series89.0ms (2%)

rewrite129.0ms (2.9%)

simplify88.0ms (2%)

prune137.0ms (3.1%)

regimes687.0ms (15.3%)

simplify2.0ms (0.1%)

end68.0ms (1.5%)

Profiling