Details

analyze365.0ms (8.8%)

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)

sample82.0ms (2%)

Algorithm

1×

intervals

Results

52.0ms	133×	body	1024	valid
13.0ms	62×	body	512	valid
5.0ms	10×	body	2048	valid
4.0ms	34×	body	256	valid
1.0ms	17×	body	128	valid

Compiler

Compiled 20 to 16 computations (20% saved)

simplify349.0ms (8.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

prune1.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

58.9b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	58.9b	(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.4b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

rewrite102.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

58.6b

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:

6.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
5.0ms	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 1251 to 969 computations (22.5% saved)

series25.0ms (0.6%)

Error

Counts

2 → 14

Calls

2 calls:

12.0ms	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
6.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))

Compiler

Compiled 279 to 238 computations (14.7% saved)

simplify111.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

497×	`cancel-sign-sub-inv_binary64`
468×	`div-sub_binary64`
441×	`distribute-rgt-in_binary64`
339×	`distribute-lft-in_binary64`
230×	`sub-neg_binary64`

Counts

106 → 94

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	149	2054
1	349	1960
2	848	1915
3	2130	1911
4	4274	1911
5	5264	1911

prune35.0ms (0.8%)

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

Counts

95 → 2

Alt Table

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

Compiler

Compiled 1060 to 820 computations (22.6% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite64.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

22×	`add-sqr-sqrt_binary64`
19×	`associate-r_binary64`
13×	`add-exp-log_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-cube-cbrt_binary64`

Counts

3 → 67

Calls

3 calls:

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

Compiler

Compiled 1335 to 1085 computations (18.7% saved)

series28.0ms (0.7%)

Error

Counts

3 → 12

Calls

3 calls:

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

Compiler

Compiled 367 to 297 computations (19.1% saved)

simplify116.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

492×	`unswap-sqr_binary64`
425×	`cancel-sign-sub-inv_binary64`
403×	`distribute-rgt-neg-in_binary64`
358×	`*-commutative_binary64`
277×	`exp-prod_binary64`

Counts

79 → 44

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	119	981
1	260	917
2	715	905
3	1422	905
4	3315	868
5	4521	862
6	4852	862
7	4942	862

prune19.0ms (0.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	44	0	44
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	44	2	46

Error

Counts

46 → 2

Alt Table

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

Compiler

Compiled 543 to 436 computations (19.7% saved)

regimes100.0ms (2.4%)

Accuracy

Total 0.2b remaining (91.5%)

Threshold costs 0.2b (91.5%)

Compiler

Compiled 2025 to 1615 computations (20.2% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary64`
7×	`+-commutative_binary64`
6×	`sub-neg_binary64`
5×	`neg-sub0_binary64`
5×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	22
1	20	22
2	29	22
3	51	22
4	60	22
5	66	22
6	68	22
7	66	22

end1.0ms (0%)

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

sample2.7s (65.9%)

Algorithm

1×

intervals

Results

1.6s	4065×	body	1024	valid
436.0ms	2016×	body	512	valid
221.0ms	410×	body	2048	valid
155.0ms	979×	body	256	valid
32.0ms	530×	body	128	valid

Compiler

Compiled 52 to 42 computations (19.2% saved)

Details

analyze365.0ms (8.8%)

sample82.0ms (2%)

simplify349.0ms (8.4%)

prune1.0ms (0%)

localize5.0ms (0.1%)

rewrite102.0ms (2.5%)

series25.0ms (0.6%)

simplify111.0ms (2.7%)

prune35.0ms (0.8%)

localize8.0ms (0.2%)

rewrite64.0ms (1.5%)

series28.0ms (0.7%)

simplify116.0ms (2.8%)

prune19.0ms (0.5%)

regimes100.0ms (2.4%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample2.7s (65.9%)

Profiling