Details

analyze563.0ms (12%)

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 14 to 12 computations (14.3% saved)

sample92.0ms (2%)

Algorithm

1×

intervals

Results

51.0ms	138×	body	1024	valid
19.0ms	62×	body	512	valid
9.0ms	16×	body	2048	valid
3.0ms	22×	body	256	valid
1.0ms	18×	body	128	valid

Compiler

Compiled 28 to 24 computations (14.3% saved)

simplify546.0ms (11.7%)

Algorithm

1×	egg-herbie

Rules

1495×	`associate--r-_binary64`
691×	`sub-neg_binary64`
649×	`unsub-neg_binary64`
573×	`distribute-neg-in_binary64`
572×	`distribute-rgt-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	15
1	20	15
2	26	15
3	40	15
4	60	15
5	81	15
6	117	15
7	201	15
8	367	15
9	492	15
10	574	15
11	566	15
12	611	15
13	679	15
14	757	15
15	1012	15
16	1386	15
17	1468	15
18	1669	15
19	1689	15
20	1809	15
21	1809	15
22	2205	15
23	2255	15
24	2381	15
25	2413	15
26	2461	15
27	2481	15
28	2489	15
29	2489	15
30	2489	15
31	2825	15
32	2809	15
33	3107	15
34	3265	15
35	3351	15
36	3377	15
37	3393	15
38	3405	15
39	3441	15
40	3453	15
41	3457	15
42	3457	15
43	4783	15
44	4631	15
45	4697	15
46	4515	15

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

58.7b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	58.7b	(*.f64 1/2 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))

Compiler

Compiled 33 to 27 computations (18.2% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (+.f64 1 x) (-.f64 1 x))
5.2b	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

rewrite168.0ms (3.6%)

Algorithm

1×	rewrite-expression-head

Error

58.5b

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 → 91

Calls

2 calls:

8.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))
8.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

Compiler

Compiled 1373 to 1094 computations (20.3% saved)

series30.0ms (0.6%)

Error

Counts

2 → 13

Calls

2 calls:

12.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
10.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))

Compiler

Compiled 311 to 274 computations (11.9% saved)

simplify122.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

799×	`div-sub_binary64`
420×	`distribute-rgt-in_binary64`
334×	`distribute-lft-in_binary64`
329×	`associate-/l*_binary64`
189×	`associate-/l/_binary64`

Counts

104 → 91

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	140	2030
1	308	1938
2	708	1890
3	1689	1886
4	4218	1886
5	6099	1886

prune47.0ms (1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	90	1	91
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	91	1	92

Error

Counts

92 → 1

Alt Table

Status	Error	Program
▶	0b	(.f64 1/2 (+.f64 (+.f64 x x) (+.f64 (.f64 2/3 (pow.f64 x 3)) (*.f64 2/5 (pow.f64 x 5)))))

Compiler

Compiled 1112 to 875 computations (21.3% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite74.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

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

Counts

2 → 56

Calls

2 calls:

10.0ms	(*.f64 2/3 (pow.f64 x 3))
6.0ms	(*.f64 2/5 (pow.f64 x 5))

Compiler

Compiled 1125 to 833 computations (26% saved)

series19.0ms (0.4%)

Error

Counts

2 → 6

Calls

2 calls:

9.0ms	(*.f64 2/5 (pow.f64 x 5))
8.0ms	(*.f64 2/3 (pow.f64 x 3))

Compiler

Compiled 234 to 182 computations (22.2% saved)

simplify92.0ms (2%)

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.5%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	36	0	36
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	36	1	37

Error

Counts

37 → 1

Alt Table

Status	Error	Program
	0b	(.f64 1/2 (+.f64 (+.f64 x x) (+.f64 (.f64 2/3 (pow.f64 x 3)) (*.f64 2/5 (pow.f64 x 5)))))

Compiler

Compiled 454 to 332 computations (26.9% saved)

regimes196.0ms (4.2%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 3070 to 2484 computations (19.1% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	25
1	20	25
2	20	25

end1.0ms (0%)

Compiler: Compiled 18 to 14 computations (22.2% saved)

sample2.7s (57.4%)

Algorithm

1×

intervals

Results

1.6s	4080×	body	1024	valid
431.0ms	1967×	body	512	valid
217.0ms	385×	body	2048	valid
128.0ms	989×	body	256	valid
34.0ms	579×	body	128	valid

Compiler

Compiled 51 to 41 computations (19.6% saved)

Details

analyze563.0ms (12%)

sample92.0ms (2%)

simplify546.0ms (11.7%)

prune4.0ms (0.1%)

localize6.0ms (0.1%)

rewrite168.0ms (3.6%)

series30.0ms (0.6%)

simplify122.0ms (2.6%)

prune47.0ms (1%)

localize10.0ms (0.2%)

rewrite74.0ms (1.6%)

series19.0ms (0.4%)

simplify92.0ms (2%)

prune23.0ms (0.5%)

regimes196.0ms (4.2%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample2.7s (57.4%)

Profiling