Details

analyze529.0ms (9.6%)

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)

sample81.0ms (1.5%)

Algorithm

1×

intervals

Results

44.0ms	120×	body	1024	valid
13.0ms	65×	body	512	valid
10.0ms	18×	body	2048	valid
4.0ms	32×	body	256	valid
1.0ms	21×	body	128	valid

Compiler

Compiled 28 to 24 computations (14.3% saved)

simplify522.0ms (9.5%)

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

prune3.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.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	58.4b	(*.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)))

rewrite166.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

58.3b

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

Error

0.0b

Counts

2 → 14

Calls

2 calls:

11.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
9.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))

Compiler

Compiled 334 to 293 computations (12.3% saved)

simplify120.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

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

Counts

105 → 92

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	146	2061
1	325	1969
2	751	1921
3	1764	1917
4	4225	1917
5	5898	1917

prune50.0ms (0.9%)

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
	58.5b	(.f64 1/2 (+.f64 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 (.f64 x x)))) (log.f64 (+.f64 x 1))))
▶	0.0b	(.f64 1/2 (+.f64 (+.f64 x x) (+.f64 (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5))) (.f64 2/7 (pow.f64 x 7)))))

Status

Error

Program

58.5b

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

▶

0.0b

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

Compiler

Compiled 1183 to 930 computations (21.4% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite144.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

31×	`add-sqr-sqrt_binary64`
26×	`associate-r_binary64`
19×	`add-exp-log_binary64`
14×	`*-un-lft-identity_binary64`
14×	`add-cube-cbrt_binary64`

Counts

4 → 94

Calls

4 calls:

8.0ms	(+.f64 (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5))) (*.f64 2/7 (pow.f64 x 7)))
8.0ms	(*.f64 2/7 (pow.f64 x 7))
7.0ms	(*.f64 2/3 (pow.f64 x 3))
5.0ms	(*.f64 2/5 (pow.f64 x 5))

Compiler

Compiled 2598 to 1986 computations (23.6% saved)

series51.0ms (0.9%)

Error

0.0b

Counts

4 → 14

Calls

4 calls:

14.0ms	(+.f64 (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5))) (*.f64 2/7 (pow.f64 x 7)))
11.0ms	(*.f64 2/5 (pow.f64 x 5))
10.0ms	(*.f64 2/7 (pow.f64 x 7))
9.0ms	(*.f64 2/3 (pow.f64 x 3))

Compiler

Compiled 656 to 511 computations (22.1% saved)

simplify119.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

608×	`unswap-sqr_binary64`
388×	`*-commutative_binary64`
374×	`log-prod_binary64`
280×	`distribute-rgt-in_binary64`
265×	`distribute-lft-in_binary64`

Counts

108 → 59

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	170	1508
1	363	1405
2	1014	1351
3	2398	1351
4	4294	1341
5	4920	1341
6	4962	1341

prune49.0ms (0.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

61 → 2

Alt Table

Status	Error	Program
▶	58.5b	(.f64 1/2 (+.f64 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 (.f64 x x)))) (log.f64 (+.f64 x 1))))
✓	0.0b	(.f64 1/2 (+.f64 (+.f64 x x) (+.f64 (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5))) (.f64 2/7 (pow.f64 x 7)))))

Status

Error

Program

▶

58.5b

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

✓

0.0b

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

Compiler

Compiled 1176 to 894 computations (24% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite146.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

90×	`*-un-lft-identity_binary64`
60×	`times-frac_binary64`
60×	`log-prod_binary64`
50×	`add-sqr-sqrt_binary64`
37×	`add-cube-cbrt_binary64`

Counts

4 → 145

Calls

4 calls:

14.0ms	(+.f64 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 (*.f64 x x)))) (log.f64 (+.f64 x 1)))
10.0ms	(/.f64 (+.f64 x 1) (-.f64 1 (*.f64 x x)))
7.0ms	(log.f64 (/.f64 (+.f64 x 1) (-.f64 1 (*.f64 x x))))
3.0ms	(log.f64 (+.f64 x 1))

Compiler

Compiled 3323 to 2417 computations (27.3% saved)

series60.0ms (1.1%)

Error

0.0b

Counts

4 → 26

Calls

4 calls:

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

Compiler

Compiled 959 to 771 computations (19.6% saved)

simplify236.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

464×	`cancel-sign-sub-inv_binary64`
405×	`sub-neg_binary64`
271×	`distribute-rgt-in_binary64`
239×	`associate-+l+_binary64`
235×	`associate-l_binary64`

Counts

171 → 118

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	227	3654
1	503	3484
2	1323	3330
3	3607	3330
4	4949	3328
5	4974	3328
6	5000	3328
7	4865	3328

prune75.0ms (1.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	117	1	118
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	118	2	120

Error

0.0b

Counts

120 → 2

Alt Table

Status	Error	Program
✓	0.0b	(.f64 1/2 (+.f64 (+.f64 x x) (+.f64 (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5))) (.f64 2/7 (pow.f64 x 7)))))
▶	59.3b	(.f64 1/2 (exp.f64 (log.f64 (-.f64 (.f64 2 (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 (*.f64 x x)))))))

Status

Error

Program

✓

0.0b

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

▶

59.3b

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

Compiler

Compiled 2201 to 1625 computations (26.2% saved)

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.2b	(exp.f64 (log.f64 (-.f64 (.f64 2 (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 (.f64 x x))))))
3.8b	(log.f64 (-.f64 1 (*.f64 x x)))
5.3b	(log.f64 (+.f64 x 1))

rewrite55.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

12×	`log-prod_binary64`
10×	`*-un-lft-identity_binary64`
8×	`add-sqr-sqrt_binary64`
7×	`add-cube-cbrt_binary64`
6×	`log-div_binary64`

Counts

3 → 48

Calls

3 calls:

5.0ms	(exp.f64 (log.f64 (-.f64 (.f64 2 (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 (.f64 x x))))))
3.0ms	(log.f64 (+.f64 x 1))
3.0ms	(log.f64 (-.f64 1 (*.f64 x x)))

Compiler

Compiled 1217 to 929 computations (23.7% saved)

series62.0ms (1.1%)

Error

0.0b

Counts

3 → 19

Calls

3 calls:

20.0ms	(exp.f64 (log.f64 (-.f64 (.f64 2 (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 (.f64 x x))))))
14.0ms	(log.f64 (-.f64 1 (*.f64 x x)))
11.0ms	(log.f64 (+.f64 x 1))

Compiler

Compiled 993 to 831 computations (16.3% saved)

simplify104.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

494×	`distribute-rgt-out_binary64`
492×	`associate-l_binary64`
465×	`associate-r_binary64`
357×	`distribute-rgt-neg-in_binary64`
317×	`distribute-lft-neg-in_binary64`

Counts

67 → 44

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	177	1331
1	357	1143
2	880	1104
3	2631	1096
4	4743	1096
5	4936	1096

prune33.0ms (0.6%)

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

0.0b

Counts

46 → 2

Alt Table

Status	Error	Program
	0.0b	(.f64 1/2 (+.f64 (+.f64 x x) (+.f64 (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5))) (.f64 2/7 (pow.f64 x 7)))))
	59.3b	(.f64 1/2 (exp.f64 (log.f64 (-.f64 (.f64 2 (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 (*.f64 x x)))))))

Status

Error

Program

0.0b

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

59.3b

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

Compiler

Compiled 824 to 632 computations (23.3% saved)

regimes242.0ms (4.4%)

Accuracy

Total 0.1b remaining (57.6%)

Threshold costs 0.1b (57.6%)

Compiler

Compiled 3868 to 3146 computations (18.7% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
3×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	34
1	29	34
2	29	34

end1.0ms (0%)

Compiler: Compiled 24 to 20 computations (16.7% saved)

sample2.6s (46.8%)

Algorithm

1×

intervals

Results

1.4s	3971×	body	1024	valid
421.0ms	2011×	body	512	valid
222.0ms	405×	body	2048	valid
128.0ms	1017×	body	256	valid
35.0ms	596×	body	128	valid

Compiler

Compiled 81 to 67 computations (17.3% saved)

Details

analyze529.0ms (9.6%)

sample81.0ms (1.5%)

simplify522.0ms (9.5%)

prune3.0ms (0.1%)

localize6.0ms (0.1%)

rewrite166.0ms (3%)

series30.0ms (0.5%)

simplify120.0ms (2.2%)

prune50.0ms (0.9%)

localize14.0ms (0.3%)

rewrite144.0ms (2.6%)

series51.0ms (0.9%)

simplify119.0ms (2.2%)

prune49.0ms (0.9%)

localize10.0ms (0.2%)

rewrite146.0ms (2.7%)

series60.0ms (1.1%)

simplify236.0ms (4.3%)

prune75.0ms (1.4%)

localize11.0ms (0.2%)

rewrite55.0ms (1%)

series62.0ms (1.1%)

simplify104.0ms (1.9%)

prune33.0ms (0.6%)

regimes242.0ms (4.4%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample2.6s (46.8%)

Profiling