Details

analyze1.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	25%	75%	0
25%	0%	75%	1

Compiler

Compiled 17 to 9 computations (47.1% saved)

sample822.0ms (64.7%)

Results

677.0ms

8256×

body

128

valid

Compiler

Compiled 44 to 22 computations (50% saved)

simplify137.0ms (10.8%)

Algorithm

1×	egg-herbie

Rules

1333×	`sqr-pow_binary64`
715×	`pow-sqr_binary64`
539×	`cube-prod_binary64`
485×	`fabs-mul_binary64`
362×	`unswap-sqr_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	5	10
1	15	8
2	30	8
3	43	8
4	58	8
5	88	8
6	167	8
7	394	8
8	670	8
9	682	8
10	812	8
11	966	8
12	1128	8
13	1356	8
14	1657	8
15	2005	8
16	2480	8
17	3098	8
18	3294	8
19	3468	8
20	3582	8
21	3629	8
22	3681	8
23	4559	8
24	4861	8

prune2.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(*.f64 x (fma.f64 x x x))

Compiler

Compiled 30 to 12 computations (60% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 x (fma.f64 x x x))

series3.0ms (0.3%)

Counts

1 → 12

Calls

1 calls:

3.0ms

(*.f64 x (fma.f64 x x x))

rewrite77.0ms (6.1%)

Algorithm

2×	batch-egg-rewrite

Rules

634×	`log1p-udef_binary64`
347×	`log1p-expm1-u_binary64`
347×	`expm1-log1p-u_binary64`
289×	`pow1_binary64`
261×	`unpow-prod-down_binary64`

Counts

1 → 37

Calls

1 calls:

76.0ms

(*.f64 x (fma.f64 x x x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	8
1	79	8
2	921	8
3	4643	8
4	5792	8
0	0	0
1	0	0

simplify158.0ms (12.5%)

Algorithm

1×	egg-herbie

Rules

1266×	`fma-def_binary64`
968×	`sqr-pow_binary64`
577×	`cube-prod_binary64`
538×	`unswap-sqr_binary64`
473×	`fabs-mul_binary64`

Counts

49 → 42

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	102
1	19	84
2	41	84
3	77	84
4	173	84
5	628	84
6	1449	84
7	1962	84
8	2212	84
9	2454	84
10	2804	84
11	2749	84
12	3018	84
13	3492	84
14	3783	84
15	4004	84
16	4132	84
17	4181	84
18	4209	84
19	4866	84
20	4770	84

prune18.0ms (1.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

Counts

43 → 1

Alt Table

Status	Error	Program
▶	0b	(fma.f64 x x (pow.f64 x 3))

Compiler

Compiled 430 to 182 computations (57.7% saved)

localize4.0ms (0.3%)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Error

Counts

1 → 1

Alt Table

Status	Error	Program
✓	0b	(fma.f64 x x (pow.f64 x 3))

Compiler

Compiled 7 to 4 computations (42.9% saved)

regimes13.0ms (1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

6 → 1

Compiler

Compiled 96 to 48 computations (50% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	5	8

end30.0ms (2.4%)

Compiler: Compiled 21 to 12 computations (42.9% saved)

Details

analyze1.0ms (0.1%)

sample822.0ms (64.7%)

simplify137.0ms (10.8%)

prune2.0ms (0.2%)

localize3.0ms (0.2%)

series3.0ms (0.3%)

rewrite77.0ms (6.1%)

simplify158.0ms (12.5%)

prune18.0ms (1.4%)

localize4.0ms (0.3%)

prune1.0ms (0.1%)

regimes13.0ms (1%)

simplify2.0ms (0.1%)

end30.0ms (2.4%)

Profiling