Details

analyze35.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)

sample807.0ms (52.7%)

Results

716.0ms

8256×

body

128

valid

Compiler

Compiled 29 to 17 computations (41.4% saved)

simplify140.0ms (9.1%)

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

Local error

Found 1 expressions with local error:

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

series9.0ms (0.6%)

Counts

1 → 24

Calls

1 calls:

9.0ms

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

rewrite9.0ms (0.6%)

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:

6.0ms

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

simplify231.0ms (15.1%)

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

prune26.0ms (1.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	56	1	57
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	56	2	58

Error

0.0b

Counts

58 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x y) (-.f64 x y))
▶	31.4b	(fma.f64 2 (*.f64 (+.f64 (/.f64 y x) 1) (/.f64 y x)) 1)

Compiler

Compiled 890 to 288 computations (67.6% saved)

localize6.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (/.f64 y x) 1)
✓	0.1b	(*.f64 (+.f64 (/.f64 y x) 1) (/.f64 y x))

series21.0ms (1.4%)

Counts

2 → 30

Calls

2 calls:

14.0ms	(*.f64 (+.f64 (/.f64 y x) 1) (/.f64 y x))
7.0ms	(+.f64 (/.f64 y x) 1)

rewrite19.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64`
21×	`*-un-lft-identity_binary64`
19×	`times-frac_binary64`
17×	`add-cube-cbrt_binary64`
13×	`fma-def_binary64`

Counts

2 → 66

Calls

2 calls:

10.0ms	(*.f64 (+.f64 (/.f64 y x) 1) (/.f64 y x))
5.0ms	(+.f64 (/.f64 y x) 1)

simplify85.0ms (5.5%)

Algorithm

1×	egg-herbie

Rules

332×	`associate-l_binary64`
268×	`associate-r_binary64`
245×	`associate-*l/_binary64`
242×	`associate-*r/_binary64`
228×	`distribute-rgt-in_binary64`

Counts

96 → 95

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	99	1262
1	235	1095
2	779	1015
3	2612	1014
4	4070	1002
5	4976	1002

prune60.0ms (3.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	95	0	95
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	95	2	97

Error

0.0b

Counts

97 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x y) (-.f64 x y))
✓	31.4b	(fma.f64 2 (*.f64 (+.f64 (/.f64 y x) 1) (/.f64 y x)) 1)

Compiler

Compiled 1819 to 885 computations (51.3% saved)

regimes37.0ms (2.4%)

Accuracy

Total 0.0b remaining (43.8%)

Threshold costs 0.0b (43.8%)

Counts

11 → 1

Compiler

Compiled 384 to 270 computations (29.7% saved)

simplify3.0ms (0.2%)

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	8	13
1	13	13
2	17	13
3	19	13
4	20	13
5	19	13

end39.0ms (2.5%)

Compiler: Compiled 45 to 28 computations (37.8% saved)

Details

analyze35.0ms (2.3%)

sample807.0ms (52.7%)

simplify140.0ms (9.1%)

prune1.0ms (0.1%)

localize4.0ms (0.3%)

series9.0ms (0.6%)

rewrite9.0ms (0.6%)

simplify231.0ms (15.1%)

prune26.0ms (1.7%)

localize6.0ms (0.4%)

series21.0ms (1.4%)

rewrite19.0ms (1.2%)

simplify85.0ms (5.5%)

prune60.0ms (3.9%)

regimes37.0ms (2.4%)

simplify3.0ms (0.2%)

end39.0ms (2.5%)

Profiling