Details

analyze959.0ms (11.3%)

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
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
25%	74.9%	0.1%	5
31.2%	68.6%	0.1%	6
32.8%	67.1%	0.1%	7
34.3%	65.5%	0.1%	8
38.2%	61.2%	0.5%	9
39.6%	53%	7.4%	10
40.3%	52.4%	7.4%	11
41.6%	49.6%	8.8%	12
42%	39.9%	18.1%	13
42.3%	39.6%	18.2%	14

Compiler

Compiled 16 to 13 computations (18.8% saved)

sample41.0ms (0.5%)

Algorithm

1×

intervals

Results

14.0ms	256×	body	128	valid
7.0ms	91×	body	128	invalid
3.0ms	71×	body	128	nan

Compiler

Compiled 31 to 28 computations (9.7% saved)

simplify206.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (112.0ms)

Iter	Nodes	Cost
0	5019	19

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

3.5b

Counts

2 → 2

Compiler

Compiled 41 to 34 computations (17.1% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 1 (*.f64 k (+.f64 k 10)))
0.0b	(*.f64 k (+.f64 k 10))
0.0b	(*.f64 a (pow.f64 k m))
3.5b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))

rewrite116.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

3.5b

Rules

21×	`add-exp-log_binary64_1480`
18×	`add-sqr-sqrt_binary64_1464`
13×	`add-cbrt-cube_binary64_1478` `*-un-lft-identity_binary64_1442`
11×	`add-cube-cbrt_binary64_1477` `associate-r_binary64_1382`
7×	`prod-exp_binary64_1491`
6×	`pow1_binary64_1503` `add-log-exp_binary64_1481` `associate-l_binary64_1383`
4×	`div-exp_binary64_1493` `unpow-prod-down_binary64_1521` `unswap-sqr_binary64_1410`
3×	`cbrt-unprod_binary64_1475` `times-frac_binary64_1448` `flip3-+_binary64_1445` `flip-+_binary64_1416` `associate-/r*_binary64_1386`
2×	`pow-to-exp_binary64_1511` `pow-exp_binary64_1510` `cbrt-undiv_binary64_1476` `associate-/r/_binary64_1388` `sqr-pow_binary64_1414` `-commutative_binary64_1373` `distribute-rgt-in_binary64_1392` `distribute-lft-in_binary64_1391` `associate-r/_binary64_1384` `associate-+r+_binary64_1374`
1×	`frac-2neg_binary64_1453` `clear-num_binary64_1441` `div-inv_binary64_1439` `associate-/l*_binary64_1387` `pow-prod-down_binary64_1513` `distribute-lft-out_binary64_1393` `sum-log_binary64_1533` `+-commutative_binary64_1372`

Counts

4 → 86

Calls

4 calls:

7.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
6.0ms	(*.f64 k (+.f64 k 10))
5.0ms	(*.f64 a (pow.f64 k m))
3.0ms	(+.f64 1 (*.f64 k (+.f64 k 10)))

Compiler

Compiled 1783 to 956 computations (46.4% saved)

series618.0ms (7.3%)

Error

3.5b

Counts

4 → 42

Calls

4 calls:

285.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
198.0ms	(*.f64 a (pow.f64 k m))
55.0ms	(+.f64 1 (*.f64 k (+.f64 k 10)))
34.0ms	(*.f64 k (+.f64 k 10))

Compiler

Compiled 1984 to 1483 computations (25.3% saved)

simplify69.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4956	1977
1	4956	1977

prune122.0ms (1.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	123	5	128
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	125	5	130

Error

3.5b

Counts

130 → 5

Compiler

Compiled 2388 to 1255 computations (47.4% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 k)
0.6b	(cbrt.f64 k)
0.6b	(cbrt.f64 k)
3.5b	(/.f64 (.f64 (.f64 a (pow.f64 (.f64 (cbrt.f64 k) (cbrt.f64 k)) m)) (pow.f64 (cbrt.f64 k) m)) (+.f64 1 (.f64 k (+.f64 k 10))))

rewrite104.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

3.5b

Rules

58×	`add-exp-log_binary64_1480`
30×	`prod-exp_binary64_1491`
16×	`div-exp_binary64_1493`
13×	`add-cbrt-cube_binary64_1478`
11×	`pow-exp_binary64_1510`
9×	`add-cube-cbrt_binary64_1477` `add-sqr-sqrt_binary64_1464` `*-un-lft-identity_binary64_1442` `cbrt-prod_binary64_1473`
8×	`pow-to-exp_binary64_1511`
4×	`pow1_binary64_1503` `add-log-exp_binary64_1481`
3×	`cbrt-undiv_binary64_1476` `cbrt-unprod_binary64_1475` `times-frac_binary64_1448` `associate-/r*_binary64_1386` `pow1/3_binary64_1524`
2×	`associate-/r/_binary64_1388`
1×	`frac-2neg_binary64_1453` `clear-num_binary64_1441` `div-inv_binary64_1439` `flip3-+_binary64_1445` `flip-+_binary64_1416` `associate-/l*_binary64_1387`

Counts

4 → 71

Calls

4 calls:

12.0ms	(/.f64 (.f64 (.f64 a (pow.f64 (.f64 (cbrt.f64 k) (cbrt.f64 k)) m)) (pow.f64 (cbrt.f64 k) m)) (+.f64 1 (.f64 k (+.f64 k 10))))
4.0ms	(cbrt.f64 k)
1.0ms	(cbrt.f64 k)
1.0ms	(cbrt.f64 k)

Compiler

Compiled 2160 to 836 computations (61.3% saved)

series1.0s (12%)

Error

3.5b

Counts

4 → 24

Calls

4 calls:

744.0ms	(/.f64 (.f64 (.f64 a (pow.f64 (.f64 (cbrt.f64 k) (cbrt.f64 k)) m)) (pow.f64 (cbrt.f64 k) m)) (+.f64 1 (.f64 k (+.f64 k 10))))
79.0ms	(cbrt.f64 k)
73.0ms	(cbrt.f64 k)
72.0ms	(cbrt.f64 k)

Compiler

Compiled 2631 to 2028 computations (22.9% saved)

simplify75.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5084	2251

prune104.0ms (1.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	95	0	95
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	95	5	100

Error

3.5b

Counts

100 → 5

Compiler

Compiled 2587 to 1330 computations (48.6% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 k (+.f64 k 10))
0.0b	(*.f64 a (pow.f64 k m))
0.1b	(/.f64 1 (/.f64 (+.f64 1 (.f64 k (+.f64 k 10))) (.f64 a (pow.f64 k m))))
3.5b	(/.f64 (+.f64 1 (.f64 k (+.f64 k 10))) (.f64 a (pow.f64 k m)))

rewrite195.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

3.5b

Rules

59×	`add-exp-log_binary64_1480`
36×	`times-frac_binary64_1448`
34×	`add-sqr-sqrt_binary64_1464`
29×	`*-un-lft-identity_binary64_1442`
27×	`add-cube-cbrt_binary64_1477`
26×	`div-exp_binary64_1493`
22×	`add-cbrt-cube_binary64_1478`
16×	`prod-exp_binary64_1491`
11×	`associate-r_binary64_1382`
8×	`associate-/r*_binary64_1386`
7×	`pow1_binary64_1503` `cbrt-undiv_binary64_1476`
6×	`div-inv_binary64_1439` `associate-/l_binary64_1387` `associate-l*_binary64_1383`
5×	`pow-to-exp_binary64_1511` `pow-exp_binary64_1510` `1-exp_binary64_1486` `rec-exp_binary64_1492`
4×	`add-log-exp_binary64_1481` `cbrt-unprod_binary64_1475` `unpow-prod-down_binary64_1521` `unswap-sqr_binary64_1410`
2×	`frac-2neg_binary64_1453` `clear-num_binary64_1441` `flip3-+_binary64_1445` `associate-/l/_binary64_1389` `flip-+_binary64_1416` `sqr-pow_binary64_1414` `-commutative_binary64_1373` `associate-r/_binary64_1384`
1×	`inv-pow_binary64_1527` `pow-flip_binary64_1516` `associate-/r/_binary64_1388` `pow-prod-down_binary64_1513` `distribute-rgt-in_binary64_1392` `distribute-lft-in_binary64_1391` `distribute-lft-out_binary64_1393`

Counts

4 → 135

Calls

4 calls:

9.0ms	(/.f64 1 (/.f64 (+.f64 1 (.f64 k (+.f64 k 10))) (.f64 a (pow.f64 k m))))
8.0ms	(/.f64 (+.f64 1 (.f64 k (+.f64 k 10))) (.f64 a (pow.f64 k m)))
8.0ms	(*.f64 a (pow.f64 k m))
6.0ms	(*.f64 k (+.f64 k 10))

Compiler

Compiled 3268 to 1924 computations (41.1% saved)

series1.0s (11.9%)

Error

3.5b

Counts

4 → 49

Calls

4 calls:

436.0ms	(/.f64 (+.f64 1 (.f64 k (+.f64 k 10))) (.f64 a (pow.f64 k m)))
300.0ms	(/.f64 1 (/.f64 (+.f64 1 (.f64 k (+.f64 k 10))) (.f64 a (pow.f64 k m))))
179.0ms	(*.f64 a (pow.f64 k m))
37.0ms	(*.f64 k (+.f64 k 10))

Compiler

Compiled 3101 to 2291 computations (26.1% saved)

simplify74.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

184 → 184

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5252	4064

prune185.0ms (2.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	182	2	184
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	184	5	189

Error

0.0b

Counts

189 → 5

Compiler

Compiled 4020 to 2296 computations (42.9% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (pow.f64 k m))
0.1b	(/.f64 (.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (pow.f64 k m)) (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
17.3b	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
17.3b	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

rewrite257.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

48×	`add-sqr-sqrt_binary64_1464`
38×	`add-exp-log_binary64_1480`
30×	`times-frac_binary64_1448`
25×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
24×	`sqrt-prod_binary64_1458` `associate-l_binary64_1383`
18×	`add-cbrt-cube_binary64_1478`
13×	`div-exp_binary64_1493`
12×	`prod-exp_binary64_1491`
9×	`unswap-sqr_binary64_1410`
8×	`sqrt-div_binary64_1459`
7×	`associate-r_binary64_1382`
6×	`pow1_binary64_1503` `associate-/r*_binary64_1386` `unpow-prod-down_binary64_1521`
5×	`cbrt-undiv_binary64_1476`
4×	`add-log-exp_binary64_1481` `flip3-+_binary64_1445` `flip-+_binary64_1416` `pow-to-exp_binary64_1511` `pow-exp_binary64_1510` `cbrt-unprod_binary64_1475` `associate-/r/_binary64_1388` `sqr-pow_binary64_1414`
2×	`pow1/2_binary64_1522` `sqrt-pow1_binary64_1460` `rem-sqrt-square_binary64_1455` `div-inv_binary64_1439` `associate-*l/_binary64_1385`
1×	`frac-2neg_binary64_1453` `clear-num_binary64_1441` `associate-/l/_binary64_1389` `associate-/l_binary64_1387` `-commutative_binary64_1373`

Counts

4 → 123

Calls

4 calls:

13.0ms	(/.f64 (.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (pow.f64 k m)) (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
13.0ms	(.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (pow.f64 k m))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

Compiler

Compiled 4393 to 2963 computations (32.6% saved)

series773.0ms (9.1%)

Error

0.0b

Counts

4 → 48

Calls

4 calls:

348.0ms	(.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (pow.f64 k m))
296.0ms	(/.f64 (.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (pow.f64 k m)) (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
33.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
31.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

Compiler

Compiled 3246 to 2508 computations (22.7% saved)

simplify67.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5028	4259

prune226.0ms (2.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	171	0	171
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	171	5	176

Error

0.0b

Counts

176 → 5

Compiler

Compiled 4913 to 3138 computations (36.1% saved)

regimes297.0ms (3.5%)

Accuracy

Total 0.8b remaining (90%)

Threshold costs 0.8b (90%)

Compiler

Compiled 2656 to 2138 computations (19.5% saved)

bsearch2.0ms (0%)

Compiler: Compiled 15 to 12 computations (20% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	49	128
1	49	128

end0.0ms (0%)

sample1.9s (22.6%)

Algorithm

1×

intervals

Results

482.0ms	8000×	body	128	valid
249.0ms	3117×	body	128	invalid
87.0ms	1933×	body	128	nan

Compiler

Compiled 756 to 591 computations (21.8% saved)

Details

analyze959.0ms (11.3%)

sample41.0ms (0.5%)

simplify206.0ms (2.4%)

prune4.0ms (0%)

localize12.0ms (0.1%)

rewrite116.0ms (1.4%)

series618.0ms (7.3%)

simplify69.0ms (0.8%)

prune122.0ms (1.4%)

localize14.0ms (0.2%)

rewrite104.0ms (1.2%)

series1.0s (12%)

simplify75.0ms (0.9%)

prune104.0ms (1.2%)

localize10.0ms (0.1%)

rewrite195.0ms (2.3%)

series1.0s (11.9%)

simplify74.0ms (0.9%)

prune185.0ms (2.2%)

localize14.0ms (0.2%)

rewrite257.0ms (3%)

series773.0ms (9.1%)

simplify67.0ms (0.8%)

prune226.0ms (2.7%)

regimes297.0ms (3.5%)

bsearch2.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.9s (22.6%)

Profiling