Details

analyze434.0ms (13.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
37.5%	50%	12.6%	7
37.5%	50%	12.6%	8
43.7%	37.5%	18.8%	9
43.7%	37.5%	18.8%	10
46.8%	31.2%	22%	11
46.8%	31.2%	22%	12
48.4%	28.1%	23.5%	13
48.4%	28.1%	23.5%	14

Compiler

Compiled 10 to 7 computations (30% saved)

sample129.0ms (4.1%)

Algorithm

1×

intervals

Results

21.0ms	70×	body	1024	valid
17.0ms	59×	body	1024	invalid
8.0ms	143×	body	128	valid
7.0ms	22×	body	512	invalid
4.0ms	16×	body	256	invalid
4.0ms	28×	body	512	valid
2.0ms	15×	body	256	valid
1.0ms	21×	body	128	invalid

Compiler

Compiled 21 to 15 computations (28.6% saved)

simplify53.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

804×	`fma-neg_binary64`
610×	`div-sub_binary64`
491×	`times-frac_binary64`
410×	`associate-/l*_binary64`
352×	`cancel-sign-sub-inv_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	16	11
2	34	11
3	73	11
4	160	11
5	361	11
6	984	11
7	3177	11
8	4701	11
9	5010	11

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0b	(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize5.0ms (0.2%)

prune1.0ms (0%)

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	(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))

Compiler

Compiled 18 to 12 computations (33.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	8	11
2	8	11

end0.0ms (0%)

Compiler: Compiled 9 to 6 computations (33.3% saved)

sample2.5s (80.1%)

Algorithm

1×

intervals

Results

668.0ms	2002×	body	1024	valid
614.0ms	1961×	body	1024	invalid
263.0ms	4512×	body	128	valid
168.0ms	990×	body	512	valid
156.0ms	950×	body	512	invalid
61.0ms	519×	body	256	invalid
58.0ms	491×	body	256	valid
49.0ms	759×	body	128	invalid
6.0ms	5×	body	2048	valid

Compiler

Compiled 30 to 21 computations (30% saved)

Details

analyze434.0ms (13.8%)

sample129.0ms (4.1%)

simplify53.0ms (1.7%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

prune1.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample2.5s (80.1%)

Profiling