Details

analyze537.0ms (12%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
37.5%	62.5%	0%	4
43.7%	56.2%	0%	5
46.9%	53.1%	0%	6
48.4%	51.5%	0%	7
49.2%	50.8%	0%	8
49.6%	50.4%	0%	9
49.8%	50.2%	0%	10
49.9%	50.1%	0%	11
49.9%	50%	0%	12
50%	50%	0%	13
50%	49.9%	0%	14

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample131.0ms (2.9%)

Algorithm

1×

intervals

Results

81.0ms	71×	body	2048	valid
26.0ms	95×	body	1024	valid
9.0ms	53×	body	512	valid
3.0ms	3×	body	4096	valid
2.0ms	20×	body	256	valid
1.0ms	14×	body	128	valid

Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify17.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

cancel-sign-sub-inv_binary64×	`0` `1` `2` `3` `4` `5` `6` `7` `8` `9` `10` `11` `12` `13` `14` `15` `16` `17` `18` `19` `20` `21` `22` `23` `24` `25` `26` `27`
div-sub_binary64×	`0` `1` `2` `3` `4` `5` `6` `7` `8` `9` `10` `11` `12` `13` `14` `15` `16` `17` `18` `19` `20` `21` `22` `23` `24` `25` `26` `27`
unsub-neg_binary64×	`0` `1` `2` `3` `4` `5` `6` `7` `8` `9` `10` `11` `12` `13` `14` `15` `16` `17` `18` `19` `20` `21` `22`
sub-neg_binary64×	`0` `1` `2` `3` `4` `5` `6` `7` `8` `9` `10` `11` `12` `13` `14` `15` `16` `17` `18` `19` `20` `21`
associate-/l*_binary64×	`0` `1` `2` `3` `4` `5` `6` `7` `8` `9` `10` `11` `12` `13` `14` `15` `16` `17` `18` `19` `20`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	6
1	17	6
2	23	6
3	32	6
4	52	6
5	65	6
6	89	6
7	136	6
8	186	6
9	212	6
10	209	6
11	210	6
12	172	6

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

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0b	(tan.f64 (/.f64 x 2))

Compiler

Compiled 15 to 12 computations (20% saved)

localize3.0ms (0.1%)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 0b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune6.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Error

Counts

1 → 1

Alt Table

Status	Error	Program
	0b	(tan.f64 (/.f64 x 2))

Compiler

Compiled 5 to 4 computations (20% saved)

regimes16.0ms (0.4%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 46 to 34 computations (26.1% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	6
1	5	6

end1.0ms (0%)

Compiler: Compiled 5 to 4 computations (20% saved)

sample3.7s (83.7%)

Algorithm

1×

intervals

Results

2.1s	2028×	body	2048	valid
870.0ms	2999×	body	1024	valid
250.0ms	1474×	body	512	valid
88.0ms	757×	body	256	valid
80.0ms	95×	body	4096	valid
46.0ms	647×	body	128	valid

Compiler

Compiled 20 to 16 computations (20% saved)

Iter	Nodes	Cost
0	7	6
1	17	6
2	23	6
3	32	6
4	52	6
5	65	6
6	89	6
7	136	6
8	186	6
9	212	6
10	209	6
11	210	6
12	172	6

Iter	Nodes	Cost
0	7	6
1	17	6
2	23	6
3	32	6
4	52	6
5	65	6
6	89	6
7	136	6
8	186	6
9	212	6
10	209	6
11	210	6
12	172	6

Details

analyze537.0ms (12%)

sample131.0ms (2.9%)

simplify17.0ms (0.4%)

prune4.0ms (0.1%)

localize3.0ms (0.1%)

rewrite1.0ms (0%)

series0.0ms (0%)

simplify8.0ms (0.2%)

prune6.0ms (0.1%)

regimes16.0ms (0.4%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample3.7s (83.7%)

Profiling

Iter	Nodes	Cost
0	7	6
1	17	6
2	23	6
3	32	6
4	52	6
5	65	6
6	89	6
7	136	6
8	186	6
9	212	6
10	209	6
11	210	6
12	172	6