Details

analyze487.0ms (12.6%)

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)

sample92.0ms (2.4%)

Algorithm

1×

intervals

Results

34.0ms	71×	body	1024	invalid
19.0ms	65×	body	1024	valid
9.0ms	33×	body	512	valid
8.0ms	148×	body	128	valid
4.0ms	28×	body	512	invalid
2.0ms	19×	body	256	invalid
1.0ms	21×	body	128	invalid
1.0ms	10×	body	256	valid

Compiler

Compiled 21 to 15 computations (28.6% saved)

simplify59.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

624×	`div-sub_binary64`
491×	`times-frac_binary64`
410×	`associate-/l*_binary64`
354×	`cancel-sign-sub-inv_binary64`
341×	`unsub-neg_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	16	11
2	34	11
3	73	11
4	157	11
5	344	11
6	932	11
7	2927	11
8	4087	11
9	5030	11

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

1 → 1

Alt Table

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

Compiler

Compiled 18 to 12 computations (33.3% saved)

localize5.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (sinh.f64 y) y)
0.0b	(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
0.0b	(sinh.f64 y)

rewrite40.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

24×	`add-sqr-sqrt_binary64`
19×	`times-frac_binary64`
19×	`*-un-lft-identity_binary64`
19×	`add-cube-cbrt_binary64`
13×	`associate-r_binary64`

Counts

3 → 68

Calls

3 calls:

5.0ms	(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
2.0ms	(/.f64 (sinh.f64 y) y)
1.0ms	(sinh.f64 y)

Compiler

Compiled 917 to 229 computations (75% saved)

series65.0ms (1.7%)

Error

0.0b

Counts

3 → 22

Calls

3 calls:

32.0ms	(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
11.0ms	(/.f64 (sinh.f64 y) y)
11.0ms	(sinh.f64 y)

Compiler

Compiled 928 to 631 computations (32% saved)

simplify119.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

454×	`associate-r_binary64`
316×	`associate-/l*_binary64`
290×	`div-sub_binary64`
282×	`associate-*r/_binary64`
269×	`times-frac_binary64`

Counts

90 → 39

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	178	1395
1	415	1276
2	1265	1204
3	3619	1204
4	4641	1204
5	4991	1204
6	4931	1204

prune13.0ms (0.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	38	1	39
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	38	2	40

Error

Counts

40 → 2

Alt Table

Status	Error	Program
▶	0.0b	(*.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3)))
✓	0.0b	(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))

Compiler

Compiled 365 to 154 computations (57.8% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3)))
0.0b	(sinh.f64 y)
0.0b	(cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3))
0.0b	(pow.f64 (/.f64 (sinh.f64 y) y) 3)

rewrite95.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

70×	`cbrt-prod_binary64`
66×	`add-sqr-sqrt_binary64`
56×	`times-frac_binary64`
51×	`*-un-lft-identity_binary64`
51×	`add-cube-cbrt_binary64`

Counts

4 → 153

Calls

4 calls:

13.0ms	(*.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3)))
3.0ms	(pow.f64 (/.f64 (sinh.f64 y) y) 3)
3.0ms	(cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3))
1.0ms	(sinh.f64 y)

Compiler

Compiled 2015 to 903 computations (55.2% saved)

series108.0ms (2.8%)

Error

Counts

4 → 28

Calls

4 calls:

44.0ms	(*.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3)))
17.0ms	(pow.f64 (/.f64 (sinh.f64 y) y) 3)
17.0ms	(cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3))
9.0ms	(sinh.f64 y)

Compiler

Compiled 1263 to 912 computations (27.8% saved)

simplify132.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

346×	`log-prod_binary64`
327×	`unswap-sqr_binary64`
246×	`associate-/l/_binary64`
214×	`log-div_binary64`
201×	`associate-r_binary64`

Counts

181 → 149

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	272	2936
1	651	2642
2	2227	2612
3	4447	2612
4	5065	2612

prune37.0ms (0.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

151 → 2

Alt Table

Status	Error	Program
	0.0b	(*.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3)))
	0.0b	(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))

Compiler

Compiled 1215 to 485 computations (60.1% saved)

regimes90.0ms (2.3%)

Accuracy

Total 0.0b remaining (17.2%)

Threshold costs 0.0b (17.2%)

Compiler

Compiled 1330 to 774 computations (41.8% saved)

simplify3.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 (64.8%)

Algorithm

1×

intervals

Results

643.0ms	1959×	body	1024	valid
629.0ms	2039×	body	1024	invalid
280.0ms	4564×	body	128	valid
177.0ms	972×	body	512	valid
156.0ms	933×	body	512	invalid
74.0ms	500×	body	256	valid
70.0ms	499×	body	256	invalid
40.0ms	662×	body	128	invalid
4.0ms	5×	body	2048	valid

Compiler

Compiled 42 to 30 computations (28.6% saved)

Details

analyze487.0ms (12.6%)

sample92.0ms (2.4%)

simplify59.0ms (1.5%)

prune1.0ms (0%)

localize5.0ms (0.1%)

rewrite40.0ms (1%)

series65.0ms (1.7%)

simplify119.0ms (3.1%)

prune13.0ms (0.3%)

localize8.0ms (0.2%)

rewrite95.0ms (2.5%)

series108.0ms (2.8%)

simplify132.0ms (3.4%)

prune37.0ms (0.9%)

regimes90.0ms (2.3%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample2.5s (64.8%)

Profiling