Details

analyze4.0ms (0.4%)

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)

sample707.0ms (69.7%)

Results

646.0ms

8256×

body

128

valid

Compiler

Compiled 26 to 20 computations (23.1% saved)

simplify40.0ms (3.9%)

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))

rewrite57.0ms (5.6%)

Algorithm

2×	batch-egg-rewrite

Rules

737×	`log1p-expm1-u_binary64`
737×	`expm1-log1p-u_binary64`
241×	`prod-diff_binary64`
69×	`add-sqr-sqrt_binary64`
65×	`add-log-exp_binary64`

Counts

1 → 35

Calls

1 calls:

56.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	136	10
2	1823	10
3	4988	10
0	0	0
1	0	0

simplify52.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

690×	`fma-neg_binary64`
689×	`distribute-neg-frac_binary64`
604×	`fma-def_binary64`
436×	`cancel-sign-sub-inv_binary64`
307×	`associate-/l/_binary64`

Counts

47 → 49

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	32	151
1	101	130
2	287	128
3	756	128
4	1839	124
5	3993	124
6	5048	124

prune78.0ms (7.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	48	1	49
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	48	2	50

Error

Counts

50 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))
▶	32.8b	(exp.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))

Compiler

Compiled 608 to 473 computations (22.2% saved)

localize5.0ms (0.5%)

prune1.0ms (0.1%)

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
✓	0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))
✓	32.8b	(exp.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))

Compiler

Compiled 16 to 12 computations (25% saved)

regimes23.0ms (2.2%)

Accuracy

Total 0.0b remaining (90.5%)

Threshold costs 0.0b (90.5%)

Counts

13 → 1

Compiler

Compiled 220 to 174 computations (20.9% 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

end38.0ms (3.8%)

Compiler: Compiled 32 to 24 computations (25% 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

analyze4.0ms (0.4%)

sample707.0ms (69.7%)

simplify40.0ms (3.9%)

prune1.0ms (0.1%)

localize4.0ms (0.3%)

series2.0ms (0.2%)

rewrite57.0ms (5.6%)

simplify52.0ms (5.1%)

prune78.0ms (7.7%)

localize5.0ms (0.5%)

prune1.0ms (0.1%)

regimes23.0ms (2.2%)

simplify2.0ms (0.2%)

end38.0ms (3.8%)

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