Details

analyze129.0ms (4%)

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
37.5%	40.6%	22%	7
43.7%	32.8%	23.5%	8
43.7%	21.1%	35.2%	9
46.8%	16.8%	36.4%	10
46.8%	10.7%	42.4%	11
48.4%	8.5%	43.1%	12
48.4%	5.4%	46.2%	13
49.2%	4.3%	46.6%	14

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample864.0ms (26.5%)

Results

700.0ms	8256×	body	128	valid
51.0ms	550×	body	128	invalid

Compiler

Compiled 26 to 17 computations (34.6% saved)

simplify111.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

457×	`associate-l_binary64`
414×	`associate-*l/_binary64`
380×	`sqr-pow_binary64`
368×	`unswap-sqr_binary64`
321×	`exp-prod_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	9	9
2	13	9
3	22	9
4	48	9
5	110	9
6	268	9
7	777	9
8	1444	9
9	2361	9
10	2675	9
11	3160	9
12	4242	9
13	4964	9
14	4781	9

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(.f64 x (exp.f64 (.f64 y y)))

Compiler

Compiled 24 to 15 computations (37.5% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 x (exp.f64 (.f64 y y)))
✓	0.0b	(exp.f64 (*.f64 y y))

series24.0ms (0.7%)

Counts

2 → 36

Calls

2 calls:

21.0ms	(.f64 x (exp.f64 (.f64 y y)))
3.0ms	(exp.f64 (*.f64 y y))

rewrite143.0ms (4.4%)

Algorithm

2×	batch-egg-rewrite

Rules

896×	`log1p-udef_binary64`
468×	`log1p-expm1-u_binary64`
468×	`expm1-log1p-u_binary64`
361×	`unpow-prod-down_binary64`
272×	`log-prod_binary64`

Counts

2 → 76

Calls

2 calls:

138.0ms	(.f64 x (exp.f64 (.f64 y y)))
138.0ms	(exp.f64 (*.f64 y y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	15
1	115	15
2	1260	15
3	4961	15
4	6504	15
0	0	0
1	0	0

simplify80.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

864×	`associate-/l/_binary64`
521×	`fma-def_binary64`
502×	`*-commutative_binary64`
481×	`distribute-rgt-out_binary64`
408×	`associate-l_binary64`

Counts

112 → 94

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	31	330
1	76	322
2	185	315
3	477	311
4	1507	311
5	2523	311
6	2789	311
7	3739	311
8	5903	311

prune61.0ms (1.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	90	4	94
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	91	4	95

Error

0.0b

Counts

95 → 4

Alt Table

Status	Error	Program
	1.4b	(pow.f64 (cbrt.f64 (.f64 (exp.f64 (.f64 y y)) x)) 3)
	0.1b	(.f64 x (pow.f64 (exp.f64 1) (.f64 y y)))
▶	0.0b	(*.f64 x (pow.f64 (exp.f64 y) y))
	0.8b	(+.f64 (*.f64 (pow.f64 y 2) x) x)

Compiler

Compiled 1227 to 595 computations (51.5% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 x (pow.f64 (exp.f64 y) y))
✓	0.0b	(pow.f64 (exp.f64 y) y)

series243.0ms (7.5%)

Counts

2 → 36

Calls

2 calls:

240.0ms	(*.f64 x (pow.f64 (exp.f64 y) y))
2.0ms	(pow.f64 (exp.f64 y) y)

rewrite51.0ms (1.6%)

Algorithm

2×	batch-egg-rewrite

Rules

505×	`log1p-expm1-u_binary64`
505×	`expm1-log1p-u_binary64`
429×	`unpow-prod-down_binary64`
289×	`log-prod_binary64`
155×	`pow2_binary64`

Counts

2 → 65

Calls

2 calls:

50.0ms	(*.f64 x (pow.f64 (exp.f64 y) y))
50.0ms	(pow.f64 (exp.f64 y) y)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	15
1	118	15
2	1341	15
3	5070	15
0	0	0
1	0	0

simplify76.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

864×	`associate-/l/_binary64`
521×	`fma-def_binary64`
502×	`*-commutative_binary64`
481×	`distribute-rgt-out_binary64`
408×	`associate-l_binary64`

Counts

101 → 82

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	31	330
1	76	322
2	185	315
3	477	311
4	1507	311
5	2523	311
6	2789	311
7	3739	311
8	5903	311

prune55.0ms (1.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	83	3	86

Error

Counts

86 → 3

Alt Table

Status	Error	Program
	1.4b	(pow.f64 (cbrt.f64 (.f64 (exp.f64 (.f64 y y)) x)) 3)
▶	0.1b	(.f64 x (.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 3)))
	0.8b	(+.f64 (*.f64 (pow.f64 y 2) x) x)

Compiler

Compiled 1177 to 565 computations (52% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(cbrt.f64 (pow.f64 (exp.f64 y) y))
✓	0.0b	(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 3))
	0.0b	(pow.f64 (exp.f64 y) y)
✓	0.0b	(pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 3)

series523.0ms (16.1%)

Counts

3 → 36

Calls

3 calls:

264.0ms

(pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 3)

256.0ms

(cbrt.f64 (pow.f64 (exp.f64 y) y))

3.0ms

(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 3))

rewrite84.0ms (2.6%)

Algorithm

2×	batch-egg-rewrite

Rules

627×	`log1p-expm1-u_binary64`
627×	`expm1-log1p-u_binary64`
317×	`log-prod_binary64`
134×	`log-pow_binary64`
123×	`expm1-udef_binary64`

Counts

3 → 88

Calls

3 calls:

82.0ms

(cbrt.f64 (pow.f64 (exp.f64 y) y))

82.0ms

(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 3))

82.0ms

(pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	30
1	184	22
2	1670	22
3	4976	22
4	4876	22
0	0	0
1	0	0

simplify59.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

685×	`fma-def_binary64`
570×	`unswap-sqr_binary64`
550×	`distribute-rgt-out_binary64`
495×	`distribute-lft-out_binary64`
457×	`associate-l_binary64`

Counts

124 → 112

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	48	367
1	113	357
2	271	343
3	694	313
4	2118	313
5	4902	305
6	5015	305

prune242.0ms (7.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	302	0	302
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	302	3	305

Error

Counts

305 → 3

Alt Table

Status	Error	Program
	1.4b	(pow.f64 (cbrt.f64 (.f64 (exp.f64 (.f64 y y)) x)) 3)
✓	0.1b	(.f64 x (.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 3)))
▶	0.8b	(+.f64 (*.f64 (pow.f64 y 2) x) x)

Compiler

Compiled 7215 to 3256 computations (54.9% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 (pow.f64 y 2) x) x)
✓	6.0b	(*.f64 (pow.f64 y 2) x)

series17.0ms (0.5%)

Counts

2 → 15

Calls

2 calls:

9.0ms	(*.f64 (pow.f64 y 2) x)
8.0ms	(+.f64 (*.f64 (pow.f64 y 2) x) x)

rewrite49.0ms (1.5%)

Algorithm

2×	batch-egg-rewrite

Rules

791×	`prod-diff_binary64`
712×	`log1p-expm1-u_binary64`
712×	`expm1-log1p-u_binary64`
75×	`add-sqr-sqrt_binary64`
71×	`add-log-exp_binary64`

Counts

2 → 55

Calls

2 calls:

47.0ms	(+.f64 (*.f64 (pow.f64 y 2) x) x)
47.0ms	(*.f64 (pow.f64 y 2) x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	15
1	155	15
2	1816	15
3	5781	15
0	0	0
1	0	0

simplify143.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

1104×	`sqr-pow_binary64`
673×	`cube-prod_binary64`
663×	`fabs-mul_binary64`
628×	`pow-sqr_binary64`
311×	`cube-mult_binary64`

Counts

70 → 59

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	135
1	18	111
2	33	111
3	56	111
4	132	111
5	315	111
6	398	111
7	638	111
8	673	111
9	783	111
10	901	111
11	1066	111
12	1226	111
13	1453	111
14	1786	111
15	2180	111
16	2738	111
17	3422	111
18	3647	111
19	3912	111
20	4004	111
21	4038	111
22	4059	111
23	4997	111
24	4857	111

prune30.0ms (0.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	59	0	59
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	59	3	62

Error

Counts

62 → 3

Alt Table

Status	Error	Program
	1.4b	(pow.f64 (cbrt.f64 (.f64 (exp.f64 (.f64 y y)) x)) 3)
✓	0.1b	(.f64 x (.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 3)))
✓	0.8b	(+.f64 (*.f64 (pow.f64 y 2) x) x)

Compiler

Compiled 768 to 272 computations (64.6% saved)

regimes182.0ms (5.6%)

Accuracy

Total 0.0b remaining (11%)

Threshold costs 0.0b (11%)

Counts

42 → 1

Compiler

Compiled 3374 to 2204 computations (34.7% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	10	14
2	10	14

end61.0ms (1.9%)

Compiler: Compiled 63 to 42 computations (33.3% saved)

Details

analyze129.0ms (4%)

sample864.0ms (26.5%)

simplify111.0ms (3.4%)

prune3.0ms (0.1%)

localize7.0ms (0.2%)

series24.0ms (0.7%)

rewrite143.0ms (4.4%)

simplify80.0ms (2.4%)

prune61.0ms (1.9%)

localize5.0ms (0.2%)

series243.0ms (7.5%)

rewrite51.0ms (1.6%)

simplify76.0ms (2.3%)

prune55.0ms (1.7%)

localize9.0ms (0.3%)

series523.0ms (16.1%)

rewrite84.0ms (2.6%)

simplify59.0ms (1.8%)

prune242.0ms (7.4%)

localize4.0ms (0.1%)

series17.0ms (0.5%)

rewrite49.0ms (1.5%)

simplify143.0ms (4.4%)

prune30.0ms (0.9%)

regimes182.0ms (5.6%)

simplify2.0ms (0.1%)

end61.0ms (1.9%)

Profiling