Details

analyze4.0ms (0.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
62.5%	12.5%	25%	5
68.7%	6.2%	25%	6
71.8%	3.1%	25%	7
73.4%	1.6%	25%	8
74.2%	0.8%	25%	9
74.6%	0.4%	25%	10
74.8%	0.2%	25%	11
74.9%	0.1%	25%	12
74.9%	0%	25.1%	13
74.9%	0%	25.1%	14

Compiler

Compiled 7 to 5 computations (28.6% saved)

sample582.0ms (31.1%)

Results

556.0ms

8256×

body

128

valid

Compiler

Compiled 20 to 14 computations (30% saved)

simplify6.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
2×	`associate-l_binary64`
1×	`associate-r_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

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

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

0.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.2b	(.f64 (.f64 x 3) x)

Compiler

Compiled 23 to 15 computations (34.8% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series3.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

2.0ms

(*.f64 (*.f64 x 3) x)

rewrite76.0ms (4.1%)

Algorithm

2×	batch-egg-rewrite

Rules

20× egg-rr

Counts

1 → 20

Calls

2 calls:

76.0ms	((.f64 (.f64 x 3) x))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	100	7
2	1102	7
3	4712	7
4	5923	7
0	0	0
1	0	0

simplify144.0ms (7.7%)

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

32 → 22

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	12	84
2	22	84
3	41	84
4	87	84
5	220	84
6	692	84
7	1097	84
8	1099	84
9	1247	84
10	1417	84
11	1599	84
12	1824	84
13	2109	84
14	2528	84
15	3093	84
16	3779	84
17	3997	84
18	4241	84
19	4323	84
20	4356	84
21	4377	84
22	4946	84

prune15.0ms (0.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	19	3	22
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	19	4	23

Error

0.0b

Counts

23 → 4

Alt Table

Status	Error	Program
	17.4b	(sqrt.f64 (*.f64 9 (pow.f64 x 4)))
	0.9b	(pow.f64 (cbrt.f64 (.f64 x (.f64 x 3))) 3)
▶	0.2b	(*.f64 3 (pow.f64 x 2))
✓	0.2b	(.f64 (.f64 x 3) x)

Compiler

Compiled 235 to 181 computations (23% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series3.0ms (0.1%)

Counts

1 → 0

Calls

1 calls:

3.0ms

(*.f64 3 (pow.f64 x 2))

rewrite79.0ms (4.2%)

Algorithm

2×	batch-egg-rewrite

Rules

20× egg-rr

Counts

1 → 20

Calls

2 calls:

78.0ms	((*.f64 3 (pow.f64 x 2)))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	123	7
2	1162	7
3	4782	7
4	5998	7
0	0	0
1	0	0

simplify6.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

20 → 20

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune12.0ms (0.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	20	0	20
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	20	4	24

Error

0.0b

Counts

24 → 4

Alt Table

Status	Error	Program
	17.4b	(sqrt.f64 (*.f64 9 (pow.f64 x 4)))
▶	0.9b	(pow.f64 (cbrt.f64 (.f64 x (.f64 x 3))) 3)
✓	0.2b	(*.f64 3 (pow.f64 x 2))
✓	0.2b	(.f64 (.f64 x 3) x)

Compiler

Compiled 211 to 152 computations (28% saved)

localize5.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 x (.f64 x 3))
✓	0.4b	(pow.f64 (cbrt.f64 (.f64 x (.f64 x 3))) 3)
✓	21.2b	(cbrt.f64 (.f64 x (.f64 x 3)))

series139.0ms (7.4%)

Counts

3 → 36

Calls

3 calls:

72.0ms	(cbrt.f64 (.f64 x (.f64 x 3)))
65.0ms	(pow.f64 (cbrt.f64 (.f64 x (.f64 x 3))) 3)
2.0ms	(.f64 x (.f64 x 3))

rewrite71.0ms (3.8%)

Algorithm

2×	batch-egg-rewrite

Rules

135× egg-rr

Counts

3 → 135

Calls

2 calls:

68.0ms	((cbrt.f64 (.f64 x (.f64 x 3))) (pow.f64 (cbrt.f64 (.f64 x (.f64 x 3))) 3) (.f64 x (.f64 x 3)))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	23
1	129	23
2	1400	23
3	5253	23
0	0	0
1	0	0

simplify176.0ms (9.4%)

Algorithm

1×	egg-herbie

Rules

1024×	`sqr-pow_binary64`
801×	`cube-prod_binary64`
744×	`fabs-mul_binary64`
627×	`pow-sqr_binary64`
450×	`unswap-sqr_binary64`

Counts

171 → 125

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	300
1	22	300
2	41	300
3	77	300
4	165	300
5	419	300
6	585	300
7	995	300
8	1022	300
9	1201	300
10	1402	300
11	1686	300
12	1976	300
13	2398	300
14	2953	300
15	3242	300
16	3532	300
17	3700	300
18	3775	300
19	3842	300
20	4618	300
21	4702	300
22	4763	300

prune77.0ms (4.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	124	1	125
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	124	5	129

Error

0.0b

Counts

129 → 5

Alt Table

Status	Error	Program
▶	0.6b	(.f64 (.f64 x (cbrt.f64 (.f64 (.f64 x x) 9))) (cbrt.f64 (*.f64 x 3)))
✓	0.2b	(.f64 (.f64 x 3) x)
	17.4b	(sqrt.f64 (*.f64 9 (pow.f64 x 4)))
✓	0.9b	(pow.f64 (cbrt.f64 (.f64 x (.f64 x 3))) 3)
✓	0.2b	(*.f64 3 (pow.f64 x 2))

Compiler

Compiled 1819 to 1348 computations (25.9% saved)

localize9.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 x (cbrt.f64 (.f64 (.f64 x x) 9))) (cbrt.f64 (*.f64 x 3)))
✓	0.2b	(.f64 x (cbrt.f64 (.f64 (*.f64 x x) 9)))
✓	0.7b	(cbrt.f64 (*.f64 x 3))
✓	21.2b	(cbrt.f64 (.f64 (.f64 x x) 9))

series128.0ms (6.9%)

Counts

4 → 48

Calls

4 calls:

36.0ms	(cbrt.f64 (.f64 (.f64 x x) 9))
35.0ms	(.f64 x (cbrt.f64 (.f64 (*.f64 x x) 9)))
35.0ms	(cbrt.f64 (*.f64 x 3))
21.0ms	(.f64 (.f64 x (cbrt.f64 (.f64 (.f64 x x) 9))) (cbrt.f64 (*.f64 x 3)))

rewrite56.0ms (3%)

Algorithm

2×	batch-egg-rewrite

Rules

87× egg-rr

Counts

4 → 87

Calls

2 calls:

54.0ms	((cbrt.f64 (.f64 (.f64 x x) 9)) (cbrt.f64 (.f64 x 3)) (.f64 x (cbrt.f64 (.f64 (.f64 x x) 9))) (.f64 (.f64 x (cbrt.f64 (.f64 (.f64 x x) 9))) (cbrt.f64 (*.f64 x 3))))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	47
1	218	30
2	2213	30
3	4969	30
0	0	0
1	0	0

simplify118.0ms (6.3%)

Algorithm

1×	egg-herbie

Rules

929×	`fma-def_binary64`
495×	`fma-neg_binary64`
451×	`distribute-rgt-neg-in_binary64`
446×	`distribute-lft-neg-in_binary64`
383×	`*-commutative_binary64`

Counts

135 → 100

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	560
1	82	560
2	193	560
3	420	560
4	1057	560
5	1527	560
6	2624	560
7	3603	560
8	4692	560
9	4901	560
10	4978	560
11	4789	560

prune60.0ms (3.2%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	99	1	100
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	99	6	105

Error

0.0b

Counts

105 → 6

Alt Table

Status	Error	Program
✓	0.6b	(.f64 (.f64 x (cbrt.f64 (.f64 (.f64 x x) 9))) (cbrt.f64 (*.f64 x 3)))
✓	0.2b	(.f64 (.f64 x 3) x)
	17.4b	(sqrt.f64 (*.f64 9 (pow.f64 x 4)))
✓	0.9b	(pow.f64 (cbrt.f64 (.f64 x (.f64 x 3))) 3)
	0.3b	(neg.f64 (.f64 (cbrt.f64 -3) (.f64 (cbrt.f64 9) (*.f64 x x))))
✓	0.2b	(*.f64 3 (pow.f64 x 2))

Compiler

Compiled 1521 to 1127 computations (25.9% saved)

regimes23.0ms (1.2%)

Accuracy

Total 0.2b remaining (91.9%)

Threshold costs 0.2b (91.9%)

Counts

11 → 1

Compiler

Compiled 214 to 168 computations (21.5% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	7	7
2	7	7

end69.0ms (3.7%)

Compiler: Compiled 65 to 49 computations (24.6% saved)

Details

analyze4.0ms (0.2%)

sample582.0ms (31.1%)

simplify6.0ms (0.3%)

prune2.0ms (0.1%)

localize3.0ms (0.1%)

series3.0ms (0.1%)

rewrite76.0ms (4.1%)

simplify144.0ms (7.7%)

prune15.0ms (0.8%)

localize3.0ms (0.1%)

series3.0ms (0.1%)

rewrite79.0ms (4.2%)

simplify6.0ms (0.3%)

prune12.0ms (0.6%)

localize5.0ms (0.3%)

series139.0ms (7.4%)

rewrite71.0ms (3.8%)

simplify176.0ms (9.4%)

prune77.0ms (4.1%)

localize9.0ms (0.5%)

series128.0ms (6.9%)

rewrite56.0ms (3%)

simplify118.0ms (6.3%)

prune60.0ms (3.2%)

regimes23.0ms (1.2%)

simplify4.0ms (0.2%)

end69.0ms (3.7%)

Profiling