Details

analyze77.0ms (3.8%)

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%	50%	12.6%	6
50%	37.5%	12.6%	7
56.2%	25%	18.8%	8
62.4%	18.7%	18.8%	9
65.6%	12.5%	22%	10
68.7%	9.4%	22%	11
70.2%	6.2%	23.5%	12
71.8%	4.7%	23.5%	13
72.6%	3.1%	24.3%	14

Compiler

Compiled 10 to 7 computations (30% saved)

sample688.0ms (34.2%)

Results

653.0ms	8256×	body	128	valid
6.0ms	86×	body	128	invalid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

15×	`associate-l_binary64`
13×	`associate-r_binary64`
8×	`*-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	12	10
2	25	10
3	37	10
4	35	10
5	35	10

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

13.7b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 34 to 22 computations (35.3% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series13.0ms (0.7%)

Counts

2 → 36

Calls

2 calls:

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

rewrite79.0ms (3.9%)

Algorithm

1×	batch-egg-rewrite

Rules

609×	`log1p-expm1-u_binary64`
609×	`expm1-log1p-u_binary64`
370×	`log-prod_binary64`
126×	`expm1-udef_binary64`
126×	`log1p-udef_binary64`

Counts

2 → 38

Calls

2 calls:

78.0ms	(.f64 (.f64 x 3) x)
78.0ms	(.f64 (.f64 (*.f64 x 3) x) y)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	141	17
2	1620	17
3	4999	17
4	4937	17

simplify161.0ms (8%)

Algorithm

1×	egg-herbie

Rules

1104×	`sqr-pow_binary64`
661×	`fabs-mul_binary64`
628×	`pow-sqr_binary64`
611×	`cube-prod_binary64`
323×	`associate-l_binary64`

Counts

74 → 42

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	324
1	19	324
2	39	324
3	80	324
4	191	324
5	540	324
6	636	324
7	873	324
8	898	324
9	1008	324
10	1126	324
11	1293	324
12	1457	324
13	1685	324
14	2019	324
15	2414	324
16	2972	324
17	3656	324
18	3881	324
19	4146	324
20	4238	324
21	4272	324
22	4293	324
23	4976	324

prune33.0ms (1.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	38	4	42
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	38	5	43

Error

13.6b

Counts

43 → 5

Alt Table

Status	Error	Program
✓	13.7b	(.f64 (.f64 (*.f64 x 3) x) y)
	14.2b	(.f64 (pow.f64 (cbrt.f64 (.f64 x (*.f64 x 3))) 3) y)
	42.5b	(cbrt.f64 (.f64 (pow.f64 (.f64 x (*.f64 x 3)) 3) (pow.f64 y 3)))
	13.7b	(.f64 (.f64 3 (pow.f64 x 2)) y)
▶	13.7b	(.f64 3 (.f64 y (pow.f64 x 2)))

Compiler

Compiled 563 to 389 computations (30.9% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series17.0ms (0.9%)

Counts

2 → 0

Calls

2 calls:

10.0ms	(.f64 3 (.f64 y (pow.f64 x 2)))
7.0ms	(*.f64 y (pow.f64 x 2))

rewrite74.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

625×	`log1p-expm1-u_binary64`
625×	`expm1-log1p-u_binary64`
352×	`log-prod_binary64`
133×	`expm1-udef_binary64`
133×	`log1p-udef_binary64`

Counts

2 → 36

Calls

2 calls:

73.0ms	(.f64 3 (.f64 y (pow.f64 x 2)))
73.0ms	(*.f64 y (pow.f64 x 2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	164	17
2	1668	17
3	4980	17
4	4939	17

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune32.0ms (1.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	32	4	36
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	33	8	41

Error

6.0b

Counts

41 → 8

Alt Table

Status	Error	Program
▶	13.7b	(.f64 (.f64 3 (pow.f64 x 2)) y)
	32.2b	(pow.f64 (.f64 (sqrt.f64 (.f64 y 3)) x) 2)
✓	13.7b	(.f64 3 (.f64 y (pow.f64 x 2)))
	42.4b	(.f64 3 (log.f64 (pow.f64 (exp.f64 y) (.f64 x x))))
✓	13.7b	(.f64 (.f64 (*.f64 x 3) x) y)
	14.2b	(.f64 (pow.f64 (cbrt.f64 (.f64 x (*.f64 x 3))) 3) y)
	28.5b	(cbrt.f64 (pow.f64 (.f64 (.f64 y (*.f64 x x)) 3) 3))
	32.3b	(.f64 3 (pow.f64 (.f64 x (sqrt.f64 y)) 2))

Compiler

Compiled 556 to 307 computations (44.8% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series13.0ms (0.6%)

Counts

2 → 24

Calls

2 calls:

11.0ms	(.f64 (.f64 3 (pow.f64 x 2)) y)
2.0ms	(*.f64 3 (pow.f64 x 2))

rewrite76.0ms (3.8%)

Algorithm

1×	batch-egg-rewrite

Rules

627×	`log1p-expm1-u_binary64`
627×	`expm1-log1p-u_binary64`
351×	`log-prod_binary64`
133×	`expm1-udef_binary64`
133×	`log1p-udef_binary64`

Counts

2 → 36

Calls

2 calls:

75.0ms	(*.f64 3 (pow.f64 x 2))
75.0ms	(.f64 (.f64 3 (pow.f64 x 2)) y)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	164	17
2	1672	17
3	4994	17
4	4895	17

simplify146.0ms (7.2%)

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

60 → 38

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	240
1	17	240
2	35	240
3	70	240
4	167	240
5	475	240
6	586	240
7	823	240
8	848	240
9	958	240
10	1076	240
11	1243	240
12	1407	240
13	1635	240
14	1969	240
15	2364	240
16	2922	240
17	3606	240
18	3831	240
19	4096	240
20	4188	240
21	4222	240
22	4243	240
23	4926	240

prune31.0ms (1.5%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	35	3	38
Fresh	1	4	5
Picked	0	1	1
Done	0	2	2
Total	36	10	46

Error

6.0b

Counts

46 → 10

Alt Table

Status	Error	Program
✓	13.7b	(.f64 (.f64 3 (pow.f64 x 2)) y)
	32.2b	(pow.f64 (.f64 (sqrt.f64 (.f64 y 3)) x) 2)
✓	13.7b	(.f64 3 (.f64 y (pow.f64 x 2)))
	42.4b	(.f64 3 (log.f64 (pow.f64 (exp.f64 y) (.f64 x x))))
✓	13.7b	(.f64 (.f64 (*.f64 x 3) x) y)
	28.5b	(.f64 (sqrt.f64 (.f64 9 (pow.f64 x 4))) y)
▶	13.9b	(.f64 (pow.f64 (.f64 x (sqrt.f64 3)) 2) y)
	32.3b	(pow.f64 (.f64 (.f64 x (sqrt.f64 3)) (sqrt.f64 y)) 2)
	28.5b	(cbrt.f64 (pow.f64 (.f64 (.f64 y (*.f64 x x)) 3) 3))
	32.3b	(.f64 3 (pow.f64 (.f64 x (sqrt.f64 y)) 2))

Compiler

Compiled 598 to 396 computations (33.8% saved)

localize6.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

series30.0ms (1.5%)

Counts

3 → 48

Calls

3 calls:

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

rewrite54.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

684×	`log1p-expm1-u_binary64`
684×	`expm1-log1p-u_binary64`
376×	`log-prod_binary64`
144×	`expm1-udef_binary64`
144×	`log1p-udef_binary64`

Counts

3 → 67

Calls

3 calls:

53.0ms	(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
53.0ms	(*.f64 x (sqrt.f64 3))
53.0ms	(.f64 (pow.f64 (.f64 x (sqrt.f64 3)) 2) y)

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	27
1	184	23
2	1827	23
3	5292	23

simplify182.0ms (9%)

Algorithm

1×	egg-herbie

Rules

806×	`fabs-mul_binary64`
785×	`sqr-pow_binary64`
759×	`cube-prod_binary64`
666×	`pow-sqr_binary64`
617×	`unswap-sqr_binary64`

Counts

115 → 71

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	576
1	24	396
2	50	396
3	135	396
4	489	396
5	680	396
6	1160	396
7	1254	396
8	1393	396
9	1537	396
10	1703	396
11	1879	396
12	1914	396
13	2150	396
14	2578	396
15	3104	396
16	3805	396
17	4080	396
18	4393	396
19	4641	396
20	4734	396
21	4752	396
22	4957	396

prune52.0ms (2.6%)

Pruning

10 alts after pruning (6 fresh and 4 done)

	Pruned	Kept	Total
New	71	0	71
Fresh	0	6	6
Picked	0	1	1
Done	0	3	3
Total	71	10	81

Error

6.0b

Counts

81 → 10

Alt Table

Status	Error	Program
✓	13.7b	(.f64 (.f64 3 (pow.f64 x 2)) y)
	32.2b	(pow.f64 (.f64 (sqrt.f64 (.f64 y 3)) x) 2)
✓	13.7b	(.f64 3 (.f64 y (pow.f64 x 2)))
	42.4b	(.f64 3 (log.f64 (pow.f64 (exp.f64 y) (.f64 x x))))
✓	13.7b	(.f64 (.f64 (*.f64 x 3) x) y)
	28.5b	(.f64 (sqrt.f64 (.f64 9 (pow.f64 x 4))) y)
✓	13.9b	(.f64 (pow.f64 (.f64 x (sqrt.f64 3)) 2) y)
	32.3b	(pow.f64 (.f64 (.f64 x (sqrt.f64 3)) (sqrt.f64 y)) 2)
	28.5b	(cbrt.f64 (pow.f64 (.f64 (.f64 y (*.f64 x x)) 3) 3))
	32.3b	(.f64 3 (pow.f64 (.f64 x (sqrt.f64 y)) 2))

Compiler

Compiled 944 to 645 computations (31.7% saved)

regimes101.0ms (5%)

Accuracy

Total 0.3b remaining (6.3%)

Threshold costs 0.3b (6.3%)

Counts

18 → 2

Compiler

Compiled 948 to 658 computations (30.6% saved)

bsearch13.0ms (0.7%)

Steps

Iters	Range		Point
8	-3.016214981474538e-306	5.662138884155021e-307	1.22793750833344e-308

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify3.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	28
1	21	28
2	21	28

end101.0ms (5%)

Compiler: Compiled 143 to 108 computations (24.5% saved)

Details

analyze77.0ms (3.8%)

sample688.0ms (34.2%)

simplify7.0ms (0.3%)

prune2.0ms (0.1%)

localize4.0ms (0.2%)

series13.0ms (0.7%)

rewrite79.0ms (3.9%)

simplify161.0ms (8%)

prune33.0ms (1.6%)

localize4.0ms (0.2%)

series17.0ms (0.9%)

rewrite74.0ms (3.7%)

simplify7.0ms (0.3%)

prune32.0ms (1.6%)

localize4.0ms (0.2%)

series13.0ms (0.6%)

rewrite76.0ms (3.8%)

simplify146.0ms (7.2%)

prune31.0ms (1.5%)

localize6.0ms (0.3%)

series30.0ms (1.5%)

rewrite54.0ms (2.7%)

simplify182.0ms (9%)

prune52.0ms (2.6%)

regimes101.0ms (5%)

bsearch13.0ms (0.7%)

simplify3.0ms (0.2%)

end101.0ms (5%)

Profiling