Details

analyze85.0ms (2.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
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)

sample686.0ms (19.7%)

Results

647.0ms	8256×	body	128	valid
12.0ms	161×	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`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

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

prune2.0ms (0%)

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

Compiler

Compiled 26 to 13 computations (50% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series8.0ms (0.2%)

Counts

1 → 24

Calls

1 calls:

8.0ms

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

rewrite4.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`
3×	`associate-r_binary64`
3×	`cbrt-unprod_binary64`

Counts

1 → 20

Calls

1 calls:

3.0ms

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

simplify57.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

723×	`fma-def_binary64`
373×	`associate-l_binary64`
319×	`unswap-sqr_binary64`
312×	`associate-*r/_binary64`
263×	`associate-*l/_binary64`

Counts

44 → 31

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	39	389
1	95	344
2	300	344
3	591	342
4	859	342
5	1608	342
6	4153	342
7	4970	342

prune22.0ms (0.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	25	6	31
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	25	7	32

Error

0.0b

Counts

32 → 7

Alt Table

Status	Error	Program
✓	0.2b	(.f64 (.f64 x y) y)
	36.7b	(.f64 (.f64 x (pow.f64 y 3/2)) (sqrt.f64 y))
▶	0.9b	(.f64 (.f64 (.f64 x y) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y))
	23.0b	(.f64 (sqrt.f64 (.f64 (.f64 x y) y)) (sqrt.f64 (.f64 (*.f64 x y) y)))
	41.1b	(cbrt.f64 (.f64 (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 y y) y)) (.f64 (.f64 y y) y)))
	27.6b	(cbrt.f64 (.f64 (.f64 (.f64 (.f64 x y) y) (.f64 (.f64 x y) y)) (.f64 (.f64 x y) y)))
	9.5b	(*.f64 (pow.f64 y 2) x)

Compiler

Compiled 476 to 171 computations (64.1% saved)

localize6.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 (.f64 x y) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y))
✓	0.3b	(.f64 (.f64 x y) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
✓	0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
✓	0.6b	(cbrt.f64 y)

series933.0ms (26.7%)

Counts

4 → 72

Calls

4 calls:

838.0ms	(.f64 (.f64 x y) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
37.0ms	(cbrt.f64 y)
36.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
22.0ms	(.f64 (.f64 (.f64 x y) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y))

rewrite36.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`pow1_binary64`
36×	`add-exp-log_binary64`
23×	`pow-prod-down_binary64`
23×	`add-sqr-sqrt_binary64`
22×	`cbrt-unprod_binary64`

Counts

4 → 111

Calls

4 calls:

19.0ms	(.f64 (.f64 (.f64 x y) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y))
6.0ms	(.f64 (.f64 x y) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
4.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
1.0ms	(cbrt.f64 y)

simplify131.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

501×	`*-commutative_binary64`
399×	`sqr-pow_binary64`
371×	`log-prod_binary64`
354×	`exp-prod_binary64`
292×	`associate-l_binary64`

Counts

183 → 150

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	125	1908
1	266	1583
2	1044	1476
3	1887	1448
4	3778	1300
5	4522	1296
6	4797	1296
7	4856	1296

prune150.0ms (4.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	182	4	186
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	184	9	193

Error

0.0b

Counts

193 → 9

Alt Table

Status	Error	Program
	1.2b	(.f64 (.f64 (.f64 x y) (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y))))) (cbrt.f64 y))
	9.7b	(.f64 (.f64 (.f64 x y) (cbrt.f64 (.f64 y y))) (cbrt.f64 y))
	0.9b	(.f64 (.f64 x y) (.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 y)))
▶	0.9b	(.f64 (.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
✓	0.2b	(.f64 (.f64 x y) y)
	36.7b	(.f64 (.f64 x (pow.f64 y 3/2)) (sqrt.f64 y))
	23.0b	(.f64 (sqrt.f64 (.f64 (.f64 x y) y)) (sqrt.f64 (.f64 (*.f64 x y) y)))
	27.6b	(cbrt.f64 (.f64 (.f64 (.f64 (.f64 x y) y) (.f64 (.f64 x y) y)) (.f64 (.f64 x y) y)))
	9.5b	(*.f64 (pow.f64 y 2) x)

Compiler

Compiled 3238 to 902 computations (72.1% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
✓	0.3b	(.f64 (.f64 x y) (pow.f64 (cbrt.f64 y) 2))
✓	0.5b	(pow.f64 (cbrt.f64 y) 2)
	0.6b	(cbrt.f64 y)

series403.0ms (11.5%)

Counts

3 → 60

Calls

3 calls:

339.0ms	(.f64 (.f64 x y) (pow.f64 (cbrt.f64 y) 2))
41.0ms	(pow.f64 (cbrt.f64 y) 2)
22.0ms	(.f64 (.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))

rewrite19.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`add-exp-log_binary64`
25×	`prod-exp_binary64`
17×	`associate-r_binary64`
14×	`add-cbrt-cube_binary64`
12×	`unpow-prod-down_binary64`

Counts

3 → 82

Calls

3 calls:

8.0ms	(.f64 (.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
5.0ms	(.f64 (.f64 x y) (pow.f64 (cbrt.f64 y) 2))
2.0ms	(pow.f64 (cbrt.f64 y) 2)

simplify112.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

859×	`fma-def_binary64`
407×	`*-commutative_binary64`
353×	`log-prod_binary64`
352×	`sqr-pow_binary64`
279×	`pow-sqr_binary64`

Counts

142 → 123

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	121	1713
1	283	1423
2	935	1360
3	1673	1344
4	2732	1266
5	4341	1264
6	4841	1264
7	4845	1264

prune149.0ms (4.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	157	2	159
Fresh	2	5	7
Picked	0	1	1
Done	0	1	1
Total	159	9	168

Error

0.0b

Counts

168 → 9

Alt Table

Status	Error	Program
▶	0.9b	(.f64 (.f64 x y) (*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y)))
	36.7b	(.f64 (.f64 x (pow.f64 y 3/2)) (sqrt.f64 y))
	1.2b	(.f64 (.f64 (.f64 x y) (.f64 (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 y)) 2))) (cbrt.f64 y))
	9.5b	(*.f64 (pow.f64 y 2) x)
	9.7b	(.f64 (.f64 (.f64 x y) (cbrt.f64 (.f64 y y))) (cbrt.f64 y))
✓	0.9b	(.f64 (.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
✓	0.2b	(.f64 (.f64 x y) y)
	23.0b	(.f64 (sqrt.f64 (.f64 (.f64 x y) y)) (sqrt.f64 (.f64 (*.f64 x y) y)))
	27.6b	(cbrt.f64 (.f64 (.f64 (.f64 (.f64 x y) y) (.f64 (.f64 x y) y)) (.f64 (.f64 x y) y)))

Compiler

Compiled 2666 to 1181 computations (55.7% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 x y) (*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y)))
✓	0.3b	(*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y))
	0.5b	(pow.f64 (cbrt.f64 y) 2)
	0.6b	(cbrt.f64 y)

series40.0ms (1.2%)

Counts

2 → 36

Calls

2 calls:

23.0ms	(.f64 (.f64 x y) (*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y)))
17.0ms	(*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y))

rewrite19.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-exp-log_binary64`
23×	`add-sqr-sqrt_binary64`
21×	`prod-exp_binary64`
13×	`cbrt-prod_binary64`
13×	`add-cbrt-cube_binary64`

Counts

2 → 70

Calls

2 calls:

6.0ms	(.f64 (.f64 x y) (*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y)))
5.0ms	(*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y))

simplify130.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

956×	`fma-def_binary64`
268×	`*-commutative_binary64`
247×	`sqr-pow_binary64`
244×	`associate-/l*_binary64`
243×	`log-prod_binary64`

Counts

106 → 97

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	99	1185
1	208	663
2	549	660
3	1135	660
4	2021	646
5	4090	646
6	4961	646
7	5095	646

prune123.0ms (3.5%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	167	1	168
Fresh	0	6	6
Picked	1	0	1
Done	0	2	2
Total	168	9	177

Error

0.0b

Counts

177 → 9

Alt Table

Status	Error	Program
	9.7b	(.f64 (.f64 x y) (.f64 (cbrt.f64 (.f64 y y)) (cbrt.f64 y)))
✓	0.9b	(.f64 (.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
	1.2b	(.f64 (.f64 (.f64 x y) (.f64 (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 y)) 2))) (cbrt.f64 y))
	9.5b	(*.f64 (pow.f64 y 2) x)
	9.7b	(.f64 (.f64 (.f64 x y) (cbrt.f64 (.f64 y y))) (cbrt.f64 y))
✓	0.2b	(.f64 (.f64 x y) y)
	36.7b	(.f64 (.f64 x (pow.f64 y 3/2)) (sqrt.f64 y))
	23.0b	(.f64 (sqrt.f64 (.f64 (.f64 x y) y)) (sqrt.f64 (.f64 (*.f64 x y) y)))
	27.6b	(cbrt.f64 (.f64 (.f64 (.f64 (.f64 x y) y) (.f64 (.f64 x y) y)) (.f64 (.f64 x y) y)))

Compiler

Compiled 2730 to 1154 computations (57.7% saved)

regimes257.0ms (7.4%)

Accuracy

Total 0.1b remaining (78.6%)

Threshold costs 0.1b (78.6%)

Counts

73 → 1

Compiler

Compiled 3845 to 2125 computations (44.7% 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

end96.0ms (2.7%)

Compiler: Compiled 135 to 75 computations (44.4% saved)

Details

analyze85.0ms (2.4%)

sample686.0ms (19.7%)

simplify6.0ms (0.2%)

prune2.0ms (0%)

localize3.0ms (0.1%)

series8.0ms (0.2%)

rewrite4.0ms (0.1%)

simplify57.0ms (1.6%)

prune22.0ms (0.6%)

localize6.0ms (0.2%)

series933.0ms (26.7%)

rewrite36.0ms (1%)

simplify131.0ms (3.7%)

prune150.0ms (4.3%)

localize7.0ms (0.2%)

series403.0ms (11.5%)

rewrite19.0ms (0.6%)

simplify112.0ms (3.2%)

prune149.0ms (4.3%)

localize7.0ms (0.2%)

series40.0ms (1.2%)

rewrite19.0ms (0.6%)

simplify130.0ms (3.7%)

prune123.0ms (3.5%)

regimes257.0ms (7.4%)

simplify2.0ms (0.1%)

end96.0ms (2.7%)

Profiling