Details

analyze1.1s (13%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5045	76
0	3	3
1	3	3

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

Symmetry

Compiler

Compiled 16 to 13 computations (18.8% saved)

sample46.0ms (0.5%)

Algorithm

1×

intervals

Results

15.0ms	256×	body	128	valid
11.0ms	99×	body	128	invalid
3.0ms	65×	body	128	nan

Compiler

Compiled 31 to 28 computations (9.7% saved)

simplify118.0ms (1.3%)

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

2.4b

Counts

2 → 2

Compiler

Compiled 41 to 34 computations (17.1% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite96.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

2.4b

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` `unswap-sqr_binary64_1410` `unpow-prod-down_binary64_1521`
3×	`add-log-exp_binary64_1481` `cbrt-unprod_binary64_1475` `times-frac_binary64_1448` `associate-/r*_binary64_1386`
2×	`pow-to-exp_binary64_1511` `pow-exp_binary64_1510` `cbrt-undiv_binary64_1476` `flip3-+_binary64_1445` `associate-/r/_binary64_1388` `flip-+_binary64_1416` `associate-r/_binary64_1384` `-commutative_binary64_1373` `sqr-pow_binary64_1414`
1×	`frac-2neg_binary64_1453` `clear-num_binary64_1441` `div-inv_binary64_1439` `associate-/l*_binary64_1387` `pow-prod-down_binary64_1513` `distribute-rgt-in_binary64_1392` `distribute-lft-in_binary64_1391` `distribute-lft-out_binary64_1393`

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))
6.0ms	(*.f64 a (pow.f64 k m))

Compiler

Compiled 1509 to 797 computations (47.2% saved)

series560.0ms (6.4%)

Error

2.4b

Counts

3 → 36

Calls

3 calls:

306.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
176.0ms	(*.f64 a (pow.f64 k m))
38.0ms	(*.f64 k (+.f64 k 10))

Compiler

Compiled 1872 to 1365 computations (27.1% saved)

simplify85.0ms (1%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4968	1809
1	4968	1809

prune102.0ms (1.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	104	5	109
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	106	5	111

Error

2.3b

Counts

111 → 5

Compiler

Compiled 2093 to 1107 computations (47.1% saved)

localize16.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)
2.4b	(/.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))))

rewrite100.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

2.3b

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

Compiler

Compiled 2160 to 836 computations (61.3% saved)

series1.1s (12.2%)

Error

2.3b

Counts

4 → 27

Calls

4 calls:

792.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))))
74.0ms	(cbrt.f64 k)
71.0ms	(cbrt.f64 k)
69.0ms	(cbrt.f64 k)

Compiler

Compiled 2938 to 2250 computations (23.4% saved)

simplify60.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5010	2348

prune109.0ms (1.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	98	5	103

Error

2.3b

Counts

103 → 5

Compiler

Compiled 2644 to 1351 computations (48.9% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite493.0ms (5.6%)

Algorithm

1×	rewrite-expression-head

Error

2.3b

Rules

131×	`add-sqr-sqrt_binary64_1464`
110×	`times-frac_binary64_1448`
64×	`sqrt-prod_binary64_1458`
61×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
48×	`associate-r_binary64_1382`
30×	`add-exp-log_binary64_1480`
24×	`unpow-prod-down_binary64_1521` `associate-l_binary64_1383`
21×	`unswap-sqr_binary64_1410`
18×	`add-cbrt-cube_binary64_1478`
12×	`sqr-pow_binary64_1414`
11×	`div-exp_binary64_1493`
10×	`sqrt-div_binary64_1459`
8×	`pow1_binary64_1503` `prod-exp_binary64_1491`
6×	`associate-/r/_binary64_1388` `associate-/r*_binary64_1386`
5×	`flip3-+_binary64_1445` `flip-+_binary64_1416` `cbrt-undiv_binary64_1476`
4×	`add-log-exp_binary64_1481` `cbrt-unprod_binary64_1475`
3×	`div-inv_binary64_1439` `associate-/l*_binary64_1387`
2×	`pow1/2_binary64_1522` `sqrt-pow1_binary64_1460` `rem-sqrt-square_binary64_1455` `pow-to-exp_binary64_1511` `pow-exp_binary64_1510`
1×	`pow-prod-down_binary64_1513` `frac-times_binary64_1452` `associate-l/_binary64_1385` `associate-r/_binary64_1384` `*-commutative_binary64_1373` `frac-2neg_binary64_1453` `clear-num_binary64_1441`

Counts

4 → 188

Calls

4 calls:

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

Compiler

Compiled 7368 to 4963 computations (32.6% saved)

series574.0ms (6.6%)

Error

2.3b

Counts

4 → 50

Calls

4 calls:

307.0ms	(.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (/.f64 (pow.f64 k m) (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))))
141.0ms	(/.f64 a (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
35.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
34.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

Compiler

Compiled 2851 to 2115 computations (25.8% saved)

simplify112.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

238 → 238

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4951	7320
1	4951	7320

prune411.0ms (4.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	238	0	238
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	238	5	243

Error

2.3b

Counts

243 → 5

Compiler

Compiled 7652 to 4947 computations (35.4% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite179.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

2.3b

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` `unswap-sqr_binary64_1410` `unpow-prod-down_binary64_1521`
2×	`frac-2neg_binary64_1453` `clear-num_binary64_1441` `flip3-+_binary64_1445` `associate-/l/_binary64_1389` `flip-+_binary64_1416` `associate-r/_binary64_1384` `-commutative_binary64_1373` `sqr-pow_binary64_1414`
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:

11.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)))
6.0ms	(*.f64 k (+.f64 k 10))
5.0ms	(*.f64 a (pow.f64 k m))

Compiler

Compiled 3268 to 1924 computations (41.1% saved)

series1.0s (11.9%)

Error

2.3b

Counts

4 → 52

Calls

4 calls:

433.0ms	(/.f64 (+.f64 1 (.f64 k (+.f64 k 10))) (.f64 a (pow.f64 k m)))
308.0ms	(/.f64 1 (/.f64 (+.f64 1 (.f64 k (+.f64 k 10))) (.f64 a (pow.f64 k m))))
200.0ms	(*.f64 a (pow.f64 k m))
37.0ms	(*.f64 k (+.f64 k 10))

Compiler

Compiled 3248 to 2355 computations (27.5% saved)

simplify95.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

187 → 187

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4946	4176
1	4946	4176

prune186.0ms (2.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	186	1	187
Fresh	2	0	2
Picked	1	0	1
Done	0	2	2
Total	189	3	192

Error

0.0b

Counts

192 → 3

Compiler

Compiled 4027 to 2239 computations (44.4% saved)

regimes267.0ms (3.1%)

Accuracy

Total 0.1b remaining (42%)

Threshold costs 0.1b (42%)

Compiler

Compiled 1980 to 1626 computations (17.9% 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	46	106
1	46	106

Removed

()

end0.0ms (0%)

sample1.9s (21.2%)

Algorithm

1×

intervals

Results

501.0ms	8000×	body	128	valid
265.0ms	3228×	body	128	invalid
92.0ms	2017×	body	128	nan

Compiler

Compiled 572 to 453 computations (20.8% saved)

Details

analyze1.1s (13%)

sample46.0ms (0.5%)

simplify118.0ms (1.3%)

prune4.0ms (0%)

localize8.0ms (0.1%)

rewrite96.0ms (1.1%)

series560.0ms (6.4%)

simplify85.0ms (1%)

prune102.0ms (1.2%)

localize16.0ms (0.2%)

rewrite100.0ms (1.1%)

series1.1s (12.2%)

simplify60.0ms (0.7%)

prune109.0ms (1.2%)

localize11.0ms (0.1%)

rewrite493.0ms (5.6%)

series574.0ms (6.6%)

simplify112.0ms (1.3%)

prune411.0ms (4.7%)

localize10.0ms (0.1%)

rewrite179.0ms (2.1%)

series1.0s (11.9%)

simplify95.0ms (1.1%)

prune186.0ms (2.1%)

regimes267.0ms (3.1%)

bsearch2.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.9s (21.2%)

Profiling