Details

analyze333.0ms (5.3%)

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
12.5%	87.4%	0.1%	4
18.7%	81.2%	0.1%	5
21.9%	78%	0.1%	6
50%	43.7%	6.3%	7
50%	43.7%	6.3%	8
56.2%	34.3%	9.5%	9
56.2%	34.3%	9.5%	10
59.3%	29.7%	11%	11
59.3%	29.7%	11%	12
60.9%	27.3%	11.8%	13
60.9%	27.3%	11.8%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample68.0ms (1.1%)

Algorithm

1×

intervals

Results

15.0ms	79×	body	1024	invalid
15.0ms	67×	body	1024	valid
7.0ms	143×	body	128	valid
5.0ms	32×	body	512	invalid
4.0ms	84×	body	128	invalid
4.0ms	30×	body	512	valid
2.0ms	16×	body	256	valid
1.0ms	13×	body	256	invalid
0.0ms	1×	body	2048	invalid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify153.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (55.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)

localize6.0ms (0.1%)

Local error

Found 6 expressions with local error:

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

rewrite18.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 68

Calls

6 calls:

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

series329.0ms (5.2%)

Counts

3 → 22

Calls

3 calls:

218.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
69.0ms	(/.f64 (sinh.f64 y) y)
43.0ms	(sinh.f64 y)

Compiler

Compiled 543 to 440 computations (19% saved)

simplify55.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4963	1217
1	4963	1217

prune71.0ms (1.1%)

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

Counts

91 → 3

Compiler

Compiled 1187 to 363 computations (69.4% saved)

localize11.0ms (0.2%)

Local error

Found 8 expressions with local error:

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

rewrite28.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

39×	`cbrt-prod_binary64_4542`
27×	`add-sqr-sqrt_binary64_4533` `times-frac_binary64_4517`
26×	`*-un-lft-identity_binary64_4511` `add-cube-cbrt_binary64_4546`
9×	`pow1_binary64_4572` `add-exp-log_binary64_4549`
7×	`add-cbrt-cube_binary64_4547` `cbrt-div_binary64_4543`
4×	`add-log-exp_binary64_4550` `associate-*r/_binary64_4453`
3×	`pow1/3_binary64_4593` `associate-l_binary64_4452` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `pow-prod-down_binary64_4582` `div-inv_binary64_4508`
1×	`unswap-sqr_binary64_4479` `associate-r_binary64_4451` `-commutative_binary64_4442` `associate-l/_binary64_4454` `frac-times_binary64_4521`

Counts

4 → 88

Calls

8 calls:

12.0ms	(.f64 (sin.f64 x) (.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) (cbrt.f64 (/.f64 (sinh.f64 y) y))))
2.0ms	(cbrt.f64 (/.f64 (sinh.f64 y) y))
2.0ms	(cbrt.f64 (/.f64 (sinh.f64 y) y))
2.0ms	(cbrt.f64 (/.f64 (sinh.f64 y) y))
0.0ms	(/.f64 (sinh.f64 y) y)

series1.3s (21.4%)

Counts

4 → 28

Calls

4 calls:

749.0ms	(.f64 (sin.f64 x) (.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) (cbrt.f64 (/.f64 (sinh.f64 y) y))))
205.0ms	(cbrt.f64 (/.f64 (sinh.f64 y) y))
200.0ms	(cbrt.f64 (/.f64 (sinh.f64 y) y))
193.0ms	(cbrt.f64 (/.f64 (sinh.f64 y) y))

Compiler

Compiled 1191 to 903 computations (24.2% saved)

simplify90.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4951	2027
1	4951	2027

prune103.0ms (1.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	116	0	116
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	116	3	119

Error

Counts

119 → 3

Compiler

Compiled 2932 to 704 computations (76% saved)

localize11.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.3b	(.f64 (/.f64 (sin.f64 x) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (sinh.f64 y) (cbrt.f64 y)))
0.3b	(/.f64 (sin.f64 x) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
0.2b	(/.f64 (sinh.f64 y) (cbrt.f64 y))
0.0b	(sinh.f64 y)
0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
0.7b	(cbrt.f64 y)
0.7b	(cbrt.f64 y)
0.7b	(cbrt.f64 y)

rewrite15.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_4542`
23×	`add-sqr-sqrt_binary64_4533`
15×	`*-un-lft-identity_binary64_4511` `add-cube-cbrt_binary64_4546`
11×	`pow1_binary64_4572`
9×	`pow1/3_binary64_4593`
6×	`add-exp-log_binary64_4549` `associate-l_binary64_4452` `associate-r_binary64_4451` `swap-sqr_binary64_4478`
4×	`add-cbrt-cube_binary64_4547` `unswap-sqr_binary64_4479` `add-log-exp_binary64_4550`
2×	`pow-prod-up_binary64_4581` `pow-sqr_binary64_4484` `pow-prod-down_binary64_4582`
1×	`pow-plus_binary64_4574` `pow2_binary64_4592` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `*-commutative_binary64_4442`

Counts

4 → 73

Calls

8 calls:

6.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
0.0ms	(sinh.f64 y)

series316.0ms (5%)

Counts

4 → 12

Calls

4 calls:

82.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
80.0ms	(cbrt.f64 y)
77.0ms	(cbrt.f64 y)
76.0ms	(cbrt.f64 y)

Compiler

Compiled 394 to 310 computations (21.3% saved)

simplify74.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4873	548
1	4873	548

prune59.0ms (0.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	85	3	88

Error

Counts

88 → 3

Compiler

Compiled 1410 to 364 computations (74.2% saved)

localize7.0ms (0.1%)

Local error

Found 6 expressions with local error:

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

rewrite15.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 49

Calls

6 calls:

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

series411.0ms (6.5%)

Counts

3 → 26

Calls

3 calls:

216.0ms	(/.f64 (*.f64 (sinh.f64 y) (sin.f64 x)) y)
150.0ms	(*.f64 (sinh.f64 y) (sin.f64 x))
45.0ms	(sinh.f64 y)

Compiler

Compiled 712 to 552 computations (22.5% saved)

simplify60.0ms (1%)

Algorithm

1×	egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	6384	1035

prune47.0ms (0.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

78 → 3

Compiler

Compiled 911 to 317 computations (65.2% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	84	249
1	84	249

regimes134.0ms (2.1%)

Compiler: Compiled 825 to 684 computations (17.1% saved)

bsearch0.0ms (0%)

regimes37.0ms (0.6%)

Compiler: Compiled 89 to 107 computations (-20.2% saved)

bsearch0.0ms (0%)

regimes35.0ms (0.6%)

Compiler: Compiled 59 to 80 computations (-35.6% saved)

bsearch0.0ms (0%)

regimes18.0ms (0.3%)

Compiler: Compiled 10 to 26 computations (-160% saved)

bsearch0.0ms (0%)

regimes14.0ms (0.2%)

Accuracy

Total 0.0b remaining (61.4%)

Threshold costs 0.0b (61.4%)

Compiler

Compiled 8 to 20 computations (-150% saved)

bsearch3.0ms (0%)

Compiler: Compiled 21 to 24 computations (-14.3% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	31
1	19	31

end0.0ms (0%)

sample2.4s (38.3%)

Algorithm

1×

intervals

Results

436.0ms	2022×	body	1024	valid
429.0ms	4454×	body	128	valid
394.0ms	1900×	body	1024	invalid
146.0ms	1015×	body	512	valid
143.0ms	976×	body	512	invalid
134.0ms	2475×	body	128	invalid
50.0ms	482×	body	256	invalid
50.0ms	502×	body	256	valid
3.0ms	7×	body	2048	valid
0.0ms	1×	body	2048	invalid

Compiler

Compiled 188 to 163 computations (13.3% saved)

Pareto

0.49313062961078485

Details

analyze333.0ms (5.3%)

sample68.0ms (1.1%)

simplify153.0ms (2.4%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite18.0ms (0.3%)

series329.0ms (5.2%)

simplify55.0ms (0.9%)

prune71.0ms (1.1%)

localize11.0ms (0.2%)

rewrite28.0ms (0.5%)

series1.3s (21.4%)

simplify90.0ms (1.4%)

prune103.0ms (1.6%)

localize11.0ms (0.2%)

rewrite15.0ms (0.2%)

series316.0ms (5%)

simplify74.0ms (1.2%)

prune59.0ms (0.9%)

localize7.0ms (0.1%)

rewrite15.0ms (0.2%)

series411.0ms (6.5%)

simplify60.0ms (1%)

prune47.0ms (0.7%)

simplify6.0ms (0.1%)

regimes134.0ms (2.1%)

bsearch0.0ms (0%)

regimes37.0ms (0.6%)

bsearch0.0ms (0%)

regimes35.0ms (0.6%)

bsearch0.0ms (0%)

regimes18.0ms (0.3%)

bsearch0.0ms (0%)

regimes14.0ms (0.2%)

bsearch3.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample2.4s (38.3%)

Profiling