Details

analyze475.0ms (9.5%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4948	22
1	4948	22
0	2	2
1	2	2

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
25%	74.9%	0.1%	5
43.7%	56.2%	0.1%	6
43.7%	46.8%	9.5%	7
46.8%	42.1%	11%	8
46.8%	36.7%	16.5%	9
48.4%	34%	17.7%	10
48.4%	31%	20.6%	11
49.2%	29.6%	21.3%	12
49.2%	28%	22.8%	13
49.6%	27.3%	23.1%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample46.0ms (0.9%)

Algorithm

1×

intervals

Results

9.0ms	48×	body	1024	invalid
9.0ms	194×	body	128	valid
5.0ms	21×	body	1024	valid
4.0ms	27×	body	512	valid
3.0ms	26×	body	512	invalid
1.0ms	14×	body	256	valid
1.0ms	17×	body	128	invalid
1.0ms	9×	body	256	invalid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify59.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4943	11
1	4943	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

12.6b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.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))
12.6b	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)

rewrite54.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

10×	`add-exp-log_binary64_11028` `add-cbrt-cube_binary64_11026`
9×	`add-sqr-sqrt_binary64_11012`
7×	`add-cube-cbrt_binary64_11025` `*-un-lft-identity_binary64_10990`
5×	`pow1_binary64_11051`
3×	`add-log-exp_binary64_11029` `times-frac_binary64_10996` `sinh-def_binary64_11175` `associate-/r_binary64_10934` `associate-l_binary64_10931` `associate-r*_binary64_10930`
2×	`prod-exp_binary64_11039` `div-exp_binary64_11041` `cbrt-undiv_binary64_11024` `cbrt-unprod_binary64_11023` `associate-*r/_binary64_10932`
1×	`frac-2neg_binary64_11001` `clear-num_binary64_10989` `div-inv_binary64_10987` `associate-/l/_binary64_10937` `associate-/l_binary64_10935` `pow-prod-down_binary64_11061` `unswap-sqr_binary64_10958` `-commutative_binary64_10921`

Counts

3 → 49

Calls

3 calls:

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

Compiler

Compiled 621 to 171 computations (72.5% saved)

series382.0ms (7.6%)

Error

12.6b

Counts

3 → 25

Calls

3 calls:

185.0ms	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)
138.0ms	(*.f64 (sin.f64 x) (sinh.f64 y))
39.0ms	(sinh.f64 y)

Compiler

Compiled 1092 to 731 computations (33.1% saved)

simplify56.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5202	1042

prune58.0ms (1.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	66	8	74
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	67	8	75

Error

0.0b

Counts

75 → 8

Compiler

Compiled 1013 to 380 computations (62.5% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite58.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

24×	`add-sqr-sqrt_binary64_11012`
19×	`add-cube-cbrt_binary64_11025` `*-un-lft-identity_binary64_10990` `times-frac_binary64_10996`
13×	`associate-l_binary64_10931`
10×	`add-exp-log_binary64_11028` `add-cbrt-cube_binary64_11026`
5×	`pow1_binary64_11051`
3×	`add-log-exp_binary64_11029` `associate-r_binary64_10930` `associate-/l_binary64_10935` `associate-/r_binary64_10934`
2×	`div-exp_binary64_11041` `prod-exp_binary64_11039` `cbrt-unprod_binary64_11023` `cbrt-undiv_binary64_11024` `unswap-sqr_binary64_10958` `div-inv_binary64_10987` `sinh-def_binary64_11175`
1×	`pow-prod-down_binary64_11061` `associate-l/_binary64_10933` `-commutative_binary64_10921` `frac-2neg_binary64_11001` `clear-num_binary64_10989` `associate-/l/_binary64_10937`

Counts

3 → 68

Calls

3 calls:

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

Compiler

Compiled 942 to 237 computations (74.8% saved)

series387.0ms (7.7%)

Error

0.0b

Counts

3 → 24

Calls

3 calls:

177.0ms	(*.f64 (/.f64 (sinh.f64 y) x) (sin.f64 x))
148.0ms	(/.f64 (sinh.f64 y) x)
42.0ms	(sinh.f64 y)

Compiler

Compiled 985 to 680 computations (31% saved)

simplify66.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5009	1246

prune67.0ms (1.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	91	1	92
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	92	8	100

Error

Counts

100 → 8

Compiler

Compiled 1277 to 410 computations (67.9% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite57.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

24×	`add-sqr-sqrt_binary64_11012`
19×	`add-cube-cbrt_binary64_11025` `times-frac_binary64_10996` `*-un-lft-identity_binary64_10990`
13×	`associate-r_binary64_10930`
10×	`add-exp-log_binary64_11028` `add-cbrt-cube_binary64_11026`
5×	`pow1_binary64_11051`
3×	`add-log-exp_binary64_11029` `associate-/l_binary64_10935` `associate-/r_binary64_10934` `sinh-def_binary64_11175` `associate-l_binary64_10931`
2×	`div-exp_binary64_11041` `cbrt-undiv_binary64_11024` `div-inv_binary64_10987` `prod-exp_binary64_11039` `cbrt-unprod_binary64_11023` `unswap-sqr_binary64_10958`
1×	`frac-2neg_binary64_11001` `clear-num_binary64_10989` `pow-prod-down_binary64_11061` `frac-times_binary64_11000` `associate-l/_binary64_10933` `associate-r/_binary64_10932` `*-commutative_binary64_10921`

Counts

3 → 69

Calls

3 calls:

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

Compiler

Compiled 955 to 232 computations (75.7% saved)

series276.0ms (5.5%)

Error

Counts

3 → 21

Calls

3 calls:

190.0ms	(*.f64 (sinh.f64 y) (/.f64 (sin.f64 x) x))
41.0ms	(sinh.f64 y)
27.0ms	(/.f64 (sin.f64 x) x)

Compiler

Compiled 771 to 539 computations (30.1% saved)

simplify72.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4940	1267
1	4940	1267

prune62.0ms (1.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	88	2	90
Fresh	2	4	6
Picked	0	1	1
Done	1	0	1
Total	91	7	98

Error

Counts

98 → 7

Compiler

Compiled 1244 to 365 computations (70.7% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite71.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

27×	`add-exp-log_binary64_11028`
19×	`add-sqr-sqrt_binary64_11012`
17×	`add-cbrt-cube_binary64_11026`
14×	`associate-r_binary64_10930`
13×	`prod-exp_binary64_11039` `*-un-lft-identity_binary64_10990`
12×	`add-cube-cbrt_binary64_11025`
11×	`times-frac_binary64_10996`
10×	`pow1_binary64_11051`
7×	`cbrt-unprod_binary64_11023`
6×	`associate-l_binary64_10931`
5×	`associate-*r/_binary64_10932`
4×	`pow-prod-down_binary64_11061` `div-exp_binary64_11041` `sinh-def_binary64_11175`
3×	`add-log-exp_binary64_11029` `un-div-inv_binary64_10988` `unswap-sqr_binary64_10958`
2×	`1-exp_binary64_11034` `rec-exp_binary64_11040` `cbrt-undiv_binary64_11024` `*-commutative_binary64_10921` `frac-times_binary64_11000`
1×	`div-inv_binary64_10987` `associate-*l/_binary64_10933`

Counts

3 → 71

Calls

3 calls:

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

Compiler

Compiled 1095 to 536 computations (51.1% saved)

series265.0ms (5.3%)

Error

Counts

3 → 21

Calls

3 calls:

174.0ms	(.f64 (sinh.f64 y) (.f64 (sin.f64 x) (/.f64 1 x)))
44.0ms	(sinh.f64 y)
30.0ms	(*.f64 (sin.f64 x) (/.f64 1 x))

Compiler

Compiled 799 to 573 computations (28.3% saved)

simplify82.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4923	1147
1	4923	1147

prune55.0ms (1.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	92	7	99

Error

Counts

99 → 7

Compiler

Compiled 1163 to 427 computations (63.3% saved)

regimes228.0ms (4.6%)

Accuracy

Total 0.1b remaining (84.2%)

Threshold costs 0.1b (84.2%)

Compiler

Compiled 1823 to 1226 computations (32.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	11
1	8	11

end0.0ms (0%)

sample2.1s (41.9%)

Algorithm

1×

intervals

Results

370.0ms	1952×	body	1024	invalid
300.0ms	6288×	body	128	valid
142.0ms	628×	body	1024	valid
134.0ms	971×	body	512	invalid
95.0ms	664×	body	512	valid
53.0ms	520×	body	256	invalid
44.0ms	725×	body	128	invalid
40.0ms	420×	body	256	valid

Compiler

Compiled 448 to 308 computations (31.3% saved)

Details

analyze475.0ms (9.5%)

sample46.0ms (0.9%)

simplify59.0ms (1.2%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite54.0ms (1.1%)

series382.0ms (7.6%)

simplify56.0ms (1.1%)

prune58.0ms (1.2%)

localize6.0ms (0.1%)

rewrite58.0ms (1.2%)

series387.0ms (7.7%)

simplify66.0ms (1.3%)

prune67.0ms (1.3%)

localize6.0ms (0.1%)

rewrite57.0ms (1.1%)

series276.0ms (5.5%)

simplify72.0ms (1.4%)

prune62.0ms (1.2%)

localize7.0ms (0.1%)

rewrite71.0ms (1.4%)

series265.0ms (5.3%)

simplify82.0ms (1.6%)

prune55.0ms (1.1%)

regimes228.0ms (4.6%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample2.1s (41.9%)

Profiling