Details

analyze400.0ms (14.2%)

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
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
18.7%	81.2%	0.1%	6
37.5%	62.4%	0.1%	7
46.8%	53.1%	0.1%	8
55.4%	44.5%	0.1%	9
60.5%	39.4%	0.1%	10
65%	34.9%	0.1%	11
67.6%	32.3%	0.1%	12
69.9%	30%	0.1%	13
70.5%	29.4%	0.1%	14

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample2.2s (78.2%)

Results

1.2s	2792×	body	8192	exit
867.0ms	8256×	body	128	valid

Compiler

Compiled 17 to 11 computations (35.3% saved)

simplify70.0ms (2.5%)

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

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

Local error

Found 1 expressions with local error:

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

series9.0ms (0.3%)

Counts

1 → 24

Calls

1 calls:

9.0ms

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

rewrite5.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`
3×	`associate-r_binary64`
3×	`cbrt-unprod_binary64`

Counts

1 → 20

Calls

1 calls:

4.0ms

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

simplify65.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

723×	`fma-def_binary64`
373×	`associate-l_binary64`
319×	`unswap-sqr_binary64`
312×	`associate-*r/_binary64`
263×	`associate-*l/_binary64`

Counts

44 → 31

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	39	389
1	95	344
2	300	344
3	591	342
4	859	342
5	1608	342
6	4153	342
7	4970	342

prune14.0ms (0.5%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	31	0	31
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	31	1	32

Error

Counts

32 → 1

Alt Table

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

Compiler

Compiled 344 to 125 computations (63.7% 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

end42.0ms (1.5%)

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

Details

analyze400.0ms (14.2%)

sample2.2s (78.2%)

simplify70.0ms (2.5%)

prune2.0ms (0.1%)

localize4.0ms (0.2%)

series9.0ms (0.3%)

rewrite5.0ms (0.2%)

simplify65.0ms (2.3%)

prune14.0ms (0.5%)

simplify2.0ms (0.1%)

end42.0ms (1.5%)

Profiling