Details

analyze416.0ms (8.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 (82.1%)

Results

2.5s	2547×	body	8192	exit
996.0ms	7642×	body	128	valid
132.0ms	206×	body	1024	valid
102.0ms	245×	body	512	valid
42.0ms	160×	body	256	valid
9.0ms	72×	body	128	invalid
4.0ms	3×	body	2048	valid

Compiler

Compiled 35 to 26 computations (25.7% saved)

simplify99.0ms (2.1%)

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

prune3.0ms (0.1%)

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 1 expressions with local error:

New	Error	Program
✓	0.5b	(log1p.f64 (exp.f64 x))

series149.0ms (3.1%)

Counts

1 → 12

Calls

1 calls:

149.0ms

(log1p.f64 (exp.f64 x))

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

2×	`expm1-log1p-u_binary64`
1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`

Counts

1 → 11

Calls

1 calls:

0.0ms

(log1p.f64 (exp.f64 x))

simplify98.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

745×	`fma-def_binary64`
663×	`fma-neg_binary64`
607×	`distribute-rgt-neg-in_binary64`
528×	`cancel-sign-sub-inv_binary64`
420×	`sub-neg_binary64`

Counts

23 → 19

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	31	178
1	58	165
2	107	159
3	277	153
4	828	153
5	1789	153
6	2980	153
7	4152	153
8	4517	153
9	4896	153
10	4837	153

prune11.0ms (0.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	18	1	19
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	2	20

Error

Counts

20 → 2

Alt Table

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

Compiler

Compiled 246 to 120 computations (51.2% saved)

localize5.0ms (0.1%)

prune1.0ms (0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

2 → 2

Alt Table

Status	Error	Program
✓	6.9b	(-.f64 (log.f64 2) (*.f64 x y))
✓	0.5b	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

Compiler

Compiled 17 to 12 computations (29.4% saved)

regimes17.0ms (0.4%)

Accuracy

Total 0.2b remaining (57.2%)

Threshold costs 0.2b (57.2%)

Counts

3 → 1

Compiler

Compiled 118 to 84 computations (28.8% saved)

simplify3.0ms (0.1%)

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

end39.0ms (0.8%)

Compiler: Compiled 35 to 24 computations (31.4% saved)

Details

analyze416.0ms (8.8%)

sample3.9s (82.1%)

simplify99.0ms (2.1%)

prune3.0ms (0.1%)

localize5.0ms (0.1%)

series149.0ms (3.1%)

rewrite1.0ms (0%)

simplify98.0ms (2.1%)

prune11.0ms (0.2%)

localize5.0ms (0.1%)

prune1.0ms (0%)

regimes17.0ms (0.4%)

simplify3.0ms (0.1%)

end39.0ms (0.8%)

Profiling