Details

analyze839.0ms (10%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4854	22
1	4854	22
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	3
12.5%	87.4%	0.1%	4
12.5%	87.4%	0.1%	4
18.7%	81.2%	0.1%	5
18.7%	81.2%	0.1%	5
21.9%	78%	0.1%	6
21.9%	78%	0.1%	6
50%	43.7%	6.3%	7
50%	43.7%	6.3%	7
50%	43.7%	6.3%	8
50%	43.7%	6.3%	8
56.2%	34.3%	9.5%	9
56.2%	34.3%	9.5%	9
56.2%	34.3%	9.5%	10
56.2%	34.3%	9.5%	10
59.3%	29.7%	11%	11
59.3%	29.7%	11%	11
59.3%	29.7%	11%	12
59.3%	29.7%	11%	12
60.9%	27.3%	11.8%	13
60.9%	27.3%	11.8%	13
60.9%	27.3%	11.8%	14
60.9%	27.3%	11.8%	14

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample928.0ms (11.1%)

Algorithm

2×

intervals

Results

27.0ms	135×	body	1024	invalid
26.0ms	121×	body	1024	valid
16.0ms	279×	body	128	invalid
15.0ms	301×	body	128	valid
9.0ms	62×	body	512	valid
8.0ms	52×	body	512	invalid
4.0ms	37×	body	256	invalid
3.0ms	27×	body	256	valid
0.0ms	1×	body	2048	valid

Compiler

Compiled 4071 to 4578 computations (-12.5% saved)

simplify57.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5030	11

prune2.0ms (0%)

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

0.0b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite74.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

24×	`add-sqr-sqrt_binary64_4533`
19×	`add-cube-cbrt_binary64_4546` `*-un-lft-identity_binary64_4511` `times-frac_binary64_4517`
13×	`associate-r_binary64_4451`
10×	`add-exp-log_binary64_4549` `add-cbrt-cube_binary64_4547`
5×	`pow1_binary64_4572`
3×	`add-log-exp_binary64_4550` `associate-l_binary64_4452` `associate-/l_binary64_4456` `associate-/r_binary64_4455`
2×	`div-exp_binary64_4562` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `cbrt-undiv_binary64_4545` `unswap-sqr_binary64_4479` `div-inv_binary64_4508` `sinh-def_binary64_4696`
1×	`pow-prod-down_binary64_4582` `associate-r/_binary64_4453` `-commutative_binary64_4442` `frac-2neg_binary64_4522` `clear-num_binary64_4510` `associate-/l/_binary64_4458`

Counts

3 → 68

Calls

3 calls:

8.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
3.0ms	(/.f64 (sinh.f64 y) y)
1.0ms	(sinh.f64 y)

Compiler

Compiled 942 to 236 computations (74.9% saved)

series541.0ms (6.5%)

Error

0.0b

Counts

3 → 22

Calls

3 calls:

333.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
117.0ms	(/.f64 (sinh.f64 y) y)
68.0ms	(sinh.f64 y)

Compiler

Compiled 897 to 646 computations (28% saved)

simplify54.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4963	1217
1	4963	1217

prune71.0ms (0.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	87	3	90
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	88	3	91

Error

0.0b

Counts

91 → 3

Compiler

Compiled 1176 to 360 computations (69.4% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (/.f64 (sinh.f64 y) y))
0.0b	(.f64 (.f64 (sin.f64 x) (sqrt.f64 (/.f64 (sinh.f64 y) y))) (sqrt.f64 (/.f64 (sinh.f64 y) y)))
0.0b	(sinh.f64 y)
0.0b	(sinh.f64 y)

rewrite99.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

26×	`sqrt-prod_binary64_4527`
22×	`add-sqr-sqrt_binary64_4533`
19×	`add-cube-cbrt_binary64_4546` `*-un-lft-identity_binary64_4511` `times-frac_binary64_4517`
16×	`associate-r_binary64_4451`
10×	`pow1_binary64_4572`
9×	`add-exp-log_binary64_4549` `add-cbrt-cube_binary64_4547`
5×	`sqrt-div_binary64_4528`
4×	`add-log-exp_binary64_4550`
3×	`pow-prod-down_binary64_4582` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `associate-*r/_binary64_4453`
2×	`sinh-def_binary64_4696` `div-inv_binary64_4508` `rem-sqrt-square_binary64_4524`
1×	`frac-times_binary64_4521` `associate-l/_binary64_4454` `associate-l_binary64_4452` `-commutative_binary64_4442` `pow1/2_binary64_4591` `sqrt-pow1_binary64_4529`

Counts

4 → 75

Calls

4 calls:

15.0ms	(.f64 (.f64 (sin.f64 x) (sqrt.f64 (/.f64 (sinh.f64 y) y))) (sqrt.f64 (/.f64 (sinh.f64 y) y)))
3.0ms	(sqrt.f64 (/.f64 (sinh.f64 y) y))
1.0ms	(sinh.f64 y)
1.0ms	(sinh.f64 y)

Compiler

Compiled 1611 to 289 computations (82.1% saved)

series631.0ms (7.5%)

Error

0.0b

Counts

4 → 28

Calls

4 calls:

345.0ms	(.f64 (.f64 (sin.f64 x) (sqrt.f64 (/.f64 (sinh.f64 y) y))) (sqrt.f64 (/.f64 (sinh.f64 y) y)))
123.0ms	(sqrt.f64 (/.f64 (sinh.f64 y) y))
68.0ms	(sinh.f64 y)
65.0ms	(sinh.f64 y)

Compiler

Compiled 1621 to 1104 computations (31.9% saved)

simplify54.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5039	1591

prune88.0ms (1.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	102	1	103
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	103	3	106

Error

Counts

106 → 3

Compiler

Compiled 1901 to 496 computations (73.9% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sinh.f64 y)
0.0b	(sinh.f64 y)
0.0b	(.f64 (.f64 (sin.f64 x) (sqrt.f64 (/.f64 (sinh.f64 y) y))) (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y)) 3)))
0.0b	(pow.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y)) 3)

rewrite216.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

52×	`sqrt-prod_binary64_4527`
41×	`associate-r_binary64_4451`
39×	`add-cube-cbrt_binary64_4546` `add-sqr-sqrt_binary64_4533` `*-un-lft-identity_binary64_4511`
38×	`cbrt-prod_binary64_4542`
36×	`times-frac_binary64_4517`
32×	`unpow-prod-down_binary64_4590` `cube-prod_binary64_4539`
11×	`pow1_binary64_4572`
10×	`add-exp-log_binary64_4549`
8×	`add-cbrt-cube_binary64_4547`
5×	`sqrt-div_binary64_4528`
4×	`div-inv_binary64_4508` `add-log-exp_binary64_4550`
3×	`pow-unpow_binary64_4588` `pow-pow_binary64_4583` `cube-div_binary64_4540` `pow-prod-down_binary64_4582` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `associate-*r/_binary64_4453`
2×	`unpow3_binary64_4577` `cube-mult_binary64_4541` `sqr-pow_binary64_4483` `cbrt-div_binary64_4543` `sinh-def_binary64_4696`
1×	`pow1/2_binary64_4591` `sqrt-pow1_binary64_4529` `pow-to-exp_binary64_4580` `pow-exp_binary64_4579` `rem-cube-cbrt_binary64_4534` `sqrt-pow2_binary64_4530` `frac-times_binary64_4521` `associate-l/_binary64_4454` `associate-l_binary64_4452` `-commutative_binary64_4442`

Counts

4 → 128

Calls

4 calls:

25.0ms	(.f64 (.f64 (sin.f64 x) (sqrt.f64 (/.f64 (sinh.f64 y) y))) (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y)) 3)))
6.0ms	(pow.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y)) 3)
1.0ms	(sinh.f64 y)
1.0ms	(sinh.f64 y)

Compiler

Compiled 3389 to 1091 computations (67.8% saved)

series866.0ms (10.3%)

Error

Counts

4 → 28

Calls

4 calls:

389.0ms	(.f64 (.f64 (sin.f64 x) (sqrt.f64 (/.f64 (sinh.f64 y) y))) (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y)) 3)))
312.0ms	(pow.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y)) 3)
66.0ms	(sinh.f64 y)
62.0ms	(sinh.f64 y)

Compiler

Compiled 1931 to 1366 computations (29.3% saved)

simplify72.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5152	2728

prune178.0ms (2.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	156	0	156
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	156	3	159

Error

Counts

159 → 3

Compiler

Compiled 3355 to 1097 computations (67.3% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(sinh.f64 y)
0.1b	(*.f64 (sin.f64 x) (sinh.f64 y))
16.3b	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) y)

rewrite48.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

10×	`add-exp-log_binary64_4549` `add-cbrt-cube_binary64_4547`
9×	`add-sqr-sqrt_binary64_4533`
7×	`add-cube-cbrt_binary64_4546` `*-un-lft-identity_binary64_4511`
5×	`pow1_binary64_4572`
3×	`add-log-exp_binary64_4550` `times-frac_binary64_4517` `sinh-def_binary64_4696` `associate-/r_binary64_4455` `associate-l_binary64_4452` `associate-r*_binary64_4451`
2×	`prod-exp_binary64_4560` `div-exp_binary64_4562` `cbrt-undiv_binary64_4545` `cbrt-unprod_binary64_4544` `associate-*r/_binary64_4453`
1×	`frac-2neg_binary64_4522` `clear-num_binary64_4510` `div-inv_binary64_4508` `associate-/l/_binary64_4458` `associate-/l_binary64_4456` `pow-prod-down_binary64_4582` `unswap-sqr_binary64_4479` `-commutative_binary64_4442`

Counts

3 → 49

Calls

3 calls:

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

Compiler

Compiled 621 to 170 computations (72.6% saved)

series641.0ms (7.6%)

Error

Counts

3 → 26

Calls

3 calls:

309.0ms	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) y)
238.0ms	(*.f64 (sin.f64 x) (sinh.f64 y))
69.0ms	(sinh.f64 y)

Compiler

Compiled 1161 to 782 computations (32.6% saved)

simplify55.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5318	1055

prune56.0ms (0.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	74	1	75
Fresh	1	0	1
Picked	1	0	1
Done	0	1	1
Total	76	2	78

Error

Counts

78 → 2

Compiler

Compiled 923 to 327 computations (64.6% saved)

regimes245.0ms (2.9%)

Accuracy

Total 0.0b remaining (33.6%)

Threshold costs 0.0b (33.6%)

Compiler

Compiled 2086 to 1322 computations (36.6% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	7	11

end0.0ms (0%)

sample2.5s (30.2%)

Algorithm

1×

intervals

Results

425.0ms	2024×	body	1024	valid
384.0ms	2016×	body	1024	invalid
230.0ms	4478×	body	128	valid
222.0ms	4457×	body	128	invalid
145.0ms	1036×	body	512	valid
132.0ms	960×	body	512	invalid
56.0ms	492×	body	256	invalid
48.0ms	458×	body	256	valid
2.0ms	4×	body	2048	valid

Compiler

Compiled 377 to 245 computations (35% saved)

Details

analyze839.0ms (10%)

sample928.0ms (11.1%)

simplify57.0ms (0.7%)

prune2.0ms (0%)

localize10.0ms (0.1%)

rewrite74.0ms (0.9%)

series541.0ms (6.5%)

simplify54.0ms (0.6%)

prune71.0ms (0.8%)

localize8.0ms (0.1%)

rewrite99.0ms (1.2%)

series631.0ms (7.5%)

simplify54.0ms (0.6%)

prune88.0ms (1.1%)

localize11.0ms (0.1%)

rewrite216.0ms (2.6%)

series866.0ms (10.3%)

simplify72.0ms (0.9%)

prune178.0ms (2.1%)

localize6.0ms (0.1%)

rewrite48.0ms (0.6%)

series641.0ms (7.6%)

simplify55.0ms (0.7%)

prune56.0ms (0.7%)

regimes245.0ms (2.9%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample2.5s (30.2%)

Profiling