Details

analyze475.0ms (15.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
25%	62.5%	12.5%	4
25%	56.2%	18.8%	5
28.1%	50%	21.9%	6
29.7%	46.9%	23.5%	7
30.5%	45.3%	24.3%	8
30.8%	44.9%	24.3%	9
31.2%	44.5%	24.3%	10
31.3%	44.4%	24.3%	11
31.4%	44.3%	24.3%	12
31.4%	44.2%	24.3%	13
31.5%	44.2%	24.3%	14

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample2.2s (68.7%)

Results

878.0ms	2688×	body	1024	valid
617.0ms	1412×	body	512	valid
258.0ms	735×	body	256	valid
249.0ms	3161×	body	128	valid
127.0ms	260×	body	2048	valid

Compiler

Compiled 26 to 17 computations (34.6% saved)

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`1-exp_binary64`
1×	`expm1-def_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	12	8
2	13	8
3	11	8

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.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (exp.f64 x) (expm1.f64 x))

Compiler

Compiled 25 to 15 computations (40% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (exp.f64 x) (expm1.f64 x))

series8.0ms (0.3%)

Counts

1 → 12

Calls

1 calls:

8.0ms

(/.f64 (exp.f64 x) (expm1.f64 x))

rewrite77.0ms (2.5%)

Algorithm

2×	batch-egg-rewrite

Rules

477×	`log1p-expm1-u_binary64`
477×	`expm1-log1p-u_binary64`
334×	`unpow-prod-down_binary64`
258×	`log-prod_binary64`
241×	`prod-diff_binary64`

Counts

1 → 66

Calls

1 calls:

76.0ms

(/.f64 (exp.f64 x) (expm1.f64 x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	98	8
2	1250	8
3	4894	8
4	5321	8
0	0	0
1	0	0

simplify125.0ms (4%)

Algorithm

1×	egg-herbie

Rules

1111×	`fma-neg_binary64`
818×	`unswap-sqr_binary64`
754×	`fma-def_binary64`
462×	`cancel-sign-sub-inv_binary64`
454×	`neg-mul-1_binary64`

Counts

78 → 75

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	18	110
1	46	106
2	97	104
3	229	104
4	551	104
5	1141	104
6	1839	104
7	2317	104
8	3682	104
9	3797	104
10	4445	104
11	4865	104
12	4972	104
13	4805	104

prune37.0ms (1.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	74	1	75
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	74	2	76

Error

Counts

76 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (exp.f64 x) (expm1.f64 x))
▶	0.0b	(pow.f64 (/.f64 (expm1.f64 x) (exp.f64 x)) -1)

Compiler

Compiled 986 to 423 computations (57.1% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (/.f64 (expm1.f64 x) (exp.f64 x)) -1)
✓	0.0b	(/.f64 (expm1.f64 x) (exp.f64 x))

series25.0ms (0.8%)

Counts

2 → 24

Calls

2 calls:

18.0ms	(pow.f64 (/.f64 (expm1.f64 x) (exp.f64 x)) -1)
7.0ms	(/.f64 (expm1.f64 x) (exp.f64 x))

rewrite47.0ms (1.5%)

Algorithm

2×	batch-egg-rewrite

Rules

625×	`log1p-expm1-u_binary64`
625×	`expm1-log1p-u_binary64`
324×	`log-prod_binary64`
119×	`expm1-udef_binary64`
119×	`log1p-udef_binary64`

Counts

2 → 82

Calls

2 calls:

45.0ms	(pow.f64 (/.f64 (expm1.f64 x) (exp.f64 x)) -1)
45.0ms	(/.f64 (expm1.f64 x) (exp.f64 x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	140	16
2	1638	16
3	5026	16
0	0	0
1	0	0

simplify64.0ms (2%)

Algorithm

1×	egg-herbie

Rules

501×	`fma-def_binary64`
413×	`distribute-rgt-neg-in_binary64`
344×	`distribute-lft-neg-in_binary64`
290×	`associate-l_binary64`
271×	`cancel-sign-sub-inv_binary64`

Counts

106 → 98

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	33	226
1	90	222
2	223	216
3	650	208
4	2201	200
5	4642	200
6	4996	200

prune42.0ms (1.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	98	2	100

Error

Counts

100 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (exp.f64 x) (expm1.f64 x))
✓	0.0b	(pow.f64 (/.f64 (expm1.f64 x) (exp.f64 x)) -1)

Compiler

Compiled 1135 to 476 computations (58.1% saved)

regimes20.0ms (0.6%)

Accuracy

Total 0.0b remaining (0.7%)

Threshold costs 0.0b (0.7%)

Counts

7 → 1

Compiler

Compiled 176 to 121 computations (31.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	5	8

end38.0ms (1.2%)

Compiler: Compiled 26 to 18 computations (30.8% saved)

Details

analyze475.0ms (15.2%)

sample2.2s (68.7%)

simplify10.0ms (0.3%)

prune3.0ms (0.1%)

localize3.0ms (0.1%)

series8.0ms (0.3%)

rewrite77.0ms (2.5%)

simplify125.0ms (4%)

prune37.0ms (1.2%)

localize5.0ms (0.2%)

series25.0ms (0.8%)

rewrite47.0ms (1.5%)

simplify64.0ms (2%)

prune42.0ms (1.3%)

regimes20.0ms (0.6%)

simplify2.0ms (0.1%)

end38.0ms (1.2%)

Profiling