Details

analyze384.0ms (10%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	50%	50%	3
25%	25%	50%	4
37.5%	12.5%	50%	5
43.7%	6.2%	50%	6
46.9%	3.1%	50%	7
48.4%	1.6%	50%	8
49.2%	0.8%	50%	9
49.6%	0.4%	50%	10
49.8%	0.2%	50%	11
49.9%	0.1%	50%	12
49.9%	0%	50%	13
49.9%	0%	50%	14

Compiler

Compiled 10 to 8 computations (20% saved)

sample74.0ms (1.9%)

Algorithm

1×

intervals

Results

41.0ms	125×	body	1024	valid
10.0ms	57×	body	512	valid
9.0ms	19×	body	2048	valid
4.0ms	39×	body	256	valid
1.0ms	16×	body	128	valid

Compiler

Compiled 20 to 16 computations (20% saved)

simplify363.0ms (9.4%)

Algorithm

1×	egg-herbie

Rules

2648×	`associate--r-_binary64`
1079×	`distribute-rgt-in_binary64`
753×	`distribute-lft-in_binary64`
705×	`unsub-neg_binary64`
642×	`distribute-neg-in_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	18	12
2	26	12
3	38	12
4	64	12
5	82	12
6	123	12
7	219	12
8	360	12
9	441	12
10	505	12
11	673	12
12	1029	12
13	1080	12
14	1073	12
15	1086	12
16	1084	12
17	1084	12
18	2524	12
19	1534	12
20	1612	12
21	1620	12
22	1628	12
23	1628	12
24	1828	12
25	2320	12
26	2368	12
27	2342	12
28	2408	12
29	2452	12
30	2452	12
31	2540	12
32	2548	12
33	3248	12
34	3360	12
35	3320	12
36	3392	12
37	3416	12
38	3416	12
39	3440	12
40	6078	12

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

59.1b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	59.1b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 18 to 14 computations (22.2% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
6.6b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

rewrite142.0ms (3.7%)

Algorithm

1×	rewrite-expression-head

Error

58.7b

Rules

78×	`*-un-lft-identity_binary64`
52×	`add-sqr-sqrt_binary64`
48×	`times-frac_binary64`
30×	`log-prod_binary64`
25×	`add-cube-cbrt_binary64`

Counts

2 → 92

Calls

2 calls:

9.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
8.0ms	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 1251 to 969 computations (22.5% saved)

series28.0ms (0.7%)

Error

0.0b

Counts

2 → 14

Calls

2 calls:

10.0ms	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
8.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))

Compiler

Compiled 279 to 238 computations (14.7% saved)

simplify119.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

512×	`cancel-sign-sub-inv_binary64`
468×	`div-sub_binary64`
440×	`distribute-rgt-in_binary64`
332×	`distribute-lft-in_binary64`
225×	`sub-neg_binary64`

Counts

106 → 94

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	149	2054
1	351	1966
2	857	1915
3	2151	1911
4	4309	1911
5	5299	1911

prune44.0ms (1.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	93	1	94
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	93	2	95

Error

0.0b

Counts

95 → 2

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (-.f64 (.f64 -2 eps) (.f64 2/3 (pow.f64 eps 3))) (*.f64 2/5 (pow.f64 eps 5)))
✓	59.1b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 1060 to 816 computations (23% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.1b	(*.f64 2/5 (pow.f64 eps 5))
0.1b	(*.f64 2/3 (pow.f64 eps 3))

rewrite65.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

21×	`add-sqr-sqrt_binary64`
19×	`associate-r_binary64`
12×	`add-exp-log_binary64`
9×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
8×	`unpow-prod-down_binary64`

Counts

2 → 56

Calls

2 calls:

6.0ms	(*.f64 2/3 (pow.f64 eps 3))
5.0ms	(*.f64 2/5 (pow.f64 eps 5))

Compiler

Compiled 1029 to 832 computations (19.1% saved)

series22.0ms (0.6%)

Error

0.0b

Counts

2 → 6

Calls

2 calls:

11.0ms	(*.f64 2/3 (pow.f64 eps 3))
10.0ms	(*.f64 2/5 (pow.f64 eps 5))

Compiler

Compiled 208 to 169 computations (18.8% saved)

simplify91.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

693×	`associate-l_binary64`
638×	`associate-r_binary64`
491×	`log-prod_binary64`
372×	`sqr-pow_binary64`
331×	`exp-prod_binary64`

Counts

62 → 36

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	101	653
1	191	601
2	486	589
3	2208	589
4	3564	554
5	4805	554
6	4896	554

prune23.0ms (0.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	36	0	36
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	36	2	38

Error

0.0b

Counts

38 → 2

Alt Table

Status	Error	Program
	0.1b	(-.f64 (-.f64 (.f64 -2 eps) (.f64 2/3 (pow.f64 eps 3))) (*.f64 2/5 (pow.f64 eps 5)))
	59.1b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 421 to 337 computations (20% saved)

regimes160.0ms (4.2%)

Accuracy

Total 0.2b remaining (91.4%)

Threshold costs 0.2b (91.4%)

Compiler

Compiled 2491 to 1985 computations (20.3% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
6×	`sub-neg_binary64` `+-commutative_binary64`
4×	`neg-mul-1_binary64` `neg-sub0_binary64` `cancel-sign-sub-inv_binary64` `distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	22
1	29	22
2	43	22
3	51	22
4	57	22
5	59	22
6	57	22

end1.0ms (0%)

Compiler: Compiled 16 to 13 computations (18.8% saved)

sample2.3s (60.2%)

Algorithm

1×

intervals

Results

1.3s	3927×	body	1024	valid
380.0ms	2054×	body	512	valid
203.0ms	409×	body	2048	valid
111.0ms	1039×	body	256	valid
27.0ms	571×	body	128	valid

Compiler

Compiled 52 to 42 computations (19.2% saved)

Details

analyze384.0ms (10%)

sample74.0ms (1.9%)

simplify363.0ms (9.4%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite142.0ms (3.7%)

series28.0ms (0.7%)

simplify119.0ms (3.1%)

prune44.0ms (1.2%)

localize10.0ms (0.2%)

rewrite65.0ms (1.7%)

series22.0ms (0.6%)

simplify91.0ms (2.4%)

prune23.0ms (0.6%)

regimes160.0ms (4.2%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample2.3s (60.2%)

Profiling