Details

analyze526.0ms (1.2%)

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)

sample1.3s (2.8%)

Algorithm

1×

intervals

Results

16.0ms	70×	body	1024	invalid
11.0ms	129×	body	128	invalid
9.0ms	205×	body	128	valid
5.0ms	18×	body	1024	valid
3.0ms	21×	body	512	invalid
3.0ms	24×	body	512	valid
3.0ms	23×	body	256	invalid
1.0ms	9×	body	256	valid

Compiler

Compiled 4007 to 4506 computations (-12.5% saved)

simplify61.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

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

15.6b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite68.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

11×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
10×	`add-sqr-sqrt_binary64_11353`
8×	`add-cube-cbrt_binary64_11366` `*-un-lft-identity_binary64_11331`
6×	`pow1_binary64_11392`
4×	`add-log-exp_binary64_11370`
3×	`times-frac_binary64_11337` `sinh-def_binary64_11516` `associate-/r_binary64_11275` `associate-l_binary64_11272` `associate-r*_binary64_11271`
2×	`prod-exp_binary64_11380` `div-exp_binary64_11382` `cbrt-undiv_binary64_11365` `cbrt-unprod_binary64_11364` `associate-*r/_binary64_11273`
1×	`frac-2neg_binary64_11342` `clear-num_binary64_11330` `div-inv_binary64_11328` `associate-/l/_binary64_11278` `associate-/l_binary64_11276` `pow-prod-down_binary64_11402` `unswap-sqr_binary64_11299` `-commutative_binary64_11262`

Counts

4 → 56

Calls

4 calls:

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

Compiler

Compiled 699 to 195 computations (72.1% saved)

series665.0ms (1.5%)

Error

15.6b

Counts

4 → 30

Calls

4 calls:

328.0ms	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)
224.0ms	(*.f64 (sin.f64 x) (sinh.f64 y))
69.0ms	(sinh.f64 y)
14.0ms	(sin.f64 x)

Compiler

Compiled 1265 to 848 computations (33% saved)

simplify64.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5243	1149

prune79.0ms (0.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	80	6	86
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	81	6	87

Error

0.0b

Counts

87 → 6

Compiler

Compiled 1128 to 414 computations (63.3% saved)

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite74.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

25×	`add-sqr-sqrt_binary64_11353`
20×	`add-cube-cbrt_binary64_11366` `*-un-lft-identity_binary64_11331`
19×	`times-frac_binary64_11337`
13×	`associate-l_binary64_11272`
11×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
6×	`pow1_binary64_11392`
4×	`add-log-exp_binary64_11370`
3×	`associate-r_binary64_11271` `associate-/l_binary64_11276` `associate-/r_binary64_11275`
2×	`div-exp_binary64_11382` `prod-exp_binary64_11380` `cbrt-unprod_binary64_11364` `cbrt-undiv_binary64_11365` `unswap-sqr_binary64_11299` `div-inv_binary64_11328` `sinh-def_binary64_11516`
1×	`pow-prod-down_binary64_11402` `associate-l/_binary64_11274` `-commutative_binary64_11262` `frac-2neg_binary64_11342` `clear-num_binary64_11330` `associate-/l/_binary64_11278`

Counts

4 → 75

Calls

4 calls:

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

Compiler

Compiled 1020 to 254 computations (75.1% saved)

series626.0ms (1.4%)

Error

0.0b

Counts

4 → 29

Calls

4 calls:

307.0ms	(*.f64 (/.f64 (sinh.f64 y) x) (sin.f64 x))
216.0ms	(/.f64 (sinh.f64 y) x)
65.0ms	(sinh.f64 y)
11.0ms	(sin.f64 x)

Compiler

Compiled 1158 to 795 computations (31.3% saved)

simplify58.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5080	1375

prune85.0ms (0.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	103	1	104
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	103	7	110

Error

Counts

110 → 7

Compiler

Compiled 1420 to 446 computations (68.6% saved)

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite76.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

25×	`add-sqr-sqrt_binary64_11353`
20×	`add-cube-cbrt_binary64_11366` `*-un-lft-identity_binary64_11331`
19×	`times-frac_binary64_11337`
13×	`associate-r_binary64_11271`
11×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
6×	`pow1_binary64_11392`
4×	`add-log-exp_binary64_11370`
3×	`associate-/l_binary64_11276` `associate-/r_binary64_11275` `sinh-def_binary64_11516` `associate-l_binary64_11272`
2×	`div-exp_binary64_11382` `cbrt-undiv_binary64_11365` `div-inv_binary64_11328` `prod-exp_binary64_11380` `cbrt-unprod_binary64_11364` `unswap-sqr_binary64_11299`
1×	`frac-2neg_binary64_11342` `clear-num_binary64_11330` `pow-prod-down_binary64_11402` `frac-times_binary64_11341` `associate-l/_binary64_11274` `associate-r/_binary64_11273` `*-commutative_binary64_11262`

Counts

4 → 76

Calls

4 calls:

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

Compiler

Compiled 1033 to 256 computations (75.2% saved)

series450.0ms (1%)

Error

Counts

4 → 24

Calls

4 calls:

313.0ms	(*.f64 (sinh.f64 y) (/.f64 (sin.f64 x) x))
62.0ms	(sinh.f64 y)
40.0ms	(/.f64 (sin.f64 x) x)
14.0ms	(sin.f64 x)

Compiler

Compiled 884 to 604 computations (31.7% saved)

simplify58.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4956	1317
1	4956	1317

prune79.0ms (0.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	100	0	100
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	100	7	107

Error

Counts

107 → 7

Compiler

Compiled 1331 to 378 computations (71.6% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

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

rewrite86.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

78×	`times-frac_binary64_11337`
46×	`add-cube-cbrt_binary64_11366` `add-sqr-sqrt_binary64_11353` `*-un-lft-identity_binary64_11331`
14×	`associate-/r*_binary64_11275`
8×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
5×	`div-inv_binary64_11328` `sinh-def_binary64_11516` `associate-/r/_binary64_11277`
3×	`pow1_binary64_11392` `div-exp_binary64_11382` `add-log-exp_binary64_11370` `cbrt-undiv_binary64_11365` `associate-/l*_binary64_11276`
1×	`frac-2neg_binary64_11342` `clear-num_binary64_11330`

Counts

3 → 89

Calls

3 calls:

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

Compiler

Compiled 1496 to 353 computations (76.4% saved)

series419.0ms (0.9%)

Error

Counts

3 → 20

Calls

3 calls:

332.0ms	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))
58.0ms	(sinh.f64 y)
11.0ms	(sin.f64 x)

Compiler

Compiled 798 to 545 computations (31.7% saved)

simplify85.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4975	2178
1	4975	2178

prune89.0ms (0.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	108	1	109
Fresh	1	3	4
Picked	0	1	1
Done	1	1	2
Total	110	6	116

Error

Counts

116 → 6

Compiler

Compiled 1657 to 387 computations (76.6% saved)

regimes264.0ms (0.6%)

Accuracy

Total 0.1b remaining (73.4%)

Threshold costs 0.1b (73.4%)

Compiler

Compiled 1950 to 1326 computations (32% 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%)

sample39.8s (88.4%)

Algorithm

1×

intervals

Results

428.0ms	2018×	body	1024	invalid
365.0ms	4307×	body	128	invalid
292.0ms	6259×	body	128	valid
155.0ms	994×	body	512	invalid
146.0ms	641×	body	1024	valid
96.0ms	673×	body	512	valid
58.0ms	493×	body	256	invalid
41.0ms	427×	body	256	valid
0.0ms	1×	body	2048	invalid

Compiler

Compiled 126986 to 142652 computations (-12.3% saved)

Details

analyze526.0ms (1.2%)

sample1.3s (2.8%)

simplify61.0ms (0.1%)

prune2.0ms (0%)

localize6.0ms (0%)

rewrite68.0ms (0.2%)

series665.0ms (1.5%)

simplify64.0ms (0.1%)

prune79.0ms (0.2%)

localize6.0ms (0%)

rewrite74.0ms (0.2%)

series626.0ms (1.4%)

simplify58.0ms (0.1%)

prune85.0ms (0.2%)

localize6.0ms (0%)

rewrite76.0ms (0.2%)

series450.0ms (1%)

simplify58.0ms (0.1%)

prune79.0ms (0.2%)

localize6.0ms (0%)

rewrite86.0ms (0.2%)

series419.0ms (0.9%)

simplify85.0ms (0.2%)

prune89.0ms (0.2%)

regimes264.0ms (0.6%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample39.8s (88.4%)

Profiling