Details

analyze3.0ms (0.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
87.5%	12.5%	0%	4
93.7%	6.2%	0%	5
96.8%	3.1%	0%	6
98.4%	1.6%	0%	7
99.2%	0.8%	0%	8
99.6%	0.4%	0%	9
99.8%	0.2%	0%	10
99.9%	0.1%	0%	11
99.9%	0%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample760.0ms (65.5%)

Results

701.0ms

8256×

body

128

valid

Compiler

Compiled 26 to 20 computations (23.1% saved)

simplify38.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

476×	`fma-def_binary64`
327×	`fma-neg_binary64`
233×	`div-sub_binary64`
160×	`times-frac_binary64`
138×	`associate-/l/_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	11	10
2	15	10
3	21	10
4	28	10
5	38	10
6	48	10
7	62	10
8	81	10
9	100	10
10	121	10
11	143	10
12	206	10
13	289	10
14	355	10
15	476	10
16	635	10
17	689	10
18	784	10
19	800	10
20	721	10

prune1.0ms (0.1%)

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

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))

Compiler

Compiled 24 to 18 computations (25% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series2.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

2.0ms

(/.f64 (+.f64 x 1) (-.f64 1 x))

rewrite10.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`*-un-lft-identity_binary64`
28×	`add-sqr-sqrt_binary64`
24×	`times-frac_binary64`
13×	`add-cube-cbrt_binary64`
10×	`difference-of-squares_binary64`

Counts

1 → 52

Calls

1 calls:

6.0ms

(/.f64 (+.f64 x 1) (-.f64 1 x))

simplify72.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

823×	`fma-neg_binary64`
611×	`times-frac_binary64`
490×	`div-sub_binary64`
375×	`associate-/l*_binary64`
345×	`distribute-rgt-in_binary64`

Counts

64 → 86

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	106	1116
1	256	1045
2	672	1043
3	1830	1043
4	4209	1033
5	5700	1033

prune55.0ms (4.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	85	1	86
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	85	2	87

Error

Counts

87 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))
▶	0.8b	(expm1.f64 (log1p.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))

Compiler

Compiled 1315 to 996 computations (24.3% saved)

localize6.0ms (0.5%)

Local error

Found 3 expressions with local error:

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

series6.0ms (0.5%)

Counts

2 → 24

Calls

2 calls:

3.0ms	(expm1.f64 (log1p.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))
3.0ms	(log1p.f64 (/.f64 (+.f64 x 1) (-.f64 1 x)))

rewrite1.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 22

Calls

2 calls:

0.0ms	(log1p.f64 (/.f64 (+.f64 x 1) (-.f64 1 x)))
0.0ms	(expm1.f64 (log1p.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))

simplify53.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

981×	`fma-neg_binary64`
461×	`times-frac_binary64`
275×	`+-commutative_binary64`
270×	`fma-def_binary64`
261×	`associate-+l+_binary64`

Counts

46 → 64

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	92	704
1	231	627
2	624	623
3	1707	623
4	3622	619
5	5051	619

prune87.0ms (7.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	150	0	150
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	150	2	152

Error

Counts

152 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))
✓	0.8b	(expm1.f64 (log1p.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))

Compiler

Compiled 2337 to 1834 computations (21.5% saved)

regimes22.0ms (1.9%)

Accuracy

Total 0.0b remaining (16.7%)

Threshold costs 0.0b (16.7%)

Counts

13 → 1

Compiler

Compiled 164 to 136 computations (17.1% saved)

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	11	10
2	15	10
3	17	10
4	18	10
5	17	10

end39.0ms (3.3%)

Compiler: Compiled 34 to 26 computations (23.5% saved)

Iter	Nodes	Cost
0	6	10
1	11	10
2	15	10
3	21	10
4	28	10
5	38	10
6	48	10
7	62	10
8	81	10
9	100	10
10	121	10
11	143	10
12	206	10
13	289	10
14	355	10
15	476	10
16	635	10
17	689	10
18	784	10
19	800	10
20	721	10

Iter	Nodes	Cost
0	6	10
1	11	10
2	15	10
3	21	10
4	28	10
5	38	10
6	48	10
7	62	10
8	81	10
9	100	10
10	121	10
11	143	10
12	206	10
13	289	10
14	355	10
15	476	10
16	635	10
17	689	10
18	784	10
19	800	10
20	721	10

Details

analyze3.0ms (0.2%)

sample760.0ms (65.5%)

simplify38.0ms (3.3%)

prune1.0ms (0.1%)

localize4.0ms (0.3%)

series2.0ms (0.2%)

rewrite10.0ms (0.8%)

simplify72.0ms (6.2%)

prune55.0ms (4.7%)

localize6.0ms (0.5%)

series6.0ms (0.5%)

rewrite1.0ms (0.1%)

simplify53.0ms (4.6%)

prune87.0ms (7.5%)

regimes22.0ms (1.9%)

simplify2.0ms (0.2%)

end39.0ms (3.3%)

Profiling

Iter	Nodes	Cost
0	6	10
1	11	10
2	15	10
3	21	10
4	28	10
5	38	10
6	48	10
7	62	10
8	81	10
9	100	10
10	121	10
11	143	10
12	206	10
13	289	10
14	355	10
15	476	10
16	635	10
17	689	10
18	784	10
19	800	10
20	721	10