Details

analyze57.0ms (1.7%)

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
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
50%	37.5%	12.6%	7
56.2%	31.2%	12.6%	8
62.4%	18.7%	18.8%	9
65.6%	15.6%	18.8%	10
68.7%	9.4%	22%	11
70.2%	7.8%	22%	12
71.8%	4.7%	23.5%	13
72.6%	3.9%	23.5%	14

Compiler

Compiled 6 to 5 computations (16.7% saved)

sample11.0ms (0.3%)

Algorithm

1×

intervals

Results

5.0ms	256×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 11 to 11 computations (0% saved)

simplify166.0ms (5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	10	7
1	10	7

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 0.2b

Counts

2 → 1

Compiler

Compiled 10 to 8 computations (20% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.2b	(.f64 (.f64 x y) y)

rewrite7.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-exp-log_binary64_7526` `add-cbrt-cube_binary64_7524` `pow1_binary64_7549`
3×	`associate-r_binary64_7433` `cbrt-unprod_binary64_7521` `prod-exp_binary64_7537` `pow-prod-down_binary64_7559`
2×	`add-cube-cbrt_binary64_7523` `*-un-lft-identity_binary64_7491` `add-sqr-sqrt_binary64_7512`
1×	`associate-l_binary64_7434` `add-log-exp_binary64_7527` `*-commutative_binary64_7424`

Counts

1 → 18

Calls

1 calls:

6.0ms

(*.f64 (*.f64 x y) y)

series47.0ms (1.4%)

Counts

1 → 3

Calls

1 calls:

47.0ms

(*.f64 (*.f64 x y) y)

simplify60.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4935	177
1	4935	177

prune22.0ms (0.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	15	6	21
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	15	7	22

Merged error: 0.0b

Counts

22 → 7

Compiler

Compiled 229 to 80 computations (65.1% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 (cbrt.f64 (.f64 y (.f64 x y))) (cbrt.f64 (.f64 y (*.f64 x y))))
22.4b	(cbrt.f64 (.f64 y (.f64 x y)))
22.4b	(cbrt.f64 (.f64 y (.f64 x y)))
22.4b	(cbrt.f64 (.f64 y (.f64 x y)))

rewrite23.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`pow1_binary64_7549`
10×	`add-sqr-sqrt_binary64_7512`
9×	`pow1/3_binary64_7570`
8×	`add-cube-cbrt_binary64_7523` `*-un-lft-identity_binary64_7491`
7×	`cbrt-prod_binary64_7519`
6×	`add-exp-log_binary64_7526`
4×	`associate-r_binary64_7433` `associate-l_binary64_7434` `add-log-exp_binary64_7527` `add-cbrt-cube_binary64_7524` `swap-sqr_binary64_7458`
2×	`pow-sqr_binary64_7464` `pow-prod-down_binary64_7559` `pow-prod-up_binary64_7558`
1×	`pow-plus_binary64_7551` `unswap-sqr_binary64_7459` `cbrt-unprod_binary64_7521` `prod-exp_binary64_7537` `pow2_binary64_7569` `*-commutative_binary64_7424`

Counts

4 → 58

Calls

4 calls:

6.0ms	(.f64 (cbrt.f64 (.f64 y (.f64 x y))) (cbrt.f64 (.f64 y (*.f64 x y))))
4.0ms	(cbrt.f64 (.f64 y (.f64 x y)))
4.0ms	(cbrt.f64 (.f64 y (.f64 x y)))
4.0ms	(cbrt.f64 (.f64 y (.f64 x y)))

series592.0ms (18%)

Counts

4 → 12

Calls

4 calls:

158.0ms	(.f64 (cbrt.f64 (.f64 y (.f64 x y))) (cbrt.f64 (.f64 y (*.f64 x y))))
149.0ms	(cbrt.f64 (.f64 y (.f64 x y)))
147.0ms	(cbrt.f64 (.f64 y (.f64 x y)))
137.0ms	(cbrt.f64 (.f64 y (.f64 x y)))

simplify60.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4874	738
1	4874	738

prune64.0ms (1.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	68	2	70
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	69	8	77

Merged error: 0.0b

Counts

77 → 8

Compiler

Compiled 1571 to 348 computations (77.8% saved)

localize12.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
12.7b	(cbrt.f64 (*.f64 y x))
22.4b	(cbrt.f64 (.f64 y (.f64 x y)))
22.4b	(cbrt.f64 (.f64 y (.f64 x y)))

rewrite15.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`cbrt-prod_binary64_7519`
5×	`add-cube-cbrt_binary64_7523` `*-un-lft-identity_binary64_7491` `add-sqr-sqrt_binary64_7512`
4×	`add-log-exp_binary64_7527` `pow1/3_binary64_7570` `add-exp-log_binary64_7526` `add-cbrt-cube_binary64_7524` `pow1_binary64_7549`

Counts

4 → 38

Calls

4 calls:

4.0ms	(cbrt.f64 (.f64 y (.f64 x y)))
4.0ms	(cbrt.f64 (.f64 y (.f64 x y)))
2.0ms	(cbrt.f64 (*.f64 y x))
2.0ms	(cbrt.f64 y)

series570.0ms (17.3%)

Counts

4 → 12

Calls

4 calls:

167.0ms	(cbrt.f64 y)
152.0ms	(cbrt.f64 (.f64 y (.f64 x y)))
146.0ms	(cbrt.f64 (.f64 y (.f64 x y)))
105.0ms	(cbrt.f64 (*.f64 y x))

simplify95.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4901	427
1	4901	427

prune48.0ms (1.5%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	48	2	50
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	48	10	58

Merged error: 0.0b

Counts

58 → 10

Compiler

Compiled 1324 to 244 computations (81.6% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite15.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_7519`
23×	`add-sqr-sqrt_binary64_7512`
15×	`add-cube-cbrt_binary64_7523` `*-un-lft-identity_binary64_7491`
11×	`pow1_binary64_7549`
9×	`pow1/3_binary64_7570`
6×	`associate-r_binary64_7433` `associate-l_binary64_7434` `add-exp-log_binary64_7526` `swap-sqr_binary64_7458`
4×	`add-log-exp_binary64_7527` `unswap-sqr_binary64_7459` `add-cbrt-cube_binary64_7524`
2×	`pow-sqr_binary64_7464` `pow-prod-down_binary64_7559` `pow-prod-up_binary64_7558`
1×	`pow-plus_binary64_7551` `cbrt-unprod_binary64_7521` `prod-exp_binary64_7537` `pow2_binary64_7569` `*-commutative_binary64_7424`

Counts

4 → 73

Calls

4 calls:

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

series664.0ms (20.2%)

Counts

4 → 12

Calls

4 calls:

177.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
165.0ms	(cbrt.f64 y)
164.0ms	(cbrt.f64 y)
158.0ms	(cbrt.f64 y)

simplify68.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4957	563
1	4957	563

prune56.0ms (1.7%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	84	11	95

Merged error: 0.0b

Counts

95 → 11

Compiler

Compiled 1244 to 366 computations (70.6% saved)

regimes80.0ms (2.4%)

Compiler: Compiled 674 to 385 computations (42.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	7	7

end0.0ms (0%)

sample539.0ms (16.3%)

Algorithm

1×

intervals

Results

163.0ms	8000×	body	128	valid
3.0ms	155×	body	128	invalid

Compiler

Compiled 231 to 134 computations (42% saved)

Details

analyze57.0ms (1.7%)

sample11.0ms (0.3%)

simplify166.0ms (5%)

prune2.0ms (0.1%)

localize3.0ms (0.1%)

rewrite7.0ms (0.2%)

series47.0ms (1.4%)

simplify60.0ms (1.8%)

prune22.0ms (0.7%)

localize8.0ms (0.2%)

rewrite23.0ms (0.7%)

series592.0ms (18%)

simplify60.0ms (1.8%)

prune64.0ms (1.9%)

localize12.0ms (0.4%)

rewrite15.0ms (0.5%)

series570.0ms (17.3%)

simplify95.0ms (2.9%)

prune48.0ms (1.5%)

localize7.0ms (0.2%)

rewrite15.0ms (0.5%)

series664.0ms (20.2%)

simplify68.0ms (2.1%)

prune56.0ms (1.7%)

regimes80.0ms (2.4%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample539.0ms (16.3%)

Profiling