Details

analyze130.0ms (3.1%)

Algorithm

1×

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
50%	50%	0.1%	5
56.2%	43.7%	0.1%	6
74.9%	25%	0.1%	7
76.5%	23.4%	0.1%	8
84.3%	15.6%	0.1%	9
86.2%	13.7%	0.1%	10
91.3%	8.6%	0.1%	11
92.6%	7.3%	0.1%	12
95.4%	4.5%	0.1%	13
96.1%	3.8%	0.1%	14

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample57.0ms (1.4%)

Algorithm

1×

intervals

Results

21.0ms	165×	body	128	valid
15.0ms	48×	body	1024	valid
6.0ms	28×	body	512	valid
2.0ms	15×	body	256	valid

Compiler

Compiled 13 to 13 computations (0% saved)

simplify121.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	17	9
1	17	9

prune3.0ms (0.1%)

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.2b

Counts

2 → 1

Compiler

Compiled 12 to 10 computations (16.7% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite30.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64_2146`
19×	`times-frac_binary64_2130`
18×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
13×	`associate-r_binary64_2064`
9×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
4×	`pow1_binary64_2185`
3×	`associate-/l_binary64_2069` `associate-/r_binary64_2068` `associate-l_binary64_2065`
2×	`cbrt-undiv_binary64_2158` `unswap-sqr_binary64_2092` `add-log-exp_binary64_2163` `prod-exp_binary64_2173` `div-inv_binary64_2121` `div-exp_binary64_2175` `cbrt-unprod_binary64_2157`
1×	`pow-prod-down_binary64_2195` `clear-num_binary64_2123` `-commutative_binary64_2055` `associate-r/_binary64_2066` `frac-2neg_binary64_2135`

Counts

2 → 59

Calls

2 calls:

16.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
7.0ms	(/.f64 (sin.f64 y) y)

series110.0ms (2.6%)

Counts

2 → 6

Calls

2 calls:

87.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
22.0ms	(/.f64 (sin.f64 y) y)

simplify122.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (97.0ms)

Iter	Nodes	Cost
0	5007	782

prune71.0ms (1.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	57	8	65
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	57	9	66

Error

Counts

66 → 9

Compiler

Compiled 828 to 235 computations (71.6% saved)

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

rewrite12.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64_2155`
8×	`add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
4×	`pow1_binary64_2185` `add-log-exp_binary64_2163` `pow1/3_binary64_2206` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`

Counts

4 → 44

Calls

4 calls:

1.0ms	(cbrt.f64 (sin.f64 y))
1.0ms	(cbrt.f64 (sin.f64 y))
1.0ms	(cbrt.f64 (sin.f64 y))
1.0ms	(cbrt.f64 y)

series431.0ms (10.3%)

Counts

4 → 12

Calls

4 calls:

138.0ms	(cbrt.f64 (sin.f64 y))
115.0ms	(cbrt.f64 (sin.f64 y))
105.0ms	(cbrt.f64 y)
73.0ms	(cbrt.f64 (sin.f64 y))

simplify105.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	5262	463

prune59.0ms (1.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	56	0	56
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	56	9	65

Error

Counts

65 → 9

Compiler

Compiled 1512 to 314 computations (79.2% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)

rewrite15.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_2155`
23×	`add-sqr-sqrt_binary64_2146`
15×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
11×	`pow1_binary64_2185`
9×	`pow1/3_binary64_2206`
6×	`swap-sqr_binary64_2091` `associate-l_binary64_2065` `associate-r_binary64_2064` `add-exp-log_binary64_2162`
4×	`unswap-sqr_binary64_2092` `add-log-exp_binary64_2163` `add-cbrt-cube_binary64_2160`
2×	`pow-prod-down_binary64_2195` `pow-prod-up_binary64_2194` `pow-sqr_binary64_2097`
1×	`*-commutative_binary64_2055` `prod-exp_binary64_2173` `pow-plus_binary64_2187` `pow2_binary64_2205` `cbrt-unprod_binary64_2157`

Counts

4 → 73

Calls

4 calls:

6.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

series459.0ms (10.9%)

Counts

4 → 12

Calls

4 calls:

135.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
114.0ms	(cbrt.f64 x)
107.0ms	(cbrt.f64 x)
102.0ms	(cbrt.f64 x)

simplify76.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4892	563
1	4892	563

prune84.0ms (2%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	85	9	94

Error

Counts

94 → 9

Compiler

Compiled 1387 to 359 computations (74.1% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.1b	(*.f64 x (sin.f64 y))
6.5b	(/.f64 (*.f64 x (sin.f64 y)) y)

rewrite11.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
8×	`add-sqr-sqrt_binary64_2146`
6×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
4×	`pow1_binary64_2185`
3×	`associate-/r_binary64_2068` `associate-l_binary64_2065` `associate-r*_binary64_2064` `times-frac_binary64_2130`
2×	`cbrt-undiv_binary64_2158` `add-log-exp_binary64_2163` `prod-exp_binary64_2173` `div-exp_binary64_2175` `cbrt-unprod_binary64_2157`
1×	`pow-prod-down_binary64_2195` `clear-num_binary64_2123` `unswap-sqr_binary64_2092` `associate-/l_binary64_2069` `-commutative_binary64_2055` `div-inv_binary64_2121` `frac-2neg_binary64_2135`

Counts

2 → 39

Calls

2 calls:

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

series116.0ms (2.8%)

Counts

2 → 6

Calls

2 calls:

65.0ms	(/.f64 (*.f64 x (sin.f64 y)) y)
51.0ms	(*.f64 x (sin.f64 y))

simplify128.0ms (3%)

Algorithm

1×	egg-herbie

Counts

45 → 45

Iterations

Useful iterations: 0 (105.0ms)

Iter	Nodes	Cost
0	5506	443

prune27.0ms (0.6%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	44	1	45
Fresh	1	4	5
Picked	0	1	1
Done	1	2	3
Total	46	8	54

Error

Counts

54 → 8

Compiler

Compiled 421 to 116 computations (72.4% saved)

regimes263.0ms (6.3%)

Accuracy

Total 0.2b remaining (98.2%)

Threshold costs 0.2b (98.2%)

Compiler

Compiled 1535 to 938 computations (38.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	9
1	6	9

end0.0ms (0%)

sample1.7s (41.2%)

Algorithm

1×

intervals

Results

375.0ms	5392×	body	128	valid
339.0ms	1274×	body	1024	valid
177.0ms	871×	body	512	valid
68.0ms	458×	body	256	valid
2.0ms	5×	body	2048	valid

Compiler

Compiled 339 to 211 computations (37.8% saved)

Details

analyze130.0ms (3.1%)

sample57.0ms (1.4%)

simplify121.0ms (2.9%)

prune3.0ms (0.1%)

localize10.0ms (0.2%)

rewrite30.0ms (0.7%)

series110.0ms (2.6%)

simplify122.0ms (2.9%)

prune71.0ms (1.7%)

localize13.0ms (0.3%)

rewrite12.0ms (0.3%)

series431.0ms (10.3%)

simplify105.0ms (2.5%)

prune59.0ms (1.4%)

localize9.0ms (0.2%)

rewrite15.0ms (0.3%)

series459.0ms (10.9%)

simplify76.0ms (1.8%)

prune84.0ms (2%)

localize9.0ms (0.2%)

rewrite11.0ms (0.3%)

series116.0ms (2.8%)

simplify128.0ms (3%)

prune27.0ms (0.6%)

regimes263.0ms (6.3%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.7s (41.2%)

Profiling