Details

analyze661.0ms (8.8%)

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)

sample85.0ms (1.1%)

Algorithm

1×

intervals

Results

20.0ms	64×	body	1024	valid
16.0ms	59×	body	1024	invalid
10.0ms	154×	body	128	valid
7.0ms	39×	body	512	invalid
5.0ms	27×	body	512	valid
2.0ms	18×	body	256	invalid
2.0ms	26×	body	128	invalid
2.0ms	11×	body	256	valid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify146.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (135.0ms)

Iter	Nodes	Cost
0	4950	11
1	4950	11

prune3.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)

localize12.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite79.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

23×	`add-sqr-sqrt_binary64_12717`
19×	`times-frac_binary64_12701`
18×	`add-cube-cbrt_binary64_12730` `*-un-lft-identity_binary64_12695`
13×	`associate-r_binary64_12635`
9×	`add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
4×	`pow1_binary64_12756`
3×	`associate-/l_binary64_12640` `associate-/r_binary64_12639` `associate-l_binary64_12636`
2×	`div-exp_binary64_12746` `add-log-exp_binary64_12734` `cbrt-undiv_binary64_12729` `div-inv_binary64_12692` `prod-exp_binary64_12744` `cbrt-unprod_binary64_12728` `cosh-def_binary64_12881` `unswap-sqr_binary64_12663`
1×	`frac-2neg_binary64_12706` `clear-num_binary64_12694` `pow-prod-down_binary64_12766` `frac-times_binary64_12705` `associate-l/_binary64_12638` `associate-r/_binary64_12637` `*-commutative_binary64_12626`

Counts

2 → 61

Calls

2 calls:

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

Compiler

Compiled 864 to 212 computations (75.5% saved)

series338.0ms (4.5%)

Error

0.1b

Counts

2 → 18

Calls

2 calls:

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

Compiler

Compiled 807 to 554 computations (31.4% saved)

simplify119.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	4947	1289
1	4947	1289

prune90.0ms (1.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	68	11	79
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	69	11	80

Error

0.0b

Counts

80 → 11

Compiler

Compiled 1244 to 395 computations (68.2% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite45.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

9×	`add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
8×	`add-sqr-sqrt_binary64_12717`
6×	`add-cube-cbrt_binary64_12730` `*-un-lft-identity_binary64_12695`
4×	`pow1_binary64_12756`
3×	`times-frac_binary64_12701` `associate-/r_binary64_12639` `associate-l_binary64_12636` `associate-r*_binary64_12635`
2×	`prod-exp_binary64_12744` `div-exp_binary64_12746` `add-log-exp_binary64_12734` `cbrt-undiv_binary64_12729` `cbrt-unprod_binary64_12728` `cosh-def_binary64_12881` `associate-*r/_binary64_12637`
1×	`frac-2neg_binary64_12706` `clear-num_binary64_12694` `div-inv_binary64_12692` `associate-/l/_binary64_12642` `associate-/l_binary64_12640` `pow-prod-down_binary64_12766` `unswap-sqr_binary64_12663` `-commutative_binary64_12626`

Counts

2 → 41

Calls

2 calls:

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

Compiler

Compiled 530 to 143 computations (73% saved)

series449.0ms (6%)

Error

0.0b

Counts

2 → 24

Calls

2 calls:

241.0ms	(/.f64 (*.f64 (sin.f64 y) (cosh.f64 x)) y)
183.0ms	(*.f64 (sin.f64 y) (cosh.f64 x))

Compiler

Compiled 1312 to 860 computations (34.5% saved)

simplify69.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4945	1184
1	4945	1184

prune66.0ms (0.9%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	63	2	65
Fresh	2	8	10
Picked	0	1	1
Done	0	0	0
Total	65	11	76

Error

0.0b

Counts

76 → 11

Compiler

Compiled 1054 to 388 computations (63.2% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite238.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

156×	`times-frac_binary64_12701`
103×	`add-sqr-sqrt_binary64_12717`
91×	`*-un-lft-identity_binary64_12695`
89×	`add-cube-cbrt_binary64_12730`
44×	`associate-r_binary64_12635`
35×	`add-exp-log_binary64_12733`
19×	`add-cbrt-cube_binary64_12731`
16×	`associate-/r*_binary64_12639`
15×	`div-exp_binary64_12746`
10×	`div-inv_binary64_12692`
7×	`cbrt-undiv_binary64_12729` `prod-exp_binary64_12744`
6×	`pow1_binary64_12756` `associate-/l*_binary64_12640`
5×	`unswap-sqr_binary64_12663`
4×	`1-exp_binary64_12739` `rec-exp_binary64_12745`
3×	`add-log-exp_binary64_12734` `cbrt-unprod_binary64_12728` `associate-l_binary64_12636`
2×	`frac-2neg_binary64_12706` `clear-num_binary64_12694` `associate-/r/_binary64_12641` `cosh-def_binary64_12881`
1×	`inv-pow_binary64_12780` `pow-flip_binary64_12769` `pow-prod-down_binary64_12766` `frac-times_binary64_12705` `un-div-inv_binary64_12693` `associate-l/_binary64_12638` `associate-r/_binary64_12637` `*-commutative_binary64_12626`

Counts

3 → 178

Calls

3 calls:

21.0ms	(*.f64 (cosh.f64 x) (/.f64 1 (/.f64 y (sin.f64 y))))
6.0ms	(/.f64 1 (/.f64 y (sin.f64 y)))
4.0ms	(/.f64 y (sin.f64 y))

Compiler

Compiled 3293 to 1336 computations (59.4% saved)

series374.0ms (5%)

Error

0.0b

Counts

3 → 24

Calls

3 calls:

243.0ms	(*.f64 (cosh.f64 x) (/.f64 1 (/.f64 y (sin.f64 y))))
66.0ms	(/.f64 y (sin.f64 y))
44.0ms	(/.f64 1 (/.f64 y (sin.f64 y)))

Compiler

Compiled 981 to 697 computations (29% saved)

simplify116.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

202 → 202

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4936	3246
1	4936	3246

prune160.0ms (2.1%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	200	2	202
Fresh	3	6	9
Picked	0	1	1
Done	0	1	1
Total	203	10	213

Error

Counts

213 → 10

Compiler

Compiled 3215 to 1056 computations (67.2% saved)

localize11.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite75.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

26×	`add-exp-log_binary64_12733`
18×	`add-sqr-sqrt_binary64_12717`
16×	`add-cbrt-cube_binary64_12731`
14×	`associate-r_binary64_12635`
13×	`prod-exp_binary64_12744`
12×	`*-un-lft-identity_binary64_12695`
11×	`add-cube-cbrt_binary64_12730` `times-frac_binary64_12701`
9×	`pow1_binary64_12756`
7×	`cbrt-unprod_binary64_12728`
6×	`associate-l_binary64_12636`
5×	`associate-*r/_binary64_12637`
4×	`pow-prod-down_binary64_12766` `div-exp_binary64_12746`
3×	`un-div-inv_binary64_12693` `unswap-sqr_binary64_12663` `cosh-def_binary64_12881`
2×	`1-exp_binary64_12739` `rec-exp_binary64_12745` `add-log-exp_binary64_12734` `cbrt-undiv_binary64_12729` `*-commutative_binary64_12626` `frac-times_binary64_12705`
1×	`div-inv_binary64_12692` `associate-*l/_binary64_12638`

Counts

2 → 63

Calls

2 calls:

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

Compiler

Compiled 988 to 492 computations (50.2% saved)

series314.0ms (4.2%)

Error

Counts

2 → 18

Calls

2 calls:

264.0ms	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))
31.0ms	(*.f64 (sin.f64 y) (/.f64 1 y))

Compiler

Compiled 807 to 554 computations (31.4% saved)

simplify100.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4953	1163
1	4953	1163

prune66.0ms (0.9%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	81	10	91

Error

Counts

91 → 10

Compiler

Compiled 1056 to 350 computations (66.9% saved)

regimes442.0ms (5.9%)

Accuracy

Total 0.1b remaining (89.5%)

Threshold costs 0.1b (89.5%)

Compiler

Compiled 3288 to 2417 computations (26.5% 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%)

sample3.4s (45.5%)

Algorithm

1×

intervals

Results

546.0ms	2015×	body	1024	valid
540.0ms	4506×	body	128	valid
463.0ms	1887×	body	1024	invalid
184.0ms	1032×	body	512	invalid
178.0ms	1000×	body	512	valid
62.0ms	479×	body	256	invalid
56.0ms	476×	body	256	valid
50.0ms	671×	body	128	invalid
2.0ms	3×	body	2048	valid
0.0ms	1×	body	2048	invalid

Compiler

Compiled 650 to 481 computations (26% saved)

Details

analyze661.0ms (8.8%)

sample85.0ms (1.1%)

simplify146.0ms (1.9%)

prune3.0ms (0%)

localize12.0ms (0.2%)

rewrite79.0ms (1%)

series338.0ms (4.5%)

simplify119.0ms (1.6%)

prune90.0ms (1.2%)

localize7.0ms (0.1%)

rewrite45.0ms (0.6%)

series449.0ms (6%)

simplify69.0ms (0.9%)

prune66.0ms (0.9%)

localize7.0ms (0.1%)

rewrite238.0ms (3.2%)

series374.0ms (5%)

simplify116.0ms (1.6%)

prune160.0ms (2.1%)

localize11.0ms (0.1%)

rewrite75.0ms (1%)

series314.0ms (4.2%)

simplify100.0ms (1.3%)

prune66.0ms (0.9%)

regimes442.0ms (5.9%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample3.4s (45.5%)

Profiling