Details

analyze657.0ms (31.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	25%	75%	0
0%	25%	75%	1
0%	25%	75%	2
6.3%	18.8%	75%	3
9.4%	15.6%	75%	4
10.9%	14.1%	75%	5
11.7%	13.3%	75%	6
11.7%	13.3%	75%	7
11.7%	13.3%	75%	8
11.8%	13.2%	75%	9
11.8%	13.2%	75%	10
11.8%	13.2%	75%	11
11.9%	13.1%	75%	12
11.9%	13.1%	75%	13
11.9%	13.1%	75%	14

Compiler

Compiled 17 to 9 computations (47.1% saved)

sample893.0ms (43.3%)

Results

733.0ms

8256×

body

128

valid

Compiler

Compiled 27 to 13 computations (51.9% saved)

simplify130.0ms (6.3%)

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

prune3.0ms (0.1%)

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.0b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 50 to 20 computations (60% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series6.0ms (0.3%)

Counts

2 → 24

Calls

2 calls:

3.0ms	(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))
3.0ms	(.f64 x (.f64 x x))

rewrite15.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`pow1_binary64`
10×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
5×	`pow-prod-up_binary64`
4×	`add-sqr-sqrt_binary64`

Counts

2 → 43

Calls

2 calls:

9.0ms	(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))
4.0ms	(.f64 x (.f64 x x))

simplify65.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

903×	`fma-neg_binary64`
561×	`distribute-rgt-out_binary64`
503×	`unswap-sqr_binary64`
353×	`associate-l_binary64`
330×	`associate-r_binary64`

Counts

67 → 61

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	60	467
1	143	424
2	458	411
3	1804	404
4	4358	404
5	4961	404

prune35.0ms (1.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	59	2	61
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	61	2	63

Error

Counts

63 → 2

Alt Table

Status	Error	Program
	0.0b	(.f64 (+.f64 x 1) (.f64 x x))
▶	0.0b	(fma.f64 x x (pow.f64 x 3))

Compiler

Compiled 817 to 275 computations (66.3% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series3.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

3.0ms

(fma.f64 x x (pow.f64 x 3))

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 10

Calls

1 calls:

0.0ms

(fma.f64 x x (pow.f64 x 3))

simplify71.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

498×	`distribute-rgt-out_binary64`
472×	`distribute-rgt-in_binary64`
452×	`distribute-lft-out_binary64`
420×	`distribute-lft-in_binary64`
380×	`sqr-pow_binary64`

Counts

22 → 17

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	208
1	30	185
2	74	185
3	223	185
4	965	185
5	3249	185
6	4005	185
7	5061	185

prune9.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	17	0	17
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	17	2	19

Error

Counts

19 → 2

Alt Table

Status	Error	Program
▶	0.0b	(.f64 (+.f64 x 1) (.f64 x x))
✓	0.0b	(fma.f64 x x (pow.f64 x 3))

Compiler

Compiled 180 to 109 computations (39.4% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series3.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

3.0ms

(*.f64 (+.f64 x 1) (*.f64 x x))

rewrite7.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`
4×	`associate-l_binary64`
4×	`*-un-lft-identity_binary64`

Counts

1 → 24

Calls

1 calls:

6.0ms

(*.f64 (+.f64 x 1) (*.f64 x x))

simplify80.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

992×	`fma-def_binary64`
652×	`distribute-rgt-in_binary64`
502×	`distribute-lft-in_binary64`
393×	`fma-neg_binary64`
334×	`associate-l_binary64`

Counts

36 → 40

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	46	442
1	117	331
2	333	320
3	989	317
4	3489	317
5	3862	317
6	4965	317
7	5117	317

prune20.0ms (1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	40	2	42

Error

Counts

42 → 2

Alt Table

Status	Error	Program
✓	0.0b	(.f64 (+.f64 x 1) (.f64 x x))
✓	0.0b	(fma.f64 x x (pow.f64 x 3))

Compiler

Compiled 493 to 289 computations (41.4% saved)

regimes16.0ms (0.8%)

Accuracy

Total 0.0b remaining (99.5%)

Threshold costs 0.0b (99.5%)

Counts

11 → 1

Compiler

Compiled 176 to 92 computations (47.7% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

end33.0ms (1.6%)

Compiler: Compiled 31 to 19 computations (38.7% saved)

Details

analyze657.0ms (31.9%)

sample893.0ms (43.3%)

simplify130.0ms (6.3%)

prune3.0ms (0.1%)

localize4.0ms (0.2%)

series6.0ms (0.3%)

rewrite15.0ms (0.8%)

simplify65.0ms (3.2%)

prune35.0ms (1.7%)

localize3.0ms (0.2%)

series3.0ms (0.2%)

rewrite1.0ms (0%)

simplify71.0ms (3.5%)

prune9.0ms (0.5%)

localize4.0ms (0.2%)

series3.0ms (0.1%)

rewrite7.0ms (0.3%)

simplify80.0ms (3.9%)

prune20.0ms (1%)

regimes16.0ms (0.8%)

simplify2.0ms (0.1%)

end33.0ms (1.6%)

Profiling