Details

analyze913.0ms (8.4%)

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)

sample116.0ms (1.1%)

Algorithm

1×

intervals

Results

30.0ms	67×	body	1024	invalid
21.0ms	51×	body	1024	valid
14.0ms	150×	body	128	valid
8.0ms	31×	body	512	invalid
8.0ms	30×	body	512	valid
4.0ms	25×	body	256	valid
3.0ms	29×	body	128	invalid
3.0ms	15×	body	256	invalid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify211.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (199.0ms)

Iter	Nodes	Cost
0	4950	11
1	4950	11

prune4.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.1%)

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)

rewrite121.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

23×	`add-sqr-sqrt_binary64_14422`
19×	`times-frac_binary64_14406`
18×	`add-cube-cbrt_binary64_14435` `*-un-lft-identity_binary64_14400`
13×	`associate-r_binary64_14340`
9×	`add-exp-log_binary64_14438` `add-cbrt-cube_binary64_14436`
4×	`pow1_binary64_14461`
3×	`associate-/l_binary64_14345` `associate-/r_binary64_14344` `associate-l_binary64_14341`
2×	`div-exp_binary64_14451` `add-log-exp_binary64_14439` `cbrt-undiv_binary64_14434` `div-inv_binary64_14397` `prod-exp_binary64_14449` `cbrt-unprod_binary64_14433` `cosh-def_binary64_14586` `unswap-sqr_binary64_14368`
1×	`frac-2neg_binary64_14411` `clear-num_binary64_14399` `pow-prod-down_binary64_14471` `frac-times_binary64_14410` `associate-l/_binary64_14343` `associate-r/_binary64_14342` `*-commutative_binary64_14331`

Counts

2 → 61

Calls

2 calls:

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

Compiler

Compiled 864 to 212 computations (75.5% saved)

series519.0ms (4.8%)

Error

0.1b

Counts

2 → 18

Calls

2 calls:

418.0ms	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
61.0ms	(/.f64 (sin.f64 y) y)

Compiler

Compiled 807 to 554 computations (31.4% saved)

simplify164.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (129.0ms)

Iter	Nodes	Cost
0	4947	1289
1	4947	1289

prune123.0ms (1.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	71	8	79
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	71	9	80

Error

0.0b

Counts

80 → 9

Compiler

Compiled 1202 to 360 computations (70% saved)

localize15.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.1b	(/.f64 y (sin.f64 y))

rewrite375.0ms (3.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

156×	`times-frac_binary64_14406`
103×	`add-sqr-sqrt_binary64_14422`
91×	`*-un-lft-identity_binary64_14400`
89×	`add-cube-cbrt_binary64_14435`
44×	`associate-r_binary64_14340`
35×	`add-exp-log_binary64_14438`
19×	`add-cbrt-cube_binary64_14436`
16×	`associate-/r*_binary64_14344`
15×	`div-exp_binary64_14451`
10×	`div-inv_binary64_14397`
7×	`cbrt-undiv_binary64_14434` `prod-exp_binary64_14449`
6×	`pow1_binary64_14461` `associate-/l*_binary64_14345`
5×	`unswap-sqr_binary64_14368`
4×	`1-exp_binary64_14444` `rec-exp_binary64_14450`
3×	`add-log-exp_binary64_14439` `cbrt-unprod_binary64_14433` `associate-l_binary64_14341`
2×	`frac-2neg_binary64_14411` `clear-num_binary64_14399` `associate-/r/_binary64_14346` `cosh-def_binary64_14586`
1×	`inv-pow_binary64_14485` `pow-flip_binary64_14474` `pow-prod-down_binary64_14471` `frac-times_binary64_14410` `un-div-inv_binary64_14398` `associate-l/_binary64_14343` `associate-r/_binary64_14342` `*-commutative_binary64_14331`

Counts

3 → 178

Calls

3 calls:

39.0ms	(*.f64 (cosh.f64 x) (/.f64 1 (/.f64 y (sin.f64 y))))
13.0ms	(/.f64 1 (/.f64 y (sin.f64 y)))
7.0ms	(/.f64 y (sin.f64 y))

Compiler

Compiled 3293 to 1336 computations (59.4% saved)

series575.0ms (5.3%)

Error

0.0b

Counts

3 → 24

Calls

3 calls:

400.0ms	(*.f64 (cosh.f64 x) (/.f64 1 (/.f64 y (sin.f64 y))))
77.0ms	(/.f64 y (sin.f64 y))
58.0ms	(/.f64 1 (/.f64 y (sin.f64 y)))

Compiler

Compiled 981 to 697 computations (29% saved)

simplify185.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

202 → 202

Iterations

Useful iterations: 0 (110.0ms)

Iter	Nodes	Cost
0	4936	3246
1	4936	3246

prune283.0ms (2.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	197	5	202
Fresh	6	1	7
Picked	0	1	1
Done	0	1	1
Total	203	8	211

Error

0.0b

Counts

211 → 8

Compiler

Compiled 3204 to 1035 computations (67.7% saved)

localize12.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite104.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

23×	`add-sqr-sqrt_binary64_14422`
19×	`times-frac_binary64_14406`
18×	`add-cube-cbrt_binary64_14435` `*-un-lft-identity_binary64_14400`
13×	`associate-l_binary64_14341`
9×	`add-exp-log_binary64_14438` `add-cbrt-cube_binary64_14436`
4×	`pow1_binary64_14461`
3×	`associate-r_binary64_14340` `associate-/l_binary64_14345` `associate-/r_binary64_14344`
2×	`div-exp_binary64_14451` `prod-exp_binary64_14449` `add-log-exp_binary64_14439` `cbrt-unprod_binary64_14433` `cbrt-undiv_binary64_14434` `unswap-sqr_binary64_14368` `div-inv_binary64_14397`
1×	`pow-prod-down_binary64_14471` `associate-l/_binary64_14343` `-commutative_binary64_14331` `frac-2neg_binary64_14411` `clear-num_binary64_14399` `cosh-def_binary64_14586` `associate-/l/_binary64_14347`

Counts

2 → 60

Calls

2 calls:

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

Compiler

Compiled 851 to 209 computations (75.4% saved)

series685.0ms (6.3%)

Error

0.0b

Counts

2 → 21

Calls

2 calls:

397.0ms	(*.f64 (/.f64 (cosh.f64 x) y) (sin.f64 y))
249.0ms	(/.f64 (cosh.f64 x) y)

Compiler

Compiled 1015 to 697 computations (31.3% saved)

simplify150.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (112.0ms)

Iter	Nodes	Cost
0	4953	1294
1	4953	1294

prune108.0ms (1%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	81	8	89

Error

0.0b

Counts

89 → 8

Compiler

Compiled 1219 to 365 computations (70.1% saved)

localize33.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 (sin.f64 y))
0.6b	(cbrt.f64 (sin.f64 y))
0.6b	(cbrt.f64 (sin.f64 y))

rewrite100.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

12×	`cbrt-prod_binary64_14431`
8×	`add-cube-cbrt_binary64_14435` `add-sqr-sqrt_binary64_14422` `*-un-lft-identity_binary64_14400`
4×	`pow1/3_binary64_14482` `pow1_binary64_14461` `add-log-exp_binary64_14439` `add-exp-log_binary64_14438` `add-cbrt-cube_binary64_14436`

Counts

4 → 44

Calls

4 calls:

3.0ms	(cbrt.f64 (sin.f64 y))
3.0ms	(cbrt.f64 (sin.f64 y))
3.0ms	(cbrt.f64 (sin.f64 y))
2.0ms	(cbrt.f64 y)

Compiler

Compiled 1308 to 320 computations (75.5% saved)

series573.0ms (5.3%)

Error

0.0b

Counts

4 → 15

Calls

4 calls:

155.0ms	(cbrt.f64 (sin.f64 y))
136.0ms	(cbrt.f64 (sin.f64 y))
135.0ms	(cbrt.f64 y)
117.0ms	(cbrt.f64 (sin.f64 y))

Compiler

Compiled 1188 to 654 computations (44.9% saved)

simplify165.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 0 (143.0ms)

Iter	Nodes	Cost
0	4832	435
1	4832	435

prune111.0ms (1%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	59	0	59
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	59	8	67

Error

0.0b

Counts

67 → 8

Compiler

Compiled 1657 to 405 computations (75.6% saved)

regimes521.0ms (4.8%)

Accuracy

Total 0.1b remaining (88%)

Threshold costs 0.1b (88%)

Compiler

Compiled 2715 to 1854 computations (31.7% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	11
1	8	11

end0.0ms (0%)

sample4.7s (43%)

Algorithm

1×

intervals

Results

878.0ms	2059×	body	1024	valid
745.0ms	1917×	body	1024	invalid
429.0ms	4439×	body	128	valid
259.0ms	963×	body	512	valid
248.0ms	907×	body	512	invalid
105.0ms	534×	body	256	valid
94.0ms	482×	body	256	invalid
77.0ms	704×	body	128	invalid
4.0ms	5×	body	2048	valid

Compiler

Compiled 559 to 385 computations (31.1% saved)

Details

analyze913.0ms (8.4%)

sample116.0ms (1.1%)

simplify211.0ms (1.9%)

prune4.0ms (0%)

localize12.0ms (0.1%)

rewrite121.0ms (1.1%)

series519.0ms (4.8%)

simplify164.0ms (1.5%)

prune123.0ms (1.1%)

localize15.0ms (0.1%)

rewrite375.0ms (3.5%)

series575.0ms (5.3%)

simplify185.0ms (1.7%)

prune283.0ms (2.6%)

localize12.0ms (0.1%)

rewrite104.0ms (1%)

series685.0ms (6.3%)

simplify150.0ms (1.4%)

prune108.0ms (1%)

localize33.0ms (0.3%)

rewrite100.0ms (0.9%)

series573.0ms (5.3%)

simplify165.0ms (1.5%)

prune111.0ms (1%)

regimes521.0ms (4.8%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample4.7s (43%)

Profiling