Details

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

sample4.3s (79.1%)

Results

2.8s	2495×	body	8192	exit
1.1s	7620×	body	128	valid
154.0ms	228×	body	1024	valid
107.0ms	252×	body	512	valid
44.0ms	156×	body	256	valid
10.0ms	73×	body	128	invalid

Compiler

Compiled 35 to 26 computations (25.7% saved)

simplify99.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

837×	`fma-def_binary64`
741×	`fabs-mul_binary64`
531×	`fabs-div_binary64`
469×	`swap-sqr_binary64`
420×	`fma-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	11
1	19	11
2	28	11
3	45	11
4	59	11
5	89	11
6	120	11
7	148	11
8	188	11
9	201	11
10	231	11
11	257	11
12	336	11
13	544	11
14	967	11
15	2930	11
16	3463	11
17	3600	11
18	3896	11
19	4820	11
20	4969	11

prune2.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.5b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 36 to 22 computations (38.9% saved)

localize5.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.5b	(log1p.f64 (exp.f64 x))

series218.0ms (4%)

Counts

2 → 36

Calls

2 calls:

152.0ms	(log1p.f64 (exp.f64 x))
65.0ms	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

rewrite60.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

733×	`expm1-log1p-u_binary64`
732×	`log1p-expm1-u_binary64`
659×	`prod-diff_binary64`
113×	`egg-rr`
76×	`add-sqr-sqrt_binary64`

Counts

2 → 113

Calls

2 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	16
1	147	16
2	1853	16
3	5744	16

simplify77.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

537×	`fma-def_binary64`
442×	`distribute-rgt-neg-in_binary64`
418×	`sub-neg_binary64`
406×	`distribute-lft-out--_binary64`
345×	`unsub-neg_binary64`

Counts

149 → 130

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	30	356
1	81	350
2	182	337
3	540	321
4	1697	321
5	2831	321
6	4417	321
7	4976	321

prune56.0ms (1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	129	2	131

Error

Counts

131 → 2

Alt Table

Status	Error	Program
✓	0.5b	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
▶	9.8b	(fma.f64 x (-.f64 1/2 y) (log.f64 2))

Compiler

Compiled 2818 to 633 computations (77.5% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 x (-.f64 1/2 y) (log.f64 2))

series13.0ms (0.2%)

Counts

1 → 24

Calls

1 calls:

12.0ms

(fma.f64 x (-.f64 1/2 y) (log.f64 2))

rewrite40.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

775×	`log1p-expm1-u_binary64`
775×	`expm1-log1p-u_binary64`
150×	`log1p-udef_binary64`
117×	`prod-diff_binary64`
84×	`add-sqr-sqrt_binary64`

Counts

1 → 24

Calls

1 calls:

39.0ms

(fma.f64 x (-.f64 1/2 y) (log.f64 2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	169	10
2	1936	10
3	5093	10

simplify35.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

336×	`fma-def_binary64`
260×	`fma-neg_binary64`
76×	`cancel-sign-sub-inv_binary64`
51×	`sub-neg_binary64`
41×	`distribute-rgt-in_binary64`

Counts

48 → 33

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	17	308
1	40	252
2	75	216
3	125	216
4	180	216
5	302	216
6	374	216
7	491	216
8	573	216
9	596	216
10	597	216
11	548	216

prune19.0ms (0.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	33	0	33
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	33	2	35

Error

Counts

35 → 2

Alt Table

Status	Error	Program
✓	0.5b	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
✓	9.8b	(fma.f64 x (-.f64 1/2 y) (log.f64 2))

Compiler

Compiled 367 to 282 computations (23.2% saved)

regimes38.0ms (0.7%)

Accuracy

Total 0.3b remaining (62.9%)

Threshold costs 0.3b (62.9%)

Counts

11 → 1

Compiler

Compiled 320 to 241 computations (24.7% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64`
4×	`*-commutative_binary64`
4×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	13	11
2	23	11
3	29	11
4	33	11
5	34	11
6	34	11

end40.0ms (0.7%)

Compiler: Compiled 36 to 25 computations (30.6% saved)

Iter	Nodes	Cost
0	17	308
1	40	252
2	75	216
3	125	216
4	180	216
5	302	216
6	374	216
7	491	216
8	573	216
9	596	216
10	597	216
11	548	216

Iter	Nodes	Cost
0	17	308
1	40	252
2	75	216
3	125	216
4	180	216
5	302	216
6	374	216
7	491	216
8	573	216
9	596	216
10	597	216
11	548	216

Details

analyze423.0ms (7.8%)

sample4.3s (79.1%)

simplify99.0ms (1.8%)

prune2.0ms (0%)

localize5.0ms (0.1%)

series218.0ms (4%)

rewrite60.0ms (1.1%)

simplify77.0ms (1.4%)

prune56.0ms (1%)

localize6.0ms (0.1%)

series13.0ms (0.2%)

rewrite40.0ms (0.7%)

simplify35.0ms (0.7%)

prune19.0ms (0.4%)

regimes38.0ms (0.7%)

simplify2.0ms (0%)

end40.0ms (0.7%)

Profiling

Iter	Nodes	Cost
0	17	308
1	40	252
2	75	216
3	125	216
4	180	216
5	302	216
6	374	216
7	491	216
8	573	216
9	596	216
10	597	216
11	548	216