Details

analyze88.0ms (2.6%)

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)

sample780.0ms (22.9%)

Results

735.0ms	8256×	body	128	valid
13.0ms	165×	body	128	invalid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify9.0ms (0.3%)

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.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.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.5%)

Counts

2 → 48

Calls

2 calls:

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

rewrite49.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

36× egg-rr

Counts

2 → 36

Calls

2 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	142	17
2	1625	17
3	4944	17
0	0	0
1	0	0

simplify175.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

84 → 39

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

prune38.0ms (1.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	31	8	39
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	31	9	40

Error

0.0b

Counts

40 → 9

Alt Table

Status	Error	Program
✓	0.3b	(.f64 (.f64 (*.f64 x 3) y) y)
	0.3b	(.f64 3 (.f64 y (*.f64 y x)))
	27.7b	(cbrt.f64 (pow.f64 (.f64 y (.f64 (*.f64 x 3) y)) 3))
	33.2b	(pow.f64 (.f64 (sqrt.f64 (.f64 x 3)) y) 2)
	18.5b	(.f64 (cbrt.f64 (pow.f64 (.f64 (*.f64 x 3) y) 3)) y)
	28.0b	(.f64 (pow.f64 (sqrt.f64 (.f64 (*.f64 x 3) y)) 2) y)
	1.0b	(.f64 (pow.f64 (cbrt.f64 (.f64 (*.f64 x 3) y)) 3) y)
	9.5b	(.f64 3 (.f64 (pow.f64 y 2) x))
▶	0.3b	(.f64 (.f64 3 (*.f64 y x)) y)

Compiler

Compiled 622 to 434 computations (30.2% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series16.0ms (0.5%)

Counts

2 → 24

Calls

2 calls:

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

rewrite47.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

34× egg-rr

Counts

2 → 34

Calls

2 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	143	17
2	1658	17
3	4967	17
0	0	0
1	0	0

simplify150.0ms (4.4%)

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

58 → 36

Iterations

Useful iterations: 0 (0.0ms)

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

prune29.0ms (0.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	36	0	36
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	36	9	45

Error

0.0b

Counts

45 → 9

Alt Table

Status	Error	Program
✓	0.3b	(.f64 (.f64 (*.f64 x 3) y) y)
▶	0.3b	(.f64 3 (.f64 y (*.f64 y x)))
	27.7b	(cbrt.f64 (pow.f64 (.f64 y (.f64 (*.f64 x 3) y)) 3))
	33.2b	(pow.f64 (.f64 (sqrt.f64 (.f64 x 3)) y) 2)
	18.5b	(.f64 (cbrt.f64 (pow.f64 (.f64 (*.f64 x 3) y) 3)) y)
	28.0b	(.f64 (pow.f64 (sqrt.f64 (.f64 (*.f64 x 3) y)) 2) y)
	1.0b	(.f64 (pow.f64 (cbrt.f64 (.f64 (*.f64 x 3) y)) 3) y)
	9.5b	(.f64 3 (.f64 (pow.f64 y 2) x))
✓	0.3b	(.f64 (.f64 3 (*.f64 y x)) y)

Compiler

Compiled 584 to 374 computations (36% saved)

localize6.0ms (0.2%)

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

series20.0ms (0.6%)

Counts

2 → 48

Calls

2 calls:

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

rewrite47.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

34× egg-rr

Counts

2 → 34

Calls

2 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	142	17
2	1629	17
3	4954	17
0	0	0
1	0	0

simplify175.0ms (5.1%)

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

82 → 38

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

prune33.0ms (1%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	36	2	38
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	36	11	47

Error

0.0b

Counts

47 → 11

Alt Table

Status	Error	Program
✓	0.3b	(.f64 (.f64 (*.f64 x 3) y) y)
✓	0.3b	(.f64 3 (.f64 y (*.f64 y x)))
	27.7b	(cbrt.f64 (pow.f64 (.f64 y (.f64 (*.f64 x 3) y)) 3))
	33.2b	(pow.f64 (.f64 (sqrt.f64 (.f64 x 3)) y) 2)
	18.5b	(.f64 (cbrt.f64 (pow.f64 (.f64 (*.f64 x 3) y) 3)) y)
	28.0b	(.f64 (pow.f64 (sqrt.f64 (.f64 (*.f64 x 3) y)) 2) y)
▶	1.0b	(.f64 (pow.f64 (cbrt.f64 (.f64 (*.f64 x 3) y)) 3) y)
	9.5b	(.f64 3 (.f64 (pow.f64 y 2) x))
✓	0.3b	(.f64 (.f64 3 (*.f64 y x)) y)
	1.0b	(.f64 3 (pow.f64 (cbrt.f64 (.f64 y (*.f64 y x))) 3))
	33.1b	(sqrt.f64 (.f64 9 (pow.f64 (.f64 y (*.f64 y x)) 2)))

Compiler

Compiled 623 to 353 computations (43.3% saved)

localize9.0ms (0.3%)

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

series1.1s (32.4%)

Counts

3 → 72

Calls

3 calls:

601.0ms	(pow.f64 (cbrt.f64 (.f64 (.f64 x 3) y)) 3)
399.0ms	(cbrt.f64 (.f64 (.f64 x 3) y))
105.0ms	(.f64 (pow.f64 (cbrt.f64 (.f64 (*.f64 x 3) y)) 3) y)

rewrite127.0ms (3.7%)

Algorithm

2×	batch-egg-rewrite

Rules

82× egg-rr

Counts

3 → 82

Calls

2 calls:

126.0ms	((cbrt.f64 (.f64 (.f64 x 3) y)) (pow.f64 (cbrt.f64 (.f64 (.f64 x 3) y)) 3) (.f64 (pow.f64 (cbrt.f64 (.f64 (*.f64 x 3) y)) 3) y))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	169	26
2	1901	26
3	4894	26
0	0	0
1	0	0

simplify79.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

154 → 97

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

prune233.0ms (6.8%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	115	1	116
Fresh	3	4	7
Picked	0	1	1
Done	1	2	3
Total	119	8	127

Error

0.0b

Counts

127 → 8

Alt Table

Status	Error	Program
✓	0.3b	(.f64 (.f64 (*.f64 x 3) y) y)
✓	0.3b	(.f64 3 (.f64 y (*.f64 y x)))
	33.2b	(pow.f64 (.f64 (sqrt.f64 (.f64 x 3)) y) 2)
	28.0b	(.f64 (pow.f64 (sqrt.f64 (.f64 (*.f64 x 3) y)) 2) y)
✓	1.0b	(.f64 (pow.f64 (cbrt.f64 (.f64 (*.f64 x 3) y)) 3) y)
	9.5b	(.f64 3 (.f64 (pow.f64 y 2) x))
	0.3b	(.f64 (.f64 x (*.f64 3 y)) y)
	33.1b	(sqrt.f64 (.f64 9 (pow.f64 (.f64 y (*.f64 y x)) 2)))

Compiler

Compiled 1628 to 1157 computations (28.9% saved)

regimes75.0ms (2.2%)

Accuracy

Total 0.2b remaining (87.2%)

Threshold costs 0.2b (87.2%)

Counts

14 → 1

Compiler

Compiled 709 to 526 computations (25.8% saved)

simplify5.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

end91.0ms (2.7%)

Compiler: Compiled 100 to 72 computations (28% saved)

Details

analyze88.0ms (2.6%)

sample780.0ms (22.9%)

simplify9.0ms (0.3%)

prune2.0ms (0.1%)

localize4.0ms (0.1%)

series16.0ms (0.5%)

rewrite49.0ms (1.4%)

simplify175.0ms (5.1%)

prune38.0ms (1.1%)

localize4.0ms (0.1%)

series16.0ms (0.5%)

rewrite47.0ms (1.4%)

simplify150.0ms (4.4%)

prune29.0ms (0.9%)

localize6.0ms (0.2%)

series20.0ms (0.6%)

rewrite47.0ms (1.4%)

simplify175.0ms (5.1%)

prune33.0ms (1%)

localize9.0ms (0.3%)

series1.1s (32.4%)

rewrite127.0ms (3.7%)

simplify79.0ms (2.3%)

prune233.0ms (6.8%)

regimes75.0ms (2.2%)

simplify5.0ms (0.1%)

end91.0ms (2.7%)

Profiling