Details

analyze485.0ms (7.1%)

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)

sample89.0ms (1.3%)

Algorithm

1×

intervals

Results

53.0ms	133×	body	1024	valid
15.0ms	62×	body	512	valid
6.0ms	34×	body	256	valid
6.0ms	10×	body	2048	valid
1.0ms	17×	body	128	valid

Compiler

Compiled 28 to 24 computations (14.3% saved)

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

prune2.0ms (0%)

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

Counts

2 → 1

Alt Table

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

rewrite153.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

58.8b

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:

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

Compiler

Compiled 1373 to 1094 computations (20.3% saved)

series22.0ms (0.3%)

Error

0.0b

Counts

2 → 14

Calls

2 calls:

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

Compiler

Compiled 334 to 293 computations (12.3% saved)

simplify142.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

696×	`div-sub_binary64`
423×	`distribute-rgt-in_binary64`
330×	`associate-/l*_binary64`
329×	`distribute-lft-in_binary64`
189×	`associate-/l/_binary64`

Counts

105 → 92

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	145	2055
1	326	1966
2	762	1921
3	1795	1917
4	4256	1917
5	5929	1917

prune45.0ms (0.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

93 → 2

Alt Table

Status	Error	Program
▶	0.3b	(.f64 1/2 (+.f64 (+.f64 (+.f64 x x) (.f64 2/3 (pow.f64 x 3))) (*.f64 2/5 (pow.f64 x 5))))
	61.2b	(*.f64 1/2 (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x)))) (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 1 (sqrt.f64 x))))))

Status

Error

Program

▶

0.3b

(*.f64 1/2 (+.f64 (+.f64 (+.f64 x x) (*.f64 2/3 (pow.f64 x 3))) (*.f64 2/5 (pow.f64 x 5))))

61.2b

(*.f64 1/2 (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x)))) (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 1 (sqrt.f64 x))))))

Compiler

Compiled 1183 to 932 computations (21.2% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite48.0ms (0.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×	`*-un-lft-identity_binary64`
9×	`add-cube-cbrt_binary64`

Counts

2 → 56

Calls

2 calls:

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

Compiler

Compiled 1125 to 833 computations (26% saved)

series14.0ms (0.2%)

Error

0.0b

Counts

2 → 6

Calls

2 calls:

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

Compiler

Compiled 234 to 182 computations (22.2% saved)

simplify85.0ms (1.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

prune17.0ms (0.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

38 → 2

Alt Table

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

Status

Error

Program

✓

0.3b

(*.f64 1/2 (+.f64 (+.f64 (+.f64 x x) (*.f64 2/3 (pow.f64 x 3))) (*.f64 2/5 (pow.f64 x 5))))

▶

61.2b

(*.f64 1/2 (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x)))) (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 1 (sqrt.f64 x))))))

Compiler

Compiled 502 to 370 computations (26.3% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x)))
5.6b	(+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x)))) (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 1 (sqrt.f64 x)))))
6.8b	(log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x))))
7.0b	(log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 1 (sqrt.f64 x))))

rewrite242.0ms (3.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

320×	`*-un-lft-identity_binary64`
232×	`add-sqr-sqrt_binary64`
231×	`times-frac_binary64`
220×	`log-prod_binary64`
200×	`sqrt-prod_binary64`

Counts

4 → 322

Calls

4 calls:

23.0ms	(+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x)))) (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 1 (sqrt.f64 x)))))
9.0ms	(log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 1 (sqrt.f64 x))))
8.0ms	(/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x)))
7.0ms	(log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x))))

Compiler

Compiled 7213 to 5460 computations (24.3% saved)

series66.0ms (1%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

27.0ms	(+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x)))) (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 1 (sqrt.f64 x)))))
15.0ms	(log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x))))
14.0ms	(log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 1 (sqrt.f64 x))))
9.0ms	(/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x)))

Compiler

Compiled 1053 to 814 computations (22.7% saved)

simplify306.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

389×	`times-frac_binary64`
299×	`sub-neg_binary64`
287×	`associate-+l+_binary64`
272×	`associate-+l-_binary64`
249×	`distribute-rgt-in_binary64`

Counts

334 → 272

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	274	10099
1	549	9867
2	1515	9508
3	4188	9508
4	4886	9508
5	5007	9508

prune89.0ms (1.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	271	1	272
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	272	2	274

Error

Counts

274 → 2

Alt Table

Status	Error	Program
▶	61.2b	(*.f64 1/2 (+.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x)))) 3)) (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 1 (sqrt.f64 x))))))
✓	0.3b	(.f64 1/2 (+.f64 (+.f64 (+.f64 x x) (.f64 2/3 (pow.f64 x 3))) (*.f64 2/5 (pow.f64 x 5))))

Status

Error

Program

▶

61.2b

(*.f64 1/2 (+.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x)))) 3)) (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 1 (sqrt.f64 x))))))

✓

0.3b

(*.f64 1/2 (+.f64 (+.f64 (+.f64 x x) (*.f64 2/3 (pow.f64 x 3))) (*.f64 2/5 (pow.f64 x 5))))

Compiler

Compiled 4093 to 3104 computations (24.2% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(cbrt.f64 (pow.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x)))) 3))
5.6b	(+.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x)))) 3)) (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 1 (sqrt.f64 x)))))
6.8b	(log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x))))
7.0b	(log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 1 (sqrt.f64 x))))

rewrite188.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

217×	`*-un-lft-identity_binary64`
182×	`add-sqr-sqrt_binary64`
179×	`log-prod_binary64`
161×	`times-frac_binary64`
141×	`sqrt-prod_binary64`

Counts

4 → 238

Calls

4 calls:

19.0ms	(+.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x)))) 3)) (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 1 (sqrt.f64 x)))))
10.0ms	(log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 1 (sqrt.f64 x))))
7.0ms	(log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x))))
2.0ms	(cbrt.f64 (pow.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x)))) 3))

Compiler

Compiled 5865 to 4547 computations (22.5% saved)

series72.0ms (1.1%)

Error

Counts

4 → 12

Calls

4 calls:

26.0ms	(+.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x)))) 3)) (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 1 (sqrt.f64 x)))))
15.0ms	(log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x))))
15.0ms	(cbrt.f64 (pow.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x)))) 3))
14.0ms	(log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 1 (sqrt.f64 x))))

Compiler

Compiled 1158 to 899 computations (22.4% saved)

simplify292.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

601×	`sub-neg_binary64`
291×	`cancel-sign-sub-inv_binary64`
210×	`times-frac_binary64`
196×	`associate-l_binary64`
189×	`distribute-neg-in_binary64`

Counts

250 → 212

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	256	7742
1	476	7475
2	1250	7135
3	3218	7135
4	4367	7121
5	4809	7121
6	4902	7121

prune64.0ms (0.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

214 → 2

Alt Table

Status	Error	Program
	61.2b	(*.f64 1/2 (+.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x)))) 3)) (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 1 (sqrt.f64 x))))))
	0.3b	(.f64 1/2 (+.f64 (+.f64 (+.f64 x x) (.f64 2/3 (pow.f64 x 3))) (*.f64 2/5 (pow.f64 x 5))))

Status

Error

Program

61.2b

(*.f64 1/2 (+.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (+.f64 1 (sqrt.f64 x)))) 3)) (log.f64 (/.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 1 (sqrt.f64 x))))))

0.3b

(*.f64 1/2 (+.f64 (+.f64 (+.f64 x x) (*.f64 2/3 (pow.f64 x 3))) (*.f64 2/5 (pow.f64 x 5))))

Compiler

Compiled 2958 to 2266 computations (23.4% saved)

regimes514.0ms (7.6%)

Accuracy

Total 0.1b remaining (50%)

Threshold costs 0.1b (50%)

Compiler

Compiled 13893 to 11271 computations (18.9% saved)

simplify3.0ms (0%)

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)

sample3.4s (49.3%)

Algorithm

1×

intervals

Results

1.7s	4065×	body	1024	valid
966.0ms	2016×	body	512	valid
259.0ms	411×	body	2048	valid
138.0ms	978×	body	256	valid
36.0ms	530×	body	128	valid

Compiler

Compiled 78 to 63 computations (19.2% saved)

Details

analyze485.0ms (7.1%)

sample89.0ms (1.3%)

simplify476.0ms (7%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite153.0ms (2.2%)

series22.0ms (0.3%)

simplify142.0ms (2.1%)

prune45.0ms (0.7%)

localize10.0ms (0.1%)

rewrite48.0ms (0.7%)

series14.0ms (0.2%)

simplify85.0ms (1.2%)

prune17.0ms (0.3%)

localize12.0ms (0.2%)

rewrite242.0ms (3.6%)

series66.0ms (1%)

simplify306.0ms (4.5%)

prune89.0ms (1.3%)

localize15.0ms (0.2%)

rewrite188.0ms (2.8%)

series72.0ms (1.1%)

simplify292.0ms (4.3%)

prune64.0ms (0.9%)

regimes514.0ms (7.6%)

simplify3.0ms (0%)

end1.0ms (0%)

sample3.4s (49.3%)

Profiling