Details

analyze4.0ms (0.1%)

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)

sample618.0ms (24.4%)

Results

592.0ms

8256×

body

128

valid

Compiler

Compiled 20 to 14 computations (30% saved)

simplify48.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Counts

1 → 2

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)

series2.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

2.0ms

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

rewrite73.0ms (2.9%)

Algorithm

1×	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`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 20

Calls

1 calls:

73.0ms

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

simplify146.0ms (5.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`

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

Stop Event

1×	node limit

Counts

32 → 22

prune16.0ms (0.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	18	4	22
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	5	23

Error

0.0b

Counts

23 → 5

Alt Table

Status	Error	Program
	20.7b	(sqrt.f64 (*.f64 9 (pow.f64 x 4)))
	0.5b	(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
	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 249 to 193 computations (22.5% 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))

rewrite73.0ms (2.9%)

Algorithm

1×	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`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 20

Calls

1 calls:

73.0ms

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

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

Stop Event

1×

saturated

Counts

20 → 20

prune13.0ms (0.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	20	0	20
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	20	5	25

Error

0.0b

Counts

25 → 5

Alt Table

Status	Error	Program
	20.7b	(sqrt.f64 (*.f64 9 (pow.f64 x 4)))
▶	0.5b	(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
	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 225 to 164 computations (27.1% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

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

rewrite45.0ms (1.8%)

Algorithm

1×	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`

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 73

Calls

2 calls:

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

simplify143.0ms (5.7%)

Algorithm

1×	egg-herbie

Rules

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

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

Stop Event

1×	node limit

Counts

97 → 75

prune45.0ms (1.8%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	73	2	75
Fresh	1	1	2
Picked	0	1	1
Done	0	2	2
Total	74	6	80

Error

0.0b

Counts

80 → 6

Alt Table

Status	Error	Program
▶	0.4b	(.f64 (cbrt.f64 9) (pow.f64 (.f64 (cbrt.f64 (sqrt.f64 3)) x) 2))
	20.7b	(sqrt.f64 (*.f64 9 (pow.f64 x 4)))
✓	0.5b	(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
✓	0.2b	(*.f64 3 (pow.f64 x 2))
✓	0.2b	(.f64 (.f64 x 3) x)
	29.6b	(cbrt.f64 (.f64 27 (pow.f64 (.f64 x x) 3)))

Compiler

Compiled 915 to 706 computations (22.8% saved)

localize18.0ms (0.7%)

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.4b	(pow.f64 (*.f64 (cbrt.f64 (sqrt.f64 3)) x) 2)

series880.0ms (34.7%)

Counts

3 → 36

Calls

3 calls:

336.0ms	(.f64 (cbrt.f64 9) (pow.f64 (.f64 (cbrt.f64 (sqrt.f64 3)) x) 2))
332.0ms	(pow.f64 (*.f64 (cbrt.f64 (sqrt.f64 3)) x) 2)
212.0ms	(*.f64 (cbrt.f64 (sqrt.f64 3)) x)

rewrite53.0ms (2.1%)

Algorithm

1×	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`

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

3 → 56

Calls

3 calls:

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

simplify168.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`

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

Stop Event

1×	node limit

Counts

92 → 61

prune48.0ms (1.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	60	1	61
Fresh	1	1	2
Picked	1	0	1
Done	0	3	3
Total	62	5	67

Error

Counts

67 → 5

Alt Table

Status	Error	Program
	20.7b	(sqrt.f64 (*.f64 9 (pow.f64 x 4)))
✓	0.5b	(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
✓	0.2b	(*.f64 3 (pow.f64 x 2))
✓	0.2b	(.f64 (.f64 x 3) x)
	0.3b	(.f64 (cbrt.f64 9) (.f64 x (.f64 (pow.f64 3 1/6) (.f64 (pow.f64 3 1/6) x))))

Compiler

Compiled 782 to 632 computations (19.2% saved)

regimes53.0ms (2.1%)

Accuracy

Total 0.2b remaining (94.3%)

Threshold costs 0.2b (94.3%)

Counts

23 → 1

Compiler

Compiled 502 to 422 computations (15.9% saved)

simplify2.0ms (0.1%)

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

Stop Event

1×

saturated

end60.0ms (2.4%)

Compiler: Compiled 53 to 42 computations (20.8% saved)

Details

analyze4.0ms (0.1%)

sample618.0ms (24.4%)

simplify48.0ms (1.9%)

prune2.0ms (0.1%)

localize3.0ms (0.1%)

series2.0ms (0.1%)

rewrite73.0ms (2.9%)

simplify146.0ms (5.7%)

prune16.0ms (0.6%)

localize3.0ms (0.1%)

series2.0ms (0.1%)

rewrite73.0ms (2.9%)

simplify6.0ms (0.2%)

prune13.0ms (0.5%)

localize4.0ms (0.1%)

series8.0ms (0.3%)

rewrite45.0ms (1.8%)

simplify143.0ms (5.7%)

prune45.0ms (1.8%)

localize18.0ms (0.7%)

series880.0ms (34.7%)

rewrite53.0ms (2.1%)

simplify168.0ms (6.6%)

prune48.0ms (1.9%)

regimes53.0ms (2.1%)

simplify2.0ms (0.1%)

end60.0ms (2.4%)

Profiling