Details

analyze511.0ms (6.2%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4855	22
1	4855	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
25%	68.7%	6.3%	6
43.7%	46.8%	9.5%	7
43.7%	42.1%	14.1%	8
46.8%	36.7%	16.5%	9
46.8%	34%	19.2%	10
48.4%	31%	20.6%	11
48.4%	29.6%	22%	12
49.2%	28%	22.8%	13
49.2%	27.3%	23.5%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample67.0ms (0.8%)

Algorithm

1×

intervals

Results

15.0ms	61×	body	1024	invalid
13.0ms	62×	body	1024	valid
7.0ms	136×	body	128	valid
5.0ms	39×	body	512	valid
5.0ms	35×	body	512	invalid
2.0ms	18×	body	256	valid
2.0ms	28×	body	128	invalid
1.0ms	10×	body	256	invalid
1.0ms	1×	body	2048	valid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify124.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (117.0ms)

Iter	Nodes	Cost
0	4950	11
1	4950	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.1b

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	(cosh.f64 x)
0.0b	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
0.1b	(/.f64 (sin.f64 y) y)

rewrite72.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

24×	`add-sqr-sqrt_binary64_15104`
19×	`add-cube-cbrt_binary64_15117` `times-frac_binary64_15088` `*-un-lft-identity_binary64_15082`
13×	`associate-r_binary64_15022`
10×	`add-exp-log_binary64_15120` `add-cbrt-cube_binary64_15118`
5×	`pow1_binary64_15143`
3×	`add-log-exp_binary64_15121` `associate-/l_binary64_15027` `associate-/r_binary64_15026` `cosh-def_binary64_15268` `associate-l_binary64_15023`
2×	`div-exp_binary64_15133` `cbrt-undiv_binary64_15116` `div-inv_binary64_15079` `prod-exp_binary64_15131` `cbrt-unprod_binary64_15115` `unswap-sqr_binary64_15050`
1×	`frac-2neg_binary64_15093` `clear-num_binary64_15081` `pow-prod-down_binary64_15153` `frac-times_binary64_15092` `associate-l/_binary64_15025` `associate-r/_binary64_15024` `*-commutative_binary64_15013`

Counts

3 → 69

Calls

3 calls:

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

Compiler

Compiled 955 to 232 computations (75.7% saved)

series327.0ms (4%)

Error

0.1b

Counts

3 → 24

Calls

3 calls:

232.0ms	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
41.0ms	(cosh.f64 x)
32.0ms	(/.f64 (sin.f64 y) y)

Compiler

Compiled 1008 to 702 computations (30.4% saved)

simplify86.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4958	1426
1	4958	1426

prune78.0ms (0.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	85	8	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	86	8	94

Error

0.0b

Counts

94 → 8

Compiler

Compiled 1391 to 423 computations (69.6% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite45.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

10×	`add-exp-log_binary64_15120` `add-cbrt-cube_binary64_15118`
9×	`add-sqr-sqrt_binary64_15104`
7×	`add-cube-cbrt_binary64_15117` `*-un-lft-identity_binary64_15082`
5×	`pow1_binary64_15143`
3×	`add-log-exp_binary64_15121` `times-frac_binary64_15088` `cosh-def_binary64_15268` `associate-/r_binary64_15026` `associate-l_binary64_15023` `associate-r*_binary64_15022`
2×	`prod-exp_binary64_15131` `div-exp_binary64_15133` `cbrt-undiv_binary64_15116` `cbrt-unprod_binary64_15115` `associate-*r/_binary64_15024`
1×	`frac-2neg_binary64_15093` `clear-num_binary64_15081` `div-inv_binary64_15079` `associate-/l/_binary64_15029` `associate-/l_binary64_15027` `pow-prod-down_binary64_15153` `unswap-sqr_binary64_15050` `-commutative_binary64_15013`

Counts

3 → 49

Calls

3 calls:

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

Compiler

Compiled 621 to 171 computations (72.5% saved)

series457.0ms (5.6%)

Error

0.0b

Counts

3 → 30

Calls

3 calls:

221.0ms	(/.f64 (*.f64 (sin.f64 y) (cosh.f64 x)) y)
167.0ms	(*.f64 (sin.f64 y) (cosh.f64 x))
35.0ms	(cosh.f64 x)

Compiler

Compiled 1513 to 1014 computations (33% saved)

simplify67.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4989	1321
1	4989	1321

prune62.0ms (0.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	77	2	79
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	78	9	87

Error

0.0b

Counts

87 → 9

Compiler

Compiled 1215 to 439 computations (63.9% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(cosh.f64 x)
0.0b	(*.f64 (cosh.f64 x) (/.f64 1 (/.f64 y (sin.f64 y))))
0.1b	(/.f64 y (sin.f64 y))
0.2b	(/.f64 1 (/.f64 y (sin.f64 y)))

rewrite208.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

156×	`times-frac_binary64_15088`
104×	`add-sqr-sqrt_binary64_15104`
92×	`*-un-lft-identity_binary64_15082`
90×	`add-cube-cbrt_binary64_15117`
44×	`associate-r_binary64_15022`
36×	`add-exp-log_binary64_15120`
20×	`add-cbrt-cube_binary64_15118`
16×	`associate-/r*_binary64_15026`
15×	`div-exp_binary64_15133`
10×	`div-inv_binary64_15079`
7×	`pow1_binary64_15143` `cbrt-undiv_binary64_15116` `prod-exp_binary64_15131`
6×	`associate-/l*_binary64_15027`
5×	`unswap-sqr_binary64_15050`
4×	`1-exp_binary64_15126` `rec-exp_binary64_15132` `add-log-exp_binary64_15121`
3×	`cbrt-unprod_binary64_15115` `cosh-def_binary64_15268` `associate-l_binary64_15023`
2×	`frac-2neg_binary64_15093` `clear-num_binary64_15081` `associate-/r/_binary64_15028`
1×	`inv-pow_binary64_15167` `pow-flip_binary64_15156` `pow-prod-down_binary64_15153` `frac-times_binary64_15092` `un-div-inv_binary64_15080` `associate-l/_binary64_15025` `associate-r/_binary64_15024` `*-commutative_binary64_15013`

Counts

4 → 186

Calls

4 calls:

21.0ms	(*.f64 (cosh.f64 x) (/.f64 1 (/.f64 y (sin.f64 y))))
7.0ms	(/.f64 1 (/.f64 y (sin.f64 y)))
3.0ms	(/.f64 y (sin.f64 y))
1.0ms	(cosh.f64 x)

Compiler

Compiled 3400 to 1372 computations (59.6% saved)

series357.0ms (4.4%)

Error

0.0b

Counts

4 → 30

Calls

4 calls:

216.0ms	(*.f64 (cosh.f64 x) (/.f64 1 (/.f64 y (sin.f64 y))))
41.0ms	(/.f64 y (sin.f64 y))
41.0ms	(cosh.f64 x)
32.0ms	(/.f64 1 (/.f64 y (sin.f64 y)))

Compiler

Compiled 1210 to 873 computations (27.9% saved)

simplify109.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

216 → 216

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4957	3383
1	4957	3383

prune163.0ms (2%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	215	1	216
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	215	10	225

Error

0.0b

Counts

225 → 10

Compiler

Compiled 3438 to 1135 computations (67% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(cosh.f64 x)
0.0b	(*.f64 (cosh.f64 x) (/.f64 (/.f64 1 y) (/.f64 1 (sin.f64 y))))
0.1b	(/.f64 1 (sin.f64 y))
0.2b	(/.f64 (/.f64 1 y) (/.f64 1 (sin.f64 y)))

rewrite1.2s (14.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

854×	`times-frac_binary64_15088`
427×	`add-sqr-sqrt_binary64_15104`
398×	`*-un-lft-identity_binary64_15082`
392×	`add-cube-cbrt_binary64_15117`
174×	`associate-r_binary64_15022`
106×	`add-exp-log_binary64_15120`
66×	`div-exp_binary64_15133`
57×	`div-inv_binary64_15079`
36×	`add-cbrt-cube_binary64_15118`
17×	`1-exp_binary64_15126` `rec-exp_binary64_15132` `cbrt-undiv_binary64_15116` `prod-exp_binary64_15131`
16×	`associate-/l_binary64_15027` `associate-/r_binary64_15026`
10×	`unswap-sqr_binary64_15050`
7×	`pow1_binary64_15143`
5×	`cbrt-unprod_binary64_15115`
4×	`add-log-exp_binary64_15121`
3×	`cosh-def_binary64_15268` `associate-l_binary64_15023`
2×	`frac-2neg_binary64_15093` `clear-num_binary64_15081` `associate-/r/_binary64_15028`
1×	`associate-/l/_binary64_15029` `inv-pow_binary64_15167` `pow-flip_binary64_15156` `pow-prod-down_binary64_15153` `frac-times_binary64_15092` `associate-l/_binary64_15025` `associate-r/_binary64_15024` `*-commutative_binary64_15013`

Counts

4 → 487

Calls

4 calls:

56.0ms	(*.f64 (cosh.f64 x) (/.f64 (/.f64 1 y) (/.f64 1 (sin.f64 y))))
13.0ms	(/.f64 (/.f64 1 y) (/.f64 1 (sin.f64 y)))
4.0ms	(/.f64 1 (sin.f64 y))
1.0ms	(cosh.f64 x)

Compiler

Compiled 11952 to 7165 computations (40.1% saved)

series354.0ms (4.3%)

Error

0.0b

Counts

4 → 30

Calls

4 calls:

221.0ms	(*.f64 (cosh.f64 x) (/.f64 (/.f64 1 y) (/.f64 1 (sin.f64 y))))
40.0ms	(cosh.f64 x)
32.0ms	(/.f64 1 (sin.f64 y))
32.0ms	(/.f64 (/.f64 1 y) (/.f64 1 (sin.f64 y)))

Compiler

Compiled 1270 to 924 computations (27.2% saved)

simplify183.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

517 → 517

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4986	10229
1	4986	10229

prune514.0ms (6.3%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	516	1	517
Fresh	1	6	7
Picked	0	1	1
Done	0	2	2
Total	517	10	527

Error

Counts

527 → 10

Compiler

Compiled 9868 to 4533 computations (54.1% saved)

regimes454.0ms (5.5%)

Accuracy

Total 0.1b remaining (83.3%)

Threshold costs 0.1b (83.3%)

Compiler

Compiled 4554 to 3158 computations (30.7% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	29
1	26	29

end0.0ms (0%)

sample2.7s (33.5%)

Algorithm

1×

intervals

Results

462.0ms	2006×	body	1024	valid
388.0ms	1913×	body	1024	invalid
244.0ms	4444×	body	128	valid
152.0ms	1062×	body	512	valid
142.0ms	1021×	body	512	invalid
53.0ms	491×	body	256	invalid
48.0ms	485×	body	256	valid
41.0ms	726×	body	128	invalid
2.0ms	3×	body	2048	valid

Compiler

Compiled 771 to 543 computations (29.6% saved)

Details

analyze511.0ms (6.2%)

sample67.0ms (0.8%)

simplify124.0ms (1.5%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite72.0ms (0.9%)

series327.0ms (4%)

simplify86.0ms (1.1%)

prune78.0ms (0.9%)

localize6.0ms (0.1%)

rewrite45.0ms (0.5%)

series457.0ms (5.6%)

simplify67.0ms (0.8%)

prune62.0ms (0.8%)

localize8.0ms (0.1%)

rewrite208.0ms (2.5%)

series357.0ms (4.4%)

simplify109.0ms (1.3%)

prune163.0ms (2%)

localize8.0ms (0.1%)

rewrite1.2s (14.3%)

series354.0ms (4.3%)

simplify183.0ms (2.2%)

prune514.0ms (6.3%)

regimes454.0ms (5.5%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.7s (33.5%)

Profiling