Details

analyze3.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)

sample578.0ms (25.7%)

Results

550.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)

series4.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

4.0ms

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

rewrite74.0ms (3.3%)

Algorithm

2×	batch-egg-rewrite

Rules

750×	`log1p-udef_binary64`
412×	`log1p-expm1-u_binary64`
412×	`expm1-log1p-u_binary64`
351×	`pow1_binary64`
304×	`unpow-prod-down_binary64`

Counts

1 → 21

Calls

1 calls:

73.0ms

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

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 (6.4%)

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

33 → 23

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

prune17.0ms (0.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	18	5	23
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	6	24

Error

0.0b

Counts

24 → 6

Alt Table

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

Compiler

Compiled 268 to 208 computations (22.4% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series2.0ms (0.1%)

Counts

1 → 0

Calls

1 calls:

2.0ms

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

rewrite70.0ms (3.1%)

Algorithm

2×	batch-egg-rewrite

Rules

786×	`log1p-udef_binary64`
434×	`log1p-expm1-u_binary64`
434×	`expm1-log1p-u_binary64`
386×	`pow1_binary64`
269×	`unpow-prod-down_binary64`

Counts

1 → 21

Calls

1 calls:

69.0ms

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

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

21 → 21

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune14.0ms (0.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	21	0	21
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	21	6	27

Error

0.0b

Counts

27 → 6

Alt Table

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

Compiler

Compiled 244 to 178 computations (27% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series8.0ms (0.3%)

Counts

2 → 24

Calls

2 calls:

5.0ms	(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
3.0ms	(*.f64 x (sqrt.f64 3))

rewrite43.0ms (1.9%)

Algorithm

2×	batch-egg-rewrite

Rules

510×	`log1p-expm1-u_binary64`
510×	`expm1-log1p-u_binary64`
365×	`unpow-prod-down_binary64`
264×	`log-prod_binary64`
152×	`pow2_binary64`

Counts

2 → 74

Calls

2 calls:

41.0ms	(*.f64 x (sqrt.f64 3))
41.0ms	(pow.f64 (*.f64 x (sqrt.f64 3)) 2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	15
1	145	13
2	1364	13
3	4879	13
0	0	0
1	0	0

simplify137.0ms (6.1%)

Algorithm

1×	egg-herbie

Rules

861×	`sqr-pow_binary64`
666×	`associate-l_binary64`
660×	`cube-prod_binary64`
601×	`*-commutative_binary64`
601×	`fabs-mul_binary64`

Counts

98 → 76

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	216
1	19	156
2	35	156
3	85	156
4	267	156
5	1224	156
6	1318	156
7	1435	156
8	1609	156
9	1808	156
10	2057	156
11	2191	156
12	2567	156
13	2879	156
14	3433	156
15	4161	156
16	4438	156
17	4759	156
18	4815	156

prune46.0ms (2.1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	73	3	76
Fresh	3	0	3
Picked	0	1	1
Done	0	2	2
Total	76	6	82

Error

Counts

82 → 6

Alt Table

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

Compiler

Compiled 927 to 719 computations (22.4% saved)

localize8.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (cbrt.f64 (sqrt.f64 3)) x)
✓	0.2b	(.f64 (cbrt.f64 9) (pow.f64 (.f64 (cbrt.f64 (sqrt.f64 3)) x) 2))
✓	0.3b	(pow.f64 (*.f64 (cbrt.f64 (sqrt.f64 3)) x) 2)

series728.0ms (32.4%)

Counts

3 → 36

Calls

3 calls:

268.0ms	(*.f64 (cbrt.f64 (sqrt.f64 3)) x)
254.0ms	(.f64 (cbrt.f64 9) (pow.f64 (.f64 (cbrt.f64 (sqrt.f64 3)) x) 2))
207.0ms	(pow.f64 (*.f64 (cbrt.f64 (sqrt.f64 3)) x) 2)

rewrite51.0ms (2.3%)

Algorithm

2×	batch-egg-rewrite

Rules

773×	`log1p-expm1-u_binary64`
773×	`expm1-log1p-u_binary64`
161×	`log1p-udef_binary64`
93×	`add-sqr-sqrt_binary64`
93×	`add-cube-cbrt_binary64`

Counts

3 → 58

Calls

3 calls:

50.0ms	(*.f64 (cbrt.f64 (sqrt.f64 3)) x)
50.0ms	(.f64 (cbrt.f64 9) (pow.f64 (.f64 (cbrt.f64 (sqrt.f64 3)) x) 2))
50.0ms	(pow.f64 (*.f64 (cbrt.f64 (sqrt.f64 3)) x) 2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	35
1	217	23
2	2070	23
3	4874	23
0	0	0
1	0	0

simplify148.0ms (6.6%)

Algorithm

1×	egg-herbie

Rules

1532×	`unswap-sqr_binary64`
765×	`sqr-pow_binary64`
458×	`*-commutative_binary64`
306×	`associate-l_binary64`
267×	`pow-sqr_binary64`

Counts

94 → 63

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	492
1	37	372
2	81	372
3	218	372
4	764	372
5	1080	372
6	1076	372
7	1191	372
8	1332	372
9	1486	372
10	1676	372
11	1857	372
12	2053	372
13	2327	372
14	2639	372
15	2975	372
16	3345	372
17	3405	372
18	3458	372
19	3499	372
20	3508	372
21	5636	372

prune49.0ms (2.2%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	63	0	63
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	63	6	69

Error

Counts

69 → 6

Alt Table

Status	Error	Program
	0.7b	(.f64 (pow.f64 (.f64 x (cbrt.f64 3)) 2) (cbrt.f64 3))
✓	0.2b	(.f64 (.f64 x 3) x)
	0.7b	(*.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2))
✓	0.4b	(.f64 (cbrt.f64 9) (pow.f64 (.f64 (cbrt.f64 (sqrt.f64 3)) x) 2))
✓	0.2b	(*.f64 3 (pow.f64 x 2))
✓	0.6b	(pow.f64 (*.f64 x (sqrt.f64 3)) 2)

Compiler

Compiled 805 to 651 computations (19.1% saved)

regimes22.0ms (1%)

Accuracy

Total 0.2b remaining (92.3%)

Threshold costs 0.2b (92.3%)

Counts

11 → 1

Compiler

Compiled 194 to 160 computations (17.5% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7
2	7	7

end76.0ms (3.4%)

Compiler: Compiled 61 to 52 computations (14.8% saved)

Details

analyze3.0ms (0.2%)

sample578.0ms (25.7%)

simplify6.0ms (0.3%)

prune2.0ms (0.1%)

localize3.0ms (0.1%)

series4.0ms (0.2%)

rewrite74.0ms (3.3%)

simplify144.0ms (6.4%)

prune17.0ms (0.7%)

localize3.0ms (0.1%)

series2.0ms (0.1%)

rewrite70.0ms (3.1%)

simplify6.0ms (0.3%)

prune14.0ms (0.6%)

localize4.0ms (0.2%)

series8.0ms (0.3%)

rewrite43.0ms (1.9%)

simplify137.0ms (6.1%)

prune46.0ms (2.1%)

localize8.0ms (0.4%)

series728.0ms (32.4%)

rewrite51.0ms (2.3%)

simplify148.0ms (6.6%)

prune49.0ms (2.2%)

regimes22.0ms (1%)

simplify2.0ms (0.1%)

end76.0ms (3.4%)

Profiling