Details

analyze99.0ms (7.5%)

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
50%	50%	0.1%	3
50%	50%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	31.2%	6.3%	6
68.7%	18.7%	12.6%	7
68.7%	15.6%	15.7%	8
71.8%	9.4%	18.8%	9
71.8%	7.8%	20.4%	10
73.4%	4.7%	22%	11
73.4%	3.9%	22.7%	12
74.1%	2.3%	23.5%	13
74.1%	2%	23.9%	14

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample865.0ms (65.3%)

Results

760.0ms	8256×	body	128	valid
11.0ms	129×	body	128	invalid

Compiler

Compiled 26 to 17 computations (34.6% saved)

simplify71.0ms (5.4%)

Algorithm

1×	egg-herbie

Rules

664×	`unswap-sqr_binary64`
640×	`fma-def_binary64`
463×	`associate-/l*_binary64`
362×	`exp-prod_binary64`
312×	`associate-l_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	12	9
2	23	9
3	41	9
4	85	9
5	193	9
6	434	9
7	1080	9
8	2926	9
9	3322	9
10	4145	9
11	4931	9
12	5147	9

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

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0b	(exp.f64 (.f64 (.f64 x y) y))

Compiler

Compiled 30 to 17 computations (43.3% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 x y) y)

series8.0ms (0.6%)

Counts

1 → 24

Calls

1 calls:

8.0ms

(*.f64 (*.f64 x y) y)

rewrite81.0ms (6.1%)

Algorithm

2×	batch-egg-rewrite

Rules

816×	`log1p-udef_binary64`
431×	`log1p-expm1-u_binary64`
431×	`expm1-log1p-u_binary64`
366×	`unpow-prod-down_binary64`
273×	`log-prod_binary64`

Counts

1 → 17

Calls

1 calls:

80.0ms

(*.f64 (*.f64 x y) y)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	99	7
2	1159	7
3	4806	7
4	6204	7
0	0	0
1	0	0

simplify157.0ms (11.9%)

Algorithm

1×	egg-herbie

Rules

1108×	`sqr-pow_binary64`
573×	`fabs-mul_binary64`
560×	`cube-prod_binary64`
536×	`pow-sqr_binary64`
454×	`associate-l_binary64`

Counts

41 → 19

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	12	168
2	22	168
3	41	168
4	88	168
5	221	168
6	693	168
7	1098	168
8	1100	168
9	1248	168
10	1418	168
11	1600	168
12	1825	168
13	2110	168
14	2529	168
15	3094	168
16	3780	168
17	3998	168
18	4242	168
19	4324	168
20	4357	168
21	4378	168
22	4947	168

prune7.0ms (0.5%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	19	0	19
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	19	1	20

Error

Counts

20 → 1

Alt Table

Status	Error	Program
✓	0b	(exp.f64 (.f64 (.f64 x y) y))

Compiler

Compiled 196 to 90 computations (54.1% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	8	9
2	8	9

end27.0ms (2.1%)

Compiler: Compiled 24 to 15 computations (37.5% saved)

Details

analyze99.0ms (7.5%)

sample865.0ms (65.3%)

simplify71.0ms (5.4%)

prune2.0ms (0.2%)

localize4.0ms (0.3%)

series8.0ms (0.6%)

rewrite81.0ms (6.1%)

simplify157.0ms (11.9%)

prune7.0ms (0.5%)

simplify2.0ms (0.1%)

end27.0ms (2.1%)

Profiling