Details

analyze5.0ms (0.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 13 to 10 computations (23.1% saved)

sample774.0ms (55.8%)

Results

745.0ms

8256×

body

128

valid

Compiler

Compiled 38 to 29 computations (23.7% saved)

simplify6.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`1-exp_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	16
1	15	16
2	16	16
3	14	16

prune2.0ms (0.2%)

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 1 (-.f64 x 1)) (/.f64 x (+.f64 x 1)))

Compiler

Compiled 47 to 35 computations (25.5% saved)

localize7.0ms (0.5%)

Local error

Found 3 expressions with local error:

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

series8.0ms (0.6%)

Counts

3 → 36

Calls

3 calls:

3.0ms	(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 x 1)))
3.0ms	(/.f64 1 (-.f64 x 1))
2.0ms	(/.f64 x (+.f64 x 1))

rewrite75.0ms (5.4%)

Algorithm

2×	batch-egg-rewrite

Rules

489×	`fma-def_binary64`
464×	`log-prod_binary64`
249×	`fma-neg_binary64`
230×	`log-div_binary64`
168×	`expm1-udef_binary64`

Counts

3 → 144

Calls

3 calls:

72.0ms	(/.f64 x (+.f64 x 1))
72.0ms	(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 x 1)))
72.0ms	(/.f64 1 (-.f64 x 1))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	30
1	193	30
2	2777	30
3	5584	30
0	0	0
1	0	0

simplify66.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

479×	`fma-neg_binary64`
468×	`unswap-sqr_binary64`
456×	`cancel-sign-sub-inv_binary64`
433×	`associate-l_binary64`
316×	`associate-r_binary64`

Counts

180 → 183

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	59	488
1	179	470
2	524	457
3	1452	453
4	3893	453
5	4965	453

prune125.0ms (9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	181	2	183
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	181	3	184

Error

Counts

184 → 3

Alt Table

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

Compiler

Compiled 3167 to 2358 computations (25.5% saved)

localize3.0ms (0.2%)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

Counts

3 → 3

Alt Table

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

Compiler

Compiled 35 to 26 computations (25.7% saved)

localize6.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 2 (*.f64 x x))

series3.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

3.0ms

(/.f64 2 (*.f64 x x))

rewrite77.0ms (5.5%)

Algorithm

2×	batch-egg-rewrite

Rules

458×	`log1p-expm1-u_binary64`
458×	`expm1-log1p-u_binary64`
270×	`unpow-prod-down_binary64`
216×	`log-prod_binary64`
176×	`prod-diff_binary64`

Counts

1 → 40

Calls

1 calls:

76.0ms

(/.f64 2 (*.f64 x x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	108	7
2	1220	7
3	4813	7
4	5031	7
0	0	0
1	0	0

simplify137.0ms (9.9%)

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 → 42

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	84
1	10	84
2	18	84
3	33	84
4	69	84
5	165	84
6	490	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

prune22.0ms (1.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

45 → 3

Alt Table

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

Compiler

Compiled 527 to 399 computations (24.3% saved)

regimes20.0ms (1.4%)

Accuracy

Total 0.0b remaining (74.7%)

Threshold costs 0.0b (74.7%)

Counts

11 → 1

Compiler

Compiled 232 to 174 computations (25% saved)

simplify3.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	16
1	15	16
2	16	16
3	14	16

end48.0ms (3.5%)

Compiler: Compiled 51 to 38 computations (25.5% saved)

Details

analyze5.0ms (0.3%)

sample774.0ms (55.8%)

simplify6.0ms (0.4%)

prune2.0ms (0.2%)

localize7.0ms (0.5%)

series8.0ms (0.6%)

rewrite75.0ms (5.4%)

simplify66.0ms (4.8%)

prune125.0ms (9%)

localize3.0ms (0.2%)

prune2.0ms (0.1%)

localize6.0ms (0.4%)

series3.0ms (0.2%)

rewrite77.0ms (5.5%)

simplify137.0ms (9.9%)

prune22.0ms (1.6%)

regimes20.0ms (1.4%)

simplify3.0ms (0.2%)

end48.0ms (3.5%)

Profiling