Details

analyze94.0ms (2.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
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
50%	37.5%	12.6%	7
56.2%	31.2%	12.6%	8
62.4%	18.7%	18.8%	9
65.6%	15.6%	18.8%	10
68.7%	9.4%	22%	11
70.2%	7.8%	22%	12
71.8%	4.7%	23.5%	13
72.6%	3.9%	23.5%	14

Compiler

Compiled 10 to 7 computations (30% saved)

sample1.0s (26.8%)

Results

956.0ms	8256×	body	128	valid
16.0ms	165×	body	128	invalid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

13×	`associate-l_binary64`
11×	`associate-r_binary64`
10×	`*-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	14	10
2	28	10
3	36	10
4	35	10
5	35	10

prune2.0ms (0%)

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

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.3b	(.f64 (.f64 (*.f64 x 3) y) y)

Compiler

Compiled 34 to 22 computations (35.3% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 (*.f64 x 3) y) y)
✓	0.2b	(.f64 (.f64 x 3) y)

series16.0ms (0.4%)

Counts

2 → 48

Calls

2 calls:

10.0ms	(.f64 (.f64 (*.f64 x 3) y) y)
6.0ms	(.f64 (.f64 x 3) y)

rewrite95.0ms (2.5%)

Algorithm

2×	egg-rewrite

Rules

58×	`egg`
41×	`egg`

Counts

2 → 99

Calls

2 calls:

48.0ms	(.f64 (.f64 x 3) y)
45.0ms	(.f64 (.f64 (*.f64 x 3) y) y)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	121	7
2	1355	7
3	5019	7
0	7	10
1	142	10
2	1625	10
3	4944	10

simplify186.0ms (5%)

Algorithm

1×	egg-herbie

Rules

1104×	`sqr-pow_binary64`
661×	`fabs-mul_binary64`
628×	`pow-sqr_binary64`
611×	`cube-prod_binary64`
311×	`*-commutative_binary64`

Counts

147 → 101

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	408
1	23	408
2	42	408
3	76	408
4	189	408
5	547	408
6	650	408
7	887	408
8	912	408
9	1022	408
10	1140	408
11	1307	408
12	1471	408
13	1699	408
14	2033	408
15	2428	408
16	2986	408
17	3670	408
18	3895	408
19	4160	408
20	4252	408
21	4286	408
22	4307	408
23	4990	408

prune61.0ms (1.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	96	5	101
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	96	6	102

Error

0.0b

Counts

102 → 6

Alt Table

Status	Error	Program
	1.0b	(.f64 (pow.f64 (cbrt.f64 (.f64 (*.f64 x 3) y)) 3) y)
▶	0.3b	(.f64 (.f64 x (*.f64 3 y)) y)
	0.3b	(.f64 3 (.f64 y (*.f64 y x)))
✓	0.3b	(.f64 (.f64 (*.f64 x 3) y) y)
	9.5b	(.f64 (.f64 x 3) (*.f64 y y))
	9.5b	(.f64 x (.f64 3 (*.f64 y y)))

Compiler

Compiled 1366 to 874 computations (36% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 x (*.f64 3 y)) y)
✓	0.2b	(.f64 x (.f64 3 y))

series14.0ms (0.4%)

Counts

2 → 48

Calls

2 calls:

10.0ms	(.f64 (.f64 x (*.f64 3 y)) y)
4.0ms	(.f64 x (.f64 3 y))

rewrite92.0ms (2.5%)

Algorithm

2×	egg-rewrite

Rules

60×	`egg`
40×	`egg`

Counts

2 → 100

Calls

2 calls:

46.0ms	(.f64 (.f64 x (*.f64 3 y)) y)
45.0ms	(.f64 x (.f64 3 y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	121	7
2	1357	7
3	5027	7
0	7	10
1	143	10
2	1660	10
3	4971	10

simplify189.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

1104×	`sqr-pow_binary64`
661×	`fabs-mul_binary64`
628×	`pow-sqr_binary64`
611×	`cube-prod_binary64`
311×	`*-commutative_binary64`

Counts

148 → 101

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	408
1	23	408
2	42	408
3	76	408
4	189	408
5	547	408
6	650	408
7	887	408
8	912	408
9	1022	408
10	1140	408
11	1307	408
12	1471	408
13	1699	408
14	2033	408
15	2428	408
16	2986	408
17	3670	408
18	3895	408
19	4160	408
20	4252	408
21	4286	408
22	4307	408
23	4990	408

prune63.0ms (1.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	101	6	107

Error

0.0b

Counts

107 → 6

Alt Table

Status	Error	Program
	1.0b	(.f64 (pow.f64 (cbrt.f64 (.f64 (*.f64 x 3) y)) 3) y)
✓	0.3b	(.f64 (.f64 x (*.f64 3 y)) y)
▶	0.3b	(.f64 3 (.f64 y (*.f64 y x)))
✓	0.3b	(.f64 (.f64 (*.f64 x 3) y) y)
	9.5b	(.f64 (.f64 x 3) (*.f64 y y))
	9.5b	(.f64 x (.f64 3 (*.f64 y y)))

Compiler

Compiled 1365 to 869 computations (36.3% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 y (.f64 y x))
✓	0.2b	(.f64 3 (.f64 y (*.f64 y x)))

series19.0ms (0.5%)

Counts

2 → 48

Calls

2 calls:

11.0ms	(.f64 3 (.f64 y (*.f64 y x)))
8.0ms	(.f64 y (.f64 y x))

rewrite136.0ms (3.6%)

Algorithm

2×	egg-rewrite

Rules

44×	`egg`
37×	`egg`

Counts

2 → 81

Calls

2 calls:

86.0ms	(.f64 y (.f64 y x))
48.0ms	(.f64 3 (.f64 y (*.f64 y x)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	142	10
2	1629	10
3	4954	10
0	5	7
1	99	7
2	1160	7
3	4801	7
4	6199	7

simplify183.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

1104×	`sqr-pow_binary64`
661×	`fabs-mul_binary64`
628×	`pow-sqr_binary64`
611×	`cube-prod_binary64`
310×	`cube-mult_binary64`

Counts

129 → 84

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	408
1	17	408
2	35	408
3	72	408
4	173	408
5	497	408
6	628	408
7	865	408
8	890	408
9	1000	408
10	1118	408
11	1285	408
12	1449	408
13	1677	408
14	2011	408
15	2406	408
16	2964	408
17	3648	408
18	3873	408
19	4138	408
20	4230	408
21	4264	408
22	4285	408
23	4968	408

prune47.0ms (1.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	84	6	90

Error

0.0b

Counts

90 → 6

Alt Table

Status	Error	Program
▶	1.0b	(.f64 (pow.f64 (cbrt.f64 (.f64 (*.f64 x 3) y)) 3) y)
✓	0.3b	(.f64 (.f64 x (*.f64 3 y)) y)
✓	0.3b	(.f64 3 (.f64 y (*.f64 y x)))
✓	0.3b	(.f64 (.f64 (*.f64 x 3) y) y)
	9.5b	(.f64 (.f64 x 3) (*.f64 y y))
	9.5b	(.f64 x (.f64 3 (*.f64 y y)))

Compiler

Compiled 1072 to 500 computations (53.4% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (pow.f64 (cbrt.f64 (.f64 (*.f64 x 3) y)) 3) y)
	0.2b	(.f64 (.f64 x 3) y)
✓	0.6b	(pow.f64 (cbrt.f64 (.f64 (.f64 x 3) y)) 3)
✓	8.9b	(cbrt.f64 (.f64 (.f64 x 3) y))

series978.0ms (26.1%)

Counts

3 → 72

Calls

3 calls:

464.0ms	(cbrt.f64 (.f64 (.f64 x 3) y))
434.0ms	(pow.f64 (cbrt.f64 (.f64 (.f64 x 3) y)) 3)
79.0ms	(.f64 (pow.f64 (cbrt.f64 (.f64 (*.f64 x 3) y)) 3) y)

rewrite210.0ms (5.6%)

Algorithm

3×	egg-rewrite

Rules

47×	`egg`
37×	`egg`
25×	`egg`

Counts

3 → 109

Calls

3 calls:

82.0ms	(pow.f64 (cbrt.f64 (.f64 (.f64 x 3) y)) 3)
77.0ms	(cbrt.f64 (.f64 (.f64 x 3) y))
50.0ms	(.f64 (pow.f64 (cbrt.f64 (.f64 (*.f64 x 3) y)) 3) y)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	139	9
2	1552	9
3	4976	9
4	4954	9
0	8	7
1	149	7
2	1644	7
3	4982	7
4	4924	7
0	9	10
1	169	10
2	1901	10
3	4894	10

simplify86.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

454×	`unswap-sqr_binary64`
323×	`associate-l_binary64`
269×	`distribute-neg-out_binary64`
268×	`associate-r_binary64`
239×	`exp-diff_binary64`

Counts

181 → 122

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	54	1176
1	135	1176
2	242	1064
3	638	720
4	2074	720
5	4177	720
6	4946	720

prune102.0ms (2.7%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	181	0	181
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	181	6	187

Error

0.0b

Counts

187 → 6

Alt Table

Status	Error	Program
✓	1.0b	(.f64 (pow.f64 (cbrt.f64 (.f64 (*.f64 x 3) y)) 3) y)
✓	0.3b	(.f64 (.f64 x (*.f64 3 y)) y)
✓	0.3b	(.f64 3 (.f64 y (*.f64 y x)))
✓	0.3b	(.f64 (.f64 (*.f64 x 3) y) y)
	9.5b	(.f64 (.f64 x 3) (*.f64 y y))
	9.5b	(.f64 x (.f64 3 (*.f64 y y)))

Compiler

Compiled 2581 to 1776 computations (31.2% saved)

regimes69.0ms (1.8%)

Accuracy

Total 0.2b remaining (89.2%)

Threshold costs 0.2b (89.2%)

Counts

14 → 1

Compiler

Compiled 713 to 514 computations (27.9% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	10	10
2	10	10

end67.0ms (1.8%)

Compiler: Compiled 75 to 51 computations (32% saved)

Details

analyze94.0ms (2.5%)

sample1.0s (26.8%)

simplify7.0ms (0.2%)

prune2.0ms (0%)

localize4.0ms (0.1%)

series16.0ms (0.4%)

rewrite95.0ms (2.5%)

simplify186.0ms (5%)

prune61.0ms (1.6%)

localize4.0ms (0.1%)

series14.0ms (0.4%)

rewrite92.0ms (2.5%)

simplify189.0ms (5.1%)

prune63.0ms (1.7%)

localize4.0ms (0.1%)

series19.0ms (0.5%)

rewrite136.0ms (3.6%)

simplify183.0ms (4.9%)

prune47.0ms (1.3%)

localize7.0ms (0.2%)

series978.0ms (26.1%)

rewrite210.0ms (5.6%)

simplify86.0ms (2.3%)

prune102.0ms (2.7%)

regimes69.0ms (1.8%)

simplify2.0ms (0.1%)

end67.0ms (1.8%)

Profiling