Details

analyze81.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 8 to 5 computations (37.5% saved)

sample668.0ms (21.4%)

Results

627.0ms	8256×	body	128	valid
12.0ms	172×	body	128	invalid

Compiler

Compiled 23 to 14 computations (39.1% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Counts

1 → 2

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

3 → 2

Alt Table

Status	Error	Program
	10.8b	(.f64 x (.f64 y y))
▶	0.1b	(.f64 (.f64 x y) y)

Compiler

Compiled 40 to 22 computations (45% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 x y) y)

series8.0ms (0.3%)

Counts

1 → 24

Calls

1 calls:

8.0ms

(*.f64 (*.f64 x y) y)

rewrite31.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

431×	`log1p-expm1-u_binary64`
431×	`expm1-log1p-u_binary64`
371×	`unpow-prod-down_binary64`
273×	`log-prod_binary64`
180×	`pow-prod-down_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	99	7
2	1204	7

Stop Event

1×	node limit

Counts

1 → 17

Calls

1 calls:

30.0ms

(*.f64 (*.f64 x y) y)

simplify60.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

605×	`sqr-pow_binary64`
448×	`associate-l_binary64`
434×	`unswap-sqr_binary64`
281×	`cube-prod_binary64`
277×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	12	168
2	23	168
3	44	168
4	105	168
5	314	168
6	1257	168
7	2131	168
8	2295	168
9	2479	168
10	2687	168
11	2979	168
12	3372	168
13	3852	168
14	4415	168

Stop Event

1×	node limit

Counts

41 → 19

prune10.0ms (0.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	16	3	19
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	16	5	21

Error

0.0b

Counts

21 → 5

Alt Table

Status	Error	Program
	47.2b	(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 6))
	34.7b	(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
	11.4b	(pow.f64 (cbrt.f64 (.f64 x (.f64 y y))) 3)
▶	10.8b	(.f64 x (.f64 y y))
✓	0.1b	(.f64 (.f64 x y) y)

Compiler

Compiled 236 to 114 computations (51.7% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	10.4b	(.f64 x (.f64 y y))

series7.0ms (0.2%)

Counts

1 → 24

Calls

1 calls:

7.0ms

(*.f64 x (*.f64 y y))

rewrite37.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

421×	`log1p-expm1-u_binary64`
421×	`expm1-log1p-u_binary64`
326×	`unpow-prod-down_binary64`
252×	`log-prod_binary64`
175×	`pow-prod-down_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	100	7
2	1212	7

Stop Event

1×	node limit

Counts

1 → 20

Calls

1 calls:

36.0ms

(*.f64 x (*.f64 y y))

simplify63.0ms (2%)

Algorithm

1×	egg-herbie

Rules

605×	`sqr-pow_binary64`
448×	`associate-l_binary64`
434×	`unswap-sqr_binary64`
281×	`cube-prod_binary64`
277×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	12	168
2	23	168
3	44	168
4	105	168
5	314	168
6	1257	168
7	2131	168
8	2295	168
9	2479	168
10	2687	168
11	2979	168
12	3372	168
13	3852	168
14	4415	168

Stop Event

1×	node limit

Counts

44 → 22

prune11.0ms (0.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	22	0	22
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	22	5	27

Error

0.0b

Counts

27 → 5

Alt Table

Status	Error	Program
	47.2b	(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 6))
	34.7b	(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
▶	11.4b	(pow.f64 (cbrt.f64 (.f64 x (.f64 y y))) 3)
✓	10.8b	(.f64 x (.f64 y y))
✓	0.1b	(.f64 (.f64 x y) y)

Compiler

Compiled 257 to 124 computations (51.8% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 (.f64 x (.f64 y y))) 3)
	10.4b	(.f64 x (.f64 y y))
✓	18.7b	(cbrt.f64 (.f64 x (.f64 y y)))

series819.0ms (26.3%)

Counts

2 → 48

Calls

2 calls:

415.0ms	(pow.f64 (cbrt.f64 (.f64 x (.f64 y y))) 3)
403.0ms	(cbrt.f64 (.f64 x (.f64 y y)))

rewrite40.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

588×	`log1p-expm1-u_binary64`
588×	`expm1-log1p-u_binary64`
330×	`log-prod_binary64`
117×	`expm1-udef_binary64`
117×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	16
1	161	16
2	1712	16

Stop Event

1×	node limit

Counts

2 → 64

Calls

2 calls:

39.0ms	(pow.f64 (cbrt.f64 (.f64 x (.f64 y y))) 3)
39.0ms	(cbrt.f64 (.f64 x (.f64 y y)))

simplify38.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

316×	`unsub-neg_binary64`
281×	`fma-neg_binary64`
272×	`exp-sum_binary64`
245×	`fma-def_binary64`
228×	`associate-l_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	50	892
1	138	812
2	308	756
3	865	436
4	3339	436

Stop Event

1×	node limit

Counts

112 → 79

prune71.0ms (2.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	98	3	101
Fresh	0	2	2
Picked	1	0	1
Done	0	2	2
Total	99	7	106

Error

0.0b

Counts

106 → 7

Alt Table

Status	Error	Program
	47.2b	(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 6))
	34.7b	(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
▶	1.0b	(pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 3)
✓	10.8b	(.f64 x (.f64 y y))
✓	0.1b	(.f64 (.f64 x y) y)
	29.2b	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
	29.4b	(pow.f64 (exp.f64 (log.f64 (cbrt.f64 (.f64 x (.f64 y y))))) 3)

Compiler

Compiled 1314 to 642 computations (51.1% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 y (.f64 y x))
✓	0.5b	(pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 3)
✓	18.7b	(cbrt.f64 (.f64 y (.f64 y x)))

series827.0ms (26.5%)

Counts

3 → 72

Calls

3 calls:

432.0ms	(pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 3)
386.0ms	(cbrt.f64 (.f64 y (.f64 y x)))
8.0ms	(.f64 y (.f64 y x))

rewrite43.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

606×	`log1p-expm1-u_binary64`
606×	`expm1-log1p-u_binary64`
352×	`log-prod_binary64`
121×	`expm1-udef_binary64`
121×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	23
1	161	23
2	1726	23

Stop Event

1×	node limit

Counts

3 → 89

Calls

3 calls:

42.0ms	(.f64 y (.f64 y x))
42.0ms	(pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 3)
42.0ms	(cbrt.f64 (.f64 y (.f64 y x)))

simplify55.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

316×	`unsub-neg_binary64`
281×	`fma-neg_binary64`
269×	`exp-sum_binary64`
244×	`associate-l_binary64`
243×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	51	1348
1	140	1220
2	312	1140
3	879	604
4	3397	604

Stop Event

1×	node limit

Counts

161 → 91

prune47.0ms (1.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	89	2	91
Fresh	0	4	4
Picked	1	0	1
Done	0	2	2
Total	90	8	98

Error

0.0b

Counts

98 → 8

Alt Table

Status	Error	Program
	47.2b	(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 6))
	34.7b	(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
✓	10.8b	(.f64 x (.f64 y y))
✓	0.1b	(.f64 (.f64 x y) y)
	29.2b	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
	26.4b	(.f64 (sqrt.f64 (.f64 y x)) (.f64 (sqrt.f64 (.f64 y x)) y))
	29.4b	(pow.f64 (exp.f64 (log.f64 (cbrt.f64 (.f64 x (.f64 y y))))) 3)
	1.0b	(.f64 (cbrt.f64 (.f64 y (.f64 y x))) (pow.f64 (cbrt.f64 (.f64 y (*.f64 y x))) 2))

Compiler

Compiled 1185 to 509 computations (57% saved)

regimes94.0ms (3%)

Accuracy

Total 0.1b remaining (77.4%)

Threshold costs 0.1b (77.4%)

Counts

30 → 1

Compiler

Compiled 1091 to 751 computations (31.2% 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

Stop Event

1×

saturated

end77.0ms (2.5%)

Compiler: Compiled 98 to 58 computations (40.8% saved)

Details

analyze81.0ms (2.6%)

sample668.0ms (21.4%)

simplify6.0ms (0.2%)

prune3.0ms (0.1%)

localize3.0ms (0.1%)

series8.0ms (0.3%)

rewrite31.0ms (1%)

simplify60.0ms (1.9%)

prune10.0ms (0.3%)

localize3.0ms (0.1%)

series7.0ms (0.2%)

rewrite37.0ms (1.2%)

simplify63.0ms (2%)

prune11.0ms (0.3%)

localize7.0ms (0.2%)

series819.0ms (26.3%)

rewrite40.0ms (1.3%)

simplify38.0ms (1.2%)

prune71.0ms (2.3%)

localize7.0ms (0.2%)

series827.0ms (26.5%)

rewrite43.0ms (1.4%)

simplify55.0ms (1.8%)

prune47.0ms (1.5%)

regimes94.0ms (3%)

simplify2.0ms (0.1%)

end77.0ms (2.5%)

Profiling