Details

analyze110.0ms (2.5%)

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
50%	50%	0.1%	5
50%	50%	0.1%	6
62.4%	34.3%	3.2%	7
62.4%	32.8%	4.8%	8
68.7%	21.1%	10.2%	9
68.7%	19.1%	12.2%	10
71.8%	11.5%	16.7%	11
71.8%	10.2%	18%	12
73.4%	6%	20.6%	13
73.4%	5.3%	21.3%	14

Compiler

Compiled 10 to 7 computations (30% saved)

sample1.2s (27.7%)

Results

1.1s	8256×	body	128	valid
33.0ms	407×	body	128	invalid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`associate-/r*_binary64`
1×	`sub-neg_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	12	10
2	13	10
3	12	10

prune1.0ms (0%)

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

4.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	4.1b	(-.f64 (/.f64 x (*.f64 y y)) 3)

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (/.f64 x (*.f64 y y)) 3)
✓	7.5b	(/.f64 x (*.f64 y y))

series41.0ms (0.9%)

Counts

2 → 48

Calls

2 calls:

26.0ms	(/.f64 x (*.f64 y y))
15.0ms	(-.f64 (/.f64 x (*.f64 y y)) 3)

rewrite14.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
22×	`*-un-lft-identity_binary64`
21×	`prod-diff_binary64`
20×	`add-cube-cbrt_binary64`
16×	`times-frac_binary64`

Counts

2 → 70

Calls

2 calls:

7.0ms	(-.f64 (/.f64 x (*.f64 y y)) 3)
3.0ms	(/.f64 x (*.f64 y y))

simplify111.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

552×	`associate-/l/_binary64`
415×	`fma-neg_binary64`
309×	`fma-def_binary64`
242×	`associate-/r/_binary64`
230×	`unswap-sqr_binary64`

Counts

118 → 98

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	117	1119
1	207	1088
2	415	1087
3	1332	1083
4	2864	1079
5	4360	1071
6	4979	1071
7	4993	1071
8	4844	1071

prune71.0ms (1.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	94	4	98
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	94	5	99

Error

Counts

99 → 5

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (/.f64 1 (/.f64 y (/.f64 x y))) 3)
✓	4.1b	(-.f64 (/.f64 x (*.f64 y y)) 3)
	4.9b	(fma.f64 x (/.f64 1 (*.f64 y y)) -3)
	30.9b	(fma.f64 (/.f64 (sqrt.f64 x) y) (/.f64 (sqrt.f64 x) y) -3)
	0.1b	(-.f64 (/.f64 (/.f64 x y) y) 3)

Compiler

Compiled 1690 to 881 computations (47.9% saved)

localize5.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (/.f64 1 (/.f64 y (/.f64 x y))) 3)
✓	0.2b	(/.f64 y (/.f64 x y))
✓	0.6b	(/.f64 1 (/.f64 y (/.f64 x y)))

series51.0ms (1.2%)

Counts

3 → 72

Calls

3 calls:

25.0ms	(/.f64 1 (/.f64 y (/.f64 x y)))
15.0ms	(-.f64 (/.f64 1 (/.f64 y (/.f64 x y))) 3)
11.0ms	(/.f64 y (/.f64 x y))

rewrite251.0ms (5.8%)

Algorithm

1×	rewrite-expression-head

Rules

1803×	`times-frac_binary64`
991×	`add-sqr-sqrt_binary64`
974×	`*-un-lft-identity_binary64`
968×	`add-cube-cbrt_binary64`
411×	`prod-diff_binary64`

Counts

3 → 851

Calls

3 calls:

53.0ms	(/.f64 y (/.f64 x y))
43.0ms	(-.f64 (/.f64 1 (/.f64 y (/.f64 x y))) 3)
9.0ms	(/.f64 1 (/.f64 y (/.f64 x y)))

simplify596.0ms (13.7%)

Algorithm

1×	egg-herbie

Rules

463×	`*-commutative_binary64`
461×	`fma-def_binary64`
427×	`fma-neg_binary64`
297×	`associate-/r/_binary64`
198×	`associate-*r/_binary64`

Counts

923 → 1140

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	426	16500
1	701	14675
2	1995	13908
3	2725	13532
4	4157	13448
5	4907	13448
6	4949	13448

prune853.0ms (19.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	1139	1	1140
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	1141	4	1145

Error

Counts

1145 → 4

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (/.f64 1 (*.f64 y (/.f64 y x))) 3)
✓	4.1b	(-.f64 (/.f64 x (*.f64 y y)) 3)
	4.9b	(fma.f64 x (/.f64 1 (*.f64 y y)) -3)
	0.1b	(-.f64 (/.f64 (/.f64 x y) y) 3)

Compiler

Compiled 32241 to 18096 computations (43.9% saved)

localize5.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (/.f64 1 (*.f64 y (/.f64 y x))) 3)
✓	0.2b	(*.f64 y (/.f64 y x))
✓	0.6b	(/.f64 1 (*.f64 y (/.f64 y x)))

series98.0ms (2.3%)

Counts

3 → 72

Calls

3 calls:

57.0ms	(*.f64 y (/.f64 y x))
25.0ms	(/.f64 1 (*.f64 y (/.f64 y x)))
16.0ms	(-.f64 (/.f64 1 (*.f64 y (/.f64 y x))) 3)

rewrite24.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

37×	`add-sqr-sqrt_binary64`
33×	`*-un-lft-identity_binary64`
30×	`add-cube-cbrt_binary64`
29×	`add-exp-log_binary64`
25×	`times-frac_binary64`

Counts

3 → 120

Calls

3 calls:

7.0ms	(-.f64 (/.f64 1 (*.f64 y (/.f64 y x))) 3)
4.0ms	(*.f64 y (/.f64 y x))
4.0ms	(/.f64 1 (*.f64 y (/.f64 y x)))

simplify111.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

670×	`times-frac_binary64`
504×	`fma-def_binary64`
429×	`fma-neg_binary64`
335×	`associate-/l*_binary64`
303×	`unswap-sqr_binary64`

Counts

192 → 166

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	159	1900
1	310	1777
2	841	1671
3	2611	1662
4	4002	1662
5	4898	1662
6	4910	1662

prune110.0ms (2.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	166	0	166
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	166	4	170

Error

Counts

170 → 4

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (/.f64 1 (*.f64 y (/.f64 y x))) 3)
✓	4.1b	(-.f64 (/.f64 x (*.f64 y y)) 3)
	4.9b	(fma.f64 x (/.f64 1 (*.f64 y y)) -3)
▶	0.1b	(-.f64 (/.f64 (/.f64 x y) y) 3)

Compiler

Compiled 2812 to 1597 computations (43.2% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (/.f64 (/.f64 x y) y) 3)
✓	0.2b	(/.f64 (/.f64 x y) y)

series75.0ms (1.7%)

Counts

2 → 48

Calls

2 calls:

50.0ms	(-.f64 (/.f64 (/.f64 x y) y) 3)
25.0ms	(/.f64 (/.f64 x y) y)

rewrite52.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

342×	`times-frac_binary64`
237×	`add-sqr-sqrt_binary64`
230×	`*-un-lft-identity_binary64`
228×	`add-cube-cbrt_binary64`
129×	`prod-diff_binary64`

Counts

2 → 264

Calls

2 calls:

16.0ms	(-.f64 (/.f64 (/.f64 x y) y) 3)
5.0ms	(/.f64 (/.f64 x y) y)

simplify160.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

620×	`fma-def_binary64`
570×	`associate-*l/_binary64`
483×	`times-frac_binary64`
360×	`associate-*r/_binary64`
343×	`associate-/l/_binary64`

Counts

312 → 356

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	309	3430
1	508	3335
2	1070	3256
3	2985	3230
4	4975	3230
5	4938	3230

prune208.0ms (4.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	356	0	356
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	356	4	360

Error

Counts

360 → 4

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (/.f64 1 (*.f64 y (/.f64 y x))) 3)
✓	4.1b	(-.f64 (/.f64 x (*.f64 y y)) 3)
	4.9b	(fma.f64 x (/.f64 1 (*.f64 y y)) -3)
✓	0.1b	(-.f64 (/.f64 (/.f64 x y) y) 3)

Compiler

Compiled 8274 to 4046 computations (51.1% saved)

regimes116.0ms (2.7%)

Accuracy

Total 0.1b remaining (88.8%)

Threshold costs 0.1b (88.8%)

Counts

23 → 1

Compiler

Compiled 1851 to 1112 computations (39.9% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`sub-neg_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	15	13
2	16	13
3	14	13

end54.0ms (1.3%)

Compiler: Compiled 61 to 43 computations (29.5% saved)

Details

analyze110.0ms (2.5%)

sample1.2s (27.7%)

simplify6.0ms (0.1%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series41.0ms (0.9%)

rewrite14.0ms (0.3%)

simplify111.0ms (2.6%)

prune71.0ms (1.6%)

localize5.0ms (0.1%)

series51.0ms (1.2%)

rewrite251.0ms (5.8%)

simplify596.0ms (13.7%)

prune853.0ms (19.7%)

localize5.0ms (0.1%)

series98.0ms (2.3%)

rewrite24.0ms (0.5%)

simplify111.0ms (2.6%)

prune110.0ms (2.5%)

localize5.0ms (0.1%)

series75.0ms (1.7%)

rewrite52.0ms (1.2%)

simplify160.0ms (3.7%)

prune208.0ms (4.8%)

regimes116.0ms (2.7%)

simplify2.0ms (0.1%)

end54.0ms (1.3%)

Profiling