Details

analyze38.0ms (2.3%)

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
25%	74.9%	0.1%	4
37.5%	62.4%	0.1%	5
62.4%	37.5%	0.1%	6
87.4%	12.5%	0.1%	7
87.4%	12.5%	0.1%	8
93.7%	6.2%	0.1%	9
93.7%	6.2%	0.1%	10
96.8%	3.1%	0.1%	11
96.8%	3.1%	0.1%	12
98.3%	1.6%	0.1%	13
98.3%	1.6%	0.1%	14

Compiler

Compiled 10 to 6 computations (40% saved)

sample843.0ms (52%)

Results

751.0ms

8256×

body

128

valid

Compiler

Compiled 29 to 17 computations (41.4% saved)

simplify73.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

516×	`fma-neg_binary64`
439×	`fma-def_binary64`
382×	`times-frac_binary64`
357×	`div-sub_binary64`
168×	`associate-/l*_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	9	10
2	14	10
3	21	10
4	28	10
5	51	10
6	74	10
7	104	10
8	154	10
9	319	10
10	479	10
11	806	10
12	1050	10
13	1216	10
14	1316	10
15	1330	10
16	1350	10
17	1350	10
18	1250	10

prune1.0ms (0.1%)

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

0.0b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 27 to 15 computations (44.4% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series9.0ms (0.5%)

Counts

1 → 24

Calls

1 calls:

8.0ms

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

rewrite9.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`*-un-lft-identity_binary64`
22×	`add-sqr-sqrt_binary64`
20×	`times-frac_binary64`
12×	`add-cube-cbrt_binary64`
6×	`distribute-lft-out_binary64`

Counts

1 → 47

Calls

1 calls:

5.0ms

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

simplify79.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

910×	`fma-neg_binary64`
434×	`cancel-sign-sub-inv_binary64`
387×	`distribute-rgt-in_binary64`
223×	`fma-def_binary64`
161×	`associate-/l*_binary64`

Counts

71 → 57

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	109	1282
1	280	1222
2	785	1160
3	2516	1148
4	4566	1139
5	5172	1139

prune29.0ms (1.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	54	3	57
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	54	4	58

Error

Counts

58 → 4

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x y) (-.f64 x y))
▶	0.0b	(cbrt.f64 (pow.f64 (/.f64 (+.f64 x y) (-.f64 x y)) 3))
	35.8b	(fma.f64 2 (/.f64 y x) 1)
	27.3b	(fma.f64 (/.f64 x y) -2 -1)

Compiler

Compiled 918 to 310 computations (66.2% saved)

localize6.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(cbrt.f64 (pow.f64 (/.f64 (+.f64 x y) (-.f64 x y)) 3))
	0.0b	(/.f64 (+.f64 x y) (-.f64 x y))
✓	0.0b	(pow.f64 (/.f64 (+.f64 x y) (-.f64 x y)) 3)

series33.0ms (2%)

Counts

2 → 48

Calls

2 calls:

19.0ms	(cbrt.f64 (pow.f64 (/.f64 (+.f64 x y) (-.f64 x y)) 3))
14.0ms	(pow.f64 (/.f64 (+.f64 x y) (-.f64 x y)) 3)

rewrite29.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Rules

116×	`*-un-lft-identity_binary64`
80×	`times-frac_binary64`
76×	`add-sqr-sqrt_binary64`
58×	`cbrt-prod_binary64`
52×	`cube-prod_binary64`

Counts

2 → 144

Calls

2 calls:

7.0ms	(cbrt.f64 (pow.f64 (/.f64 (+.f64 x y) (-.f64 x y)) 3))
7.0ms	(pow.f64 (/.f64 (+.f64 x y) (-.f64 x y)) 3)

simplify122.0ms (7.5%)

Algorithm

1×	egg-herbie

Rules

362×	`fma-def_binary64`
329×	`unswap-sqr_binary64`
285×	`distribute-rgt-in_binary64`
236×	`associate-/l/_binary64`
235×	`distribute-lft-in_binary64`

Counts

192 → 144

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	231	4190
1	648	3881
2	2075	3745
3	4846	3745
4	5066	3745

prune113.0ms (6.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	201	0	201
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	201	4	205

Error

Counts

205 → 4

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x y) (-.f64 x y))
✓	0.0b	(cbrt.f64 (pow.f64 (/.f64 (+.f64 x y) (-.f64 x y)) 3))
	35.8b	(fma.f64 2 (/.f64 y x) 1)
▶	27.3b	(fma.f64 (/.f64 x y) -2 -1)

Compiler

Compiled 3769 to 1483 computations (60.7% saved)

localize7.0ms (0.4%)

prune2.0ms (0.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	1	1
Done	2	2
Total	4	4

Error

Counts

4 → 4

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x y) (-.f64 x y))
✓	0.0b	(cbrt.f64 (pow.f64 (/.f64 (+.f64 x y) (-.f64 x y)) 3))
▶	35.8b	(fma.f64 2 (/.f64 y x) 1)
✓	27.3b	(fma.f64 (/.f64 x y) -2 -1)

Compiler

Compiled 45 to 31 computations (31.1% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 2 (/.f64 y x) 1)

series6.0ms (0.3%)

Counts

1 → 24

Calls

1 calls:

5.0ms

(fma.f64 2 (/.f64 y x) 1)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 10

Calls

1 calls:

0.0ms

(fma.f64 2 (/.f64 y x) 1)

simplify108.0ms (6.6%)

Algorithm

1×	egg-herbie

Rules

1229×	`associate-+l+_binary64`
577×	`distribute-rgt-in_binary64`
498×	`fma-def_binary64`
454×	`associate-*l/_binary64`
420×	`distribute-lft-in_binary64`

Counts

34 → 15

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	295
1	25	277
2	52	277
3	126	277
4	402	277
5	1574	277
6	3395	277
7	3275	277
8	3461	277
9	3774	277
10	4151	277
11	6109	277

prune8.0ms (0.5%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	15	0	15
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	15	4	19

Error

Counts

19 → 4

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x y) (-.f64 x y))
✓	0.0b	(cbrt.f64 (pow.f64 (/.f64 (+.f64 x y) (-.f64 x y)) 3))
✓	35.8b	(fma.f64 2 (/.f64 y x) 1)
✓	27.3b	(fma.f64 (/.f64 x y) -2 -1)

Compiler

Compiled 181 to 113 computations (37.6% saved)

regimes42.0ms (2.6%)

Accuracy

Total 0.0b remaining (63.3%)

Threshold costs 0.0b (63.3%)

Counts

15 → 1

Compiler

Compiled 387 to 273 computations (29.5% saved)

simplify5.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
2×	`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	6	10
1	9	10
2	14	10
3	16	10
4	17	10
5	17	10

end51.0ms (3.2%)

Compiler: Compiled 55 to 35 computations (36.4% saved)

Details

analyze38.0ms (2.3%)

sample843.0ms (52%)

simplify73.0ms (4.5%)

prune1.0ms (0.1%)

localize4.0ms (0.2%)

series9.0ms (0.5%)

rewrite9.0ms (0.5%)

simplify79.0ms (4.9%)

prune29.0ms (1.8%)

localize6.0ms (0.4%)

series33.0ms (2%)

rewrite29.0ms (1.8%)

simplify122.0ms (7.5%)

prune113.0ms (6.9%)

localize7.0ms (0.4%)

prune2.0ms (0.2%)

localize4.0ms (0.2%)

series6.0ms (0.3%)

rewrite1.0ms (0%)

simplify108.0ms (6.6%)

prune8.0ms (0.5%)

regimes42.0ms (2.6%)

simplify5.0ms (0.3%)

end51.0ms (3.2%)

Profiling