Details

analyze780.0ms (0.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
6.2%	93.7%	0.1%	5
6.2%	90.5%	3.2%	6
21.9%	67.1%	11%	7
23.4%	64.8%	11.8%	8
32%	52.7%	15.3%	9
33.2%	51.3%	15.5%	10
37.7%	45.2%	17.2%	11
38.3%	44.4%	17.2%	12
40.6%	41.3%	18%	13
41%	41%	18%	14

Compiler

Compiled 15 to 12 computations (20% saved)

sample2.3s (1.5%)

Results

791.0ms	6009×	body	128	valid
463.0ms	1073×	body	1024	valid
229.0ms	680×	body	512	valid
206.0ms	534×	body	1024	invalid
158.0ms	1511×	body	128	invalid
95.0ms	313×	body	512	invalid
88.0ms	412×	body	256	valid
46.0ms	82×	body	2048	valid
33.0ms	169×	body	256	invalid

Compiler

Compiled 44 to 35 computations (20.5% saved)

simplify207.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2748×	`fma-def_binary64`
1264×	`fma-neg_binary64`
934×	`associate--r-_binary64`
475×	`cancel-sign-sub-inv_binary64`
423×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	10	18
1	22	17
2	40	17
3	86	15
4	163	15
5	344	15
6	666	15
7	1217	15
8	1463	15
9	1608	15
10	1787	15
11	2322	15
12	2926	15
13	2987	15
14	3089	15
15	3133	15
16	3142	15
17	3142	15
18	3225	15
19	3233	15
20	3237	15
21	4979	15

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

21.8b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	21.8b	(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))

Compiler

Compiled 48 to 35 computations (27.1% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))
✓	0.0b	(/.f64 (-.f64 x y) (+.f64 y -1))
✓	1.5b	(log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1)))

series99.0ms (0.1%)

Counts

3 → 72

Calls

3 calls:

46.0ms	(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))
40.0ms	(log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1)))
13.0ms	(/.f64 (-.f64 x y) (+.f64 y -1))

rewrite110.0ms (0.1%)

Algorithm

2×	batch-egg-rewrite

Rules

344×	`fma-neg_binary64`
338×	`fma-def_binary64`
204×	`expm1-udef_binary64`
203×	`log1p-udef_binary64`
176×	`log-div_binary64`

Counts

3 → 118

Calls

3 calls:

107.0ms	(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))
107.0ms	(/.f64 (-.f64 x y) (+.f64 y -1))
107.0ms	(log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	37
1	224	37
2	3056	37
3	4951	37
4	5103	37
0	0	0
1	0	0

simplify78.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

660×	`associate-+r+_binary64`
404×	`associate-+l+_binary64`
237×	`associate--r+_binary64`
225×	`associate-/r*_binary64`
193×	`associate--l+_binary64`

Counts

190 → 233

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	366	4967
1	1167	4869
2	5151	4869

prune227.0ms (0.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	229	4	233
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	229	5	234

Error

0.1b

Counts

234 → 5

Alt Table

Status	Error	Program
▶	21.8b	(/.f64 (-.f64 1 (pow.f64 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))) 3)) (fma.f64 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))) (+.f64 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))) 1) 1))
	22.1b	(-.f64 1 (pow.f64 (cbrt.f64 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1)))) 3))
✓	21.8b	(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))
	40.4b	(-.f64 1 (+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y))))
	58.2b	(-.f64 1 (-.f64 (log.f64 (+.f64 x -1)) (log.f64 y)))

Compiler

Compiled 8885 to 6201 computations (30.2% saved)

localize13.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (-.f64 1 (pow.f64 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))) 3)) (fma.f64 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))) (+.f64 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))) 1) 1))
✓	0.2b	(fma.f64 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))) (+.f64 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))) 1) 1)
✓	0.2b	(pow.f64 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))) 3)
	1.5b	(log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1)))

series2.4min (97.5%)

Calls

2 calls:

709.0ms	(pow.f64 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))) 3)
263.0ms	(fma.f64 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))) (+.f64 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))) 1) 1)

Details

analyze780.0ms (0.5%)

sample2.3s (1.5%)

simplify207.0ms (0.1%)

prune4.0ms (0%)

localize6.0ms (0%)

series99.0ms (0.1%)

rewrite110.0ms (0.1%)

simplify78.0ms (0.1%)

prune227.0ms (0.2%)

localize13.0ms (0%)

series2.4min (97.5%)

Profiling