Details

analyze7.0ms (0.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	50%	50%	0
0%	50%	50%	1
0%	50%	50%	2
0%	50%	50%	3
37.5%	12.5%	50%	4
43.7%	6.2%	50%	5
46.9%	3.1%	50%	6
48.4%	1.6%	50%	7
49.2%	0.8%	50%	8
49.6%	0.4%	50%	9
49.8%	0.2%	50%	10
49.9%	0.1%	50%	11
49.9%	0%	50%	12
50%	0%	50%	13
50%	0%	50%	14

Compiler

Compiled 29 to 19 computations (34.5% saved)

sample1.3s (70%)

Results

1.2s

8256×

body

128

valid

Compiler

Compiled 84 to 55 computations (34.5% saved)

simplify57.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

581×	`associate-/r*_binary64`
510×	`distribute-rgt-in_binary64`
489×	`distribute-lft-in_binary64`
463×	`fma-neg_binary64`
415×	`associate-/r/_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	31
1	40	26
2	185	17
3	915	13
4	2340	13
5	4455	13
6	4958	13
7	5077	13

prune4.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.4b

Counts

3 → 2

Alt Table

Status	Error	Program
	48.9b	(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 2 i) (.f64 2 i))) (-.f64 (.f64 (.f64 2 i) (*.f64 2 i)) 1))
▶	0.4b	(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))

Compiler

Compiled 107 to 73 computations (31.8% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
✓	0.5b	(/.f64 1 (*.f64 i i))

series10.0ms (0.5%)

Counts

2 → 24

Calls

2 calls:

8.0ms	(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
2.0ms	(/.f64 1 (*.f64 i i))

rewrite48.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

882×	`log1p-expm1-u_binary64`
882×	`expm1-log1p-u_binary64`
92×	`add-sqr-sqrt_binary64`
91×	`add-cbrt-cube_binary64`
91×	`add-log-exp_binary64`

Counts

2 → 48

Calls

2 calls:

47.0ms	(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
47.0ms	(/.f64 1 (*.f64 i i))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	20
1	202	14
2	2288	14
3	5374	14

simplify92.0ms (5%)

Algorithm

1×	egg-herbie

Rules

590×	`distribute-rgt-neg-in_binary64`
538×	`distribute-lft-neg-in_binary64`
472×	`associate-l_binary64`
438×	`fma-neg_binary64`
414×	`unswap-sqr_binary64`

Counts

72 → 65

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	41	273
1	104	271
2	280	267
3	846	267
4	2593	267
5	4622	267
6	4902	267
7	4992	267

prune34.0ms (1.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	63	2	65
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	65	2	67

Error

Counts

67 → 2

Alt Table

Status	Error	Program
▶	30.1b	(*.f64 -1/4 (pow.f64 i 2))
	33.5b	(+.f64 1/16 (/.f64 1/64 (*.f64 i i)))

Compiler

Compiled 761 to 640 computations (15.9% saved)

localize3.0ms (0.1%)

prune2.0ms (0.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

Counts

2 → 2

Alt Table

Status	Error	Program
✓	30.1b	(*.f64 -1/4 (pow.f64 i 2))
▶	33.5b	(+.f64 1/16 (/.f64 1/64 (*.f64 i i)))

Compiler

Compiled 22 to 17 computations (22.7% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 1/64 (*.f64 i i))

series3.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

3.0ms

(/.f64 1/64 (*.f64 i i))

rewrite70.0ms (3.8%)

Algorithm

1×	batch-egg-rewrite

Rules

469×	`log1p-expm1-u_binary64`
469×	`expm1-log1p-u_binary64`
268×	`unpow-prod-down_binary64`
213×	`log-prod_binary64`
158×	`prod-diff_binary64`

Counts

1 → 40

Calls

1 calls:

69.0ms

(/.f64 1/64 (*.f64 i i))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	110	7
2	1248	7
3	4849	7
4	5005	7

simplify136.0ms (7.4%)

Algorithm

1×	egg-herbie

Rules

1108×	`sqr-pow_binary64`
573×	`fabs-mul_binary64`
560×	`cube-prod_binary64`
536×	`pow-sqr_binary64`
434×	`unswap-sqr_binary64`

Counts

52 → 41

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	11	84
2	19	84
3	34	84
4	70	84
5	166	84
6	491	84
7	1147	84
8	1149	84
9	1297	84
10	1467	84
11	1646	84
12	1871	84
13	2156	84
14	2575	84
15	3140	84
16	3826	84
17	4044	84
18	4288	84
19	4370	84
20	4403	84
21	4424	84
22	4992	84

prune18.0ms (1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	41	0	41
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	41	2	43

Error

Counts

43 → 2

Alt Table

Status	Error	Program
✓	30.1b	(*.f64 -1/4 (pow.f64 i 2))
✓	33.5b	(+.f64 1/16 (/.f64 1/64 (*.f64 i i)))

Compiler

Compiled 498 to 376 computations (24.5% saved)

regimes23.0ms (1.3%)

Accuracy

Total -0.2b remaining (-47%)

Threshold costs -0.2b (-47%)

Counts

5 → 1

Compiler

Compiled 240 to 165 computations (31.3% saved)

simplify3.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`*-commutative_binary64`
1×	`distribute-neg-frac_binary64`
1×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	13	13
2	19	13
3	21	13
4	22	13
5	20	13

end38.0ms (2.1%)

Compiler: Compiled 34 to 27 computations (20.6% saved)

Details

analyze7.0ms (0.4%)

sample1.3s (70%)

simplify57.0ms (3.1%)

prune4.0ms (0.2%)

localize5.0ms (0.3%)

series10.0ms (0.5%)

rewrite48.0ms (2.6%)

simplify92.0ms (5%)

prune34.0ms (1.8%)

localize3.0ms (0.1%)

prune2.0ms (0.1%)

localize4.0ms (0.2%)

series3.0ms (0.1%)

rewrite70.0ms (3.8%)

simplify136.0ms (7.4%)

prune18.0ms (1%)

regimes23.0ms (1.3%)

simplify3.0ms (0.2%)

end38.0ms (2.1%)

Profiling