Details

analyze436.0ms (6.8%)

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
43.7%	56.2%	0.1%	6
53.1%	42.1%	4.8%	7
59.3%	35.9%	4.8%	8
62.4%	30.4%	7.1%	9
64.8%	28.1%	7.1%	10
66%	25.8%	8.3%	11
66.9%	24.8%	8.3%	12
67.4%	23.7%	8.9%	13
67.9%	23.3%	8.9%	14

Compiler

Compiled 12 to 9 computations (25% saved)

sample3.9s (60.7%)

Results

2.5s	2442×	body	8192	exit
1.0s	7614×	body	128	valid
195.0ms	241×	body	1024	valid
101.0ms	239×	body	512	valid
44.0ms	160×	body	256	valid
10.0ms	75×	body	128	invalid
2.0ms	2×	body	2048	valid

Compiler

Compiled 35 to 26 computations (25.7% saved)

simplify71.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

607×	`rules-20_binary64`
320×	`rules-5-rev_binary64`
314×	`rules-9-rev_binary64`
271×	`rules-6_binary64`
254×	`rules-1_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	11
1	17	11
2	26	11
3	49	11
4	148	11
5	466	11
6	1891	11
7	4437	11
8	4817	11
9	4999	11

prune3.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

0.0b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 36 to 22 computations (38.9% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series209.0ms (3.3%)

Counts

2 → 36

Calls

2 calls:

148.0ms	(log1p.f64 (exp.f64 x))
61.0ms	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

rewrite72.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

763×	`expm1-log1p-u_binary64`
762×	`log1p-expm1-u_binary64`
652×	`prod-diff_binary64`
139×	`egg-rr`
74×	`add-sqr-sqrt_binary64`

Counts

2 → 139

Calls

2 calls:

68.0ms	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
68.0ms	(log1p.f64 (exp.f64 x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	16
1	164	16
2	2192	16
3	6127	16
0	0	0
1	0	0

simplify72.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

655×	`fma-neg_binary64`
412×	`rules-21_binary64`
405×	`rules-11_binary64`
372×	`fma-def_binary64`
252×	`rules-20_binary64`

Counts

175 → 158

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	30	360
1	82	344
2	267	342
3	1115	328
4	4775	325
5	4944	325
6	4972	325

prune76.0ms (1.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	155	3	158
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	156	3	159

Error

Counts

159 → 3

Alt Table

Status	Error	Program
	0.0b	(*.f64 x (-.f64 (/.f64 (log1p.f64 (exp.f64 x)) x) y))
▶	0.0b	(.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) 1)
	0.5b	(-.f64 (pow.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) 2) (*.f64 x y))

Compiler

Compiled 3423 to 735 computations (78.5% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

prune82.0ms (1.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

Counts

161 → 3

Alt Table

Status	Error	Program
▶	0.0b	(*.f64 x (-.f64 (/.f64 (log1p.f64 (exp.f64 x)) x) y))
✓	0.0b	(.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) 1)
	0.5b	(-.f64 (pow.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) 2) (*.f64 x y))

Compiler

Compiled 3728 to 1043 computations (72% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(log1p.f64 (exp.f64 x))
✓	0.1b	(*.f64 x (-.f64 (/.f64 (log1p.f64 (exp.f64 x)) x) y))
✓	0.1b	(/.f64 (log1p.f64 (exp.f64 x)) x)

series263.0ms (4.1%)

Counts

2 → 36

Calls

2 calls:

185.0ms	(/.f64 (log1p.f64 (exp.f64 x)) x)
77.0ms	(*.f64 x (-.f64 (/.f64 (log1p.f64 (exp.f64 x)) x) y))

rewrite123.0ms (1.9%)

Algorithm

2×	batch-egg-rewrite

Rules

888×	`expm1-log1p-u_binary64`
813×	`prod-diff_binary64`
319×	`egg-rr`
85×	`add-sqr-sqrt_binary64`
81×	`log1p-expm1-u_binary64`

Counts

2 → 319

Calls

2 calls:

114.0ms	(*.f64 x (-.f64 (/.f64 (log1p.f64 (exp.f64 x)) x) y))
114.0ms	(/.f64 (log1p.f64 (exp.f64 x)) x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	189	19
2	2547	19
3	5655	19
0	0	0
1	0	0

simplify59.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

693×	`fma-neg_binary64`
445×	`rules-11_binary64`
354×	`fma-def_binary64`
300×	`rules-20_binary64`
228×	`rules-13_binary64`

Counts

355 → 340

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	39	385
1	103	369
2	330	366
3	1288	359
4	4841	359
5	4989	359

prune206.0ms (3.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	375	0	375
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	375	3	378

Error

Counts

378 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 x (-.f64 (/.f64 (log1p.f64 (exp.f64 x)) x) y))
✓	0.0b	(.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) 1)
▶	0.5b	(-.f64 (pow.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) 2) (*.f64 x y))

Compiler

Compiled 10239 to 1772 computations (82.7% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (pow.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) 2) (*.f64 x y))
	0.0b	(log1p.f64 (exp.f64 x))
✓	0.7b	(sqrt.f64 (log1p.f64 (exp.f64 x)))
✓	0.7b	(pow.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) 2)

series363.0ms (5.7%)

Counts

3 → 48

Calls

3 calls:

157.0ms	(pow.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) 2)
142.0ms	(sqrt.f64 (log1p.f64 (exp.f64 x)))
63.0ms	(-.f64 (pow.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) 2) (*.f64 x y))

rewrite94.0ms (1.5%)

Algorithm

2×	batch-egg-rewrite

Rules

906×	`expm1-log1p-u_binary64`
821×	`prod-diff_binary64`
244×	`egg-rr`
91×	`add-sqr-sqrt_binary64`
90×	`log1p-expm1-u_binary64`

Counts

3 → 244

Calls

3 calls:

88.0ms	(-.f64 (pow.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) 2) (*.f64 x y))
88.0ms	(sqrt.f64 (log1p.f64 (exp.f64 x)))
87.0ms	(pow.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) 2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	216	23
2	2638	23
3	5690	23
0	0	0
1	0	0

simplify59.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

500×	`rules-15-rev_binary64`
436×	`rules-21_binary64`
379×	`fma-def_binary64`
326×	`fma-neg_binary64`
311×	`rules-4_binary64`

Counts

292 → 271

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	66	602
1	190	557
2	743	545
3	4134	545
4	5661	545

prune168.0ms (2.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

309 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 x (-.f64 (/.f64 (log1p.f64 (exp.f64 x)) x) y))
✓	0.0b	(.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) 1)
✓	0.5b	(-.f64 (pow.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) 2) (*.f64 x y))

Compiler

Compiled 7281 to 2285 computations (68.6% saved)

regimes86.0ms (1.3%)

Accuracy

Total 0.0b remaining (1.6%)

Threshold costs 0.0b (1.6%)

Counts

31 → 1

Compiler

Compiled 992 to 721 computations (27.3% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

end52.0ms (0.8%)

Compiler: Compiled 56 to 40 computations (28.6% saved)

Details

analyze436.0ms (6.8%)

sample3.9s (60.7%)

simplify71.0ms (1.1%)

prune3.0ms (0%)

localize6.0ms (0.1%)

series209.0ms (3.3%)

rewrite72.0ms (1.1%)

simplify72.0ms (1.1%)

prune76.0ms (1.2%)

localize8.0ms (0.1%)

prune82.0ms (1.3%)

localize8.0ms (0.1%)

series263.0ms (4.1%)

rewrite123.0ms (1.9%)

simplify59.0ms (0.9%)

prune206.0ms (3.2%)

localize7.0ms (0.1%)

series363.0ms (5.7%)

rewrite94.0ms (1.5%)

simplify59.0ms (0.9%)

prune168.0ms (2.6%)

regimes86.0ms (1.3%)

simplify1.0ms (0%)

end52.0ms (0.8%)

Profiling