Details

analyze973.0ms (13.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)

sample39.0ms (0.5%)

Algorithm

1×

intervals

Results

16.0ms	256×	body	128	valid
7.0ms	90×	body	128	invalid
3.0ms	59×	body	128	nan

Compiler

Compiled 31 to 28 computations (9.7% saved)

simplify205.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (112.0ms)

Iter	Nodes	Cost
0	5019	19

prune8.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 3.4b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite23.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 73

Calls

3 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))

series577.0ms (7.9%)

Counts

3 → 32

Calls

3 calls:

322.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
227.0ms	(*.f64 a (pow.f64 k m))
27.0ms	(*.f64 k (+.f64 k 10))

Compiler

Compiled 965 to 795 computations (17.6% saved)

simplify79.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4974	1697
1	4974	1697

prune107.0ms (1.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	99	6	105
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	100	6	106

Merged error: 3.3b

Counts

106 → 6

Compiler

Compiled 2048 to 1114 computations (45.6% 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.3b	(/.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))))

rewrite22.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

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×	`cbrt-prod_binary64_1473` `add-sqr-sqrt_binary64_1464` `add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
8×	`pow-to-exp_binary64_1511`
4×	`add-log-exp_binary64_1481` `pow1_binary64_1503`
3×	`cbrt-undiv_binary64_1476` `associate-/r*_binary64_1386` `cbrt-unprod_binary64_1475` `times-frac_binary64_1448` `pow1/3_binary64_1524`
2×	`associate-/r/_binary64_1388`
1×	`div-inv_binary64_1439` `clear-num_binary64_1441` `associate-/l*_binary64_1387` `frac-2neg_binary64_1453` `flip3-+_binary64_1445` `flip-+_binary64_1416`

Counts

4 → 71

Calls

4 calls:

11.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))))
1.0ms	(cbrt.f64 k)
1.0ms	(cbrt.f64 k)
1.0ms	(cbrt.f64 k)

series1.1s (15%)

Counts

4 → 24

Calls

4 calls:

822.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))))
100.0ms	(cbrt.f64 k)
89.0ms	(cbrt.f64 k)
83.0ms	(cbrt.f64 k)

Compiler

Compiled 1528 to 1228 computations (19.6% saved)

simplify75.0ms (1%)

Algorithm

1×	egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4944	2125
1	4944	2125

prune107.0ms (1.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	95	0	95
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	95	6	101

Merged error: 3.3b

Counts

101 → 6

Compiler

Compiled 2536 to 1301 computations (48.7% saved)

localize11.0ms (0.1%)

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.0b	(/.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)))))
16.2b	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
16.2b	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

rewrite44.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

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×	`associate-l_binary64_1383` `sqrt-prod_binary64_1458`
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×	`associate-/r*_binary64_1386` `pow1_binary64_1503` `unpow-prod-down_binary64_1521`
5×	`cbrt-undiv_binary64_1476`
4×	`cbrt-unprod_binary64_1475` `pow-exp_binary64_1510` `associate-/r/_binary64_1388` `add-log-exp_binary64_1481` `sqr-pow_binary64_1414` `flip3-+_binary64_1445` `flip-+_binary64_1416` `pow-to-exp_binary64_1511`
2×	`sqrt-pow1_binary64_1460` `rem-sqrt-square_binary64_1455` `div-inv_binary64_1439` `pow1/2_binary64_1522` `associate-*l/_binary64_1385`
1×	`associate-/l/_binary64_1389` `clear-num_binary64_1441` `associate-/l_binary64_1387` `-commutative_binary64_1373` `frac-2neg_binary64_1453`

Counts

4 → 123

Calls

4 calls:

13.0ms	(.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (pow.f64 k m))
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)))))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

series725.0ms (9.9%)

Counts

4 → 50

Calls

4 calls:

346.0ms	(.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (pow.f64 k m))
307.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)))))
38.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
33.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

Compiler

Compiled 1812 to 1472 computations (18.8% saved)

simplify103.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

173 → 173

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4972	4197
1	4972	4197

prune250.0ms (3.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	172	1	173
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	172	7	179

Merged error: 3.3b

Counts

179 → 7

Compiler

Compiled 5023 to 3318 computations (33.9% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (fabs.f64 (cbrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))))
16.2b	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
16.6b	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
16.6b	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

rewrite42.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

144×	`times-frac_binary64_1448`
85×	`add-sqr-sqrt_binary64_1464`
84×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
39×	`sqrt-prod_binary64_1458`
24×	`associate-/l*_binary64_1387`
10×	`sqrt-div_binary64_1459`
9×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480`
8×	`associate-/r/_binary64_1388`
7×	`flip3-+_binary64_1445` `flip-+_binary64_1416`
6×	`cbrt-prod_binary64_1473`
5×	`div-inv_binary64_1439` `pow1_binary64_1503`
4×	`cbrt-div_binary64_1474` `add-log-exp_binary64_1481`
3×	`cbrt-undiv_binary64_1476` `associate-/r*_binary64_1386` `div-exp_binary64_1493`
2×	`pow1/3_binary64_1524`
1×	`sqrt-pow1_binary64_1460` `rem-sqrt-square_binary64_1455` `associate-/l/_binary64_1389` `clear-num_binary64_1441` `frac-2neg_binary64_1453` `pow1/2_binary64_1522`

Counts

4 → 155

Calls

4 calls:

10.0ms	(/.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (fabs.f64 (cbrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
3.0ms	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
3.0ms	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

series405.0ms (5.6%)

Counts

4 → 36

Calls

4 calls:

245.0ms	(/.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (fabs.f64 (cbrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))))
72.0ms	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
49.0ms	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
39.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

Compiler

Compiled 1901 to 1604 computations (15.6% saved)

simplify107.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

191 → 191

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4937	7901
1	4937	7901

prune567.0ms (7.8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	191	0	191
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	191	7	198

Merged error: 3.3b

Counts

198 → 7

Compiler

Compiled 9146 to 6584 computations (28% saved)

regimes137.0ms (1.9%)

Compiler: Compiled 1428 to 1170 computations (18.1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	19
1	16	19

end0.0ms (0%)

sample1.6s (21.3%)

Algorithm

1×

intervals

Results

512.0ms	8000×	body	128	valid
268.0ms	3217×	body	128	invalid
86.0ms	1934×	body	128	nan

Compiler

Compiled 377 to 309 computations (18% saved)

Details

analyze973.0ms (13.3%)

sample39.0ms (0.5%)

simplify205.0ms (2.8%)

prune8.0ms (0.1%)

localize9.0ms (0.1%)

rewrite23.0ms (0.3%)

series577.0ms (7.9%)

simplify79.0ms (1.1%)

prune107.0ms (1.5%)

localize14.0ms (0.2%)

rewrite22.0ms (0.3%)

series1.1s (15%)

simplify75.0ms (1%)

prune107.0ms (1.5%)

localize11.0ms (0.1%)

rewrite44.0ms (0.6%)

series725.0ms (9.9%)

simplify103.0ms (1.4%)

prune250.0ms (3.4%)

localize18.0ms (0.2%)

rewrite42.0ms (0.6%)

series405.0ms (5.6%)

simplify107.0ms (1.5%)

prune567.0ms (7.8%)

regimes137.0ms (1.9%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.6s (21.3%)

Profiling