Details

analyze1.0s (13.4%)

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)

sample47.0ms (0.6%)

Algorithm

1×

intervals

Results

16.0ms	256×	body	128	valid
10.0ms	117×	body	128	invalid
4.0ms	89×	body	128	nan

Compiler

Compiled 31 to 28 computations (9.7% saved)

simplify206.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (115.0ms)

Iter	Nodes	Cost
0	5019	19

prune5.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

Error

2.4b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize9.0ms (0.1%)

Local error

Found 6 expressions with local error:

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

rewrite26.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-exp-log_binary64_1821`
17×	`add-sqr-sqrt_binary64_1805`
12×	`add-cbrt-cube_binary64_1819` `*-un-lft-identity_binary64_1783`
11×	`associate-r_binary64_1723`
10×	`add-cube-cbrt_binary64_1818`
7×	`prod-exp_binary64_1832`
6×	`associate-l_binary64_1724`
5×	`pow1_binary64_1844`
4×	`unpow-prod-down_binary64_1862` `div-exp_binary64_1834` `unswap-sqr_binary64_1751`
3×	`cbrt-unprod_binary64_1816` `associate-/r*_binary64_1727` `times-frac_binary64_1789` `add-log-exp_binary64_1822`
2×	`associate-r/_binary64_1725` `associate-/r/_binary64_1729` `sqr-pow_binary64_1755` `flip-+_binary64_1757` `cbrt-undiv_binary64_1817` `-commutative_binary64_1714` `flip3-+_binary64_1786` `pow-to-exp_binary64_1852` `pow-exp_binary64_1851`
1×	`associate-/l*_binary64_1728` `distribute-lft-in_binary64_1732` `distribute-lft-out_binary64_1734` `div-inv_binary64_1780` `frac-2neg_binary64_1794` `distribute-rgt-in_binary64_1733` `clear-num_binary64_1782` `pow-prod-down_binary64_1854`

Counts

3 → 73

Calls

6 calls:

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

series575.0ms (7.6%)

Counts

3 → 35

Calls

3 calls:

340.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
197.0ms	(*.f64 a (pow.f64 k m))
39.0ms	(*.f64 k (+.f64 k 10))

Compiler

Compiled 1072 to 881 computations (17.8% saved)

simplify63.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4968	1769
1	4968	1769

prune132.0ms (1.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	103	5	108
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	104	5	109

Error

2.3b

Counts

109 → 5

Compiler

Compiled 2060 to 1094 computations (46.9% saved)

localize9.0ms (0.1%)

Local error

Found 6 expressions with local error:

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

rewrite47.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

180×	`times-frac_binary64_1789`
105×	`add-sqr-sqrt_binary64_1805` `*-un-lft-identity_binary64_1783`
103×	`add-cube-cbrt_binary64_1818`
48×	`unpow-prod-down_binary64_1862`
32×	`associate-/r*_binary64_1727`
20×	`add-exp-log_binary64_1821`
16×	`sqr-pow_binary64_1755`
12×	`add-cbrt-cube_binary64_1819`
10×	`div-exp_binary64_1834`
6×	`associate-/l*_binary64_1728` `div-inv_binary64_1780`
5×	`pow1_binary64_1844`
4×	`cbrt-undiv_binary64_1817` `associate-r_binary64_1723`
3×	`associate-l_binary64_1724` `add-log-exp_binary64_1822`
2×	`associate-*r/_binary64_1725` `associate-/l/_binary64_1730` `flip-+_binary64_1757` `frac-2neg_binary64_1794` `flip3-+_binary64_1786` `clear-num_binary64_1782` `pow-to-exp_binary64_1852` `pow-exp_binary64_1851`
1×	`associate-/r/_binary64_1729` `distribute-lft-in_binary64_1732` `distribute-lft-out_binary64_1734` `cbrt-unprod_binary64_1816` `prod-exp_binary64_1832` `*-commutative_binary64_1714` `distribute-rgt-in_binary64_1733` `pow-prod-down_binary64_1854` `unswap-sqr_binary64_1751`

Counts

3 → 190

Calls

6 calls:

11.0ms	(/.f64 a (/.f64 (+.f64 1 (*.f64 k (+.f64 k 10))) (pow.f64 k m)))
7.0ms	(/.f64 (+.f64 1 (*.f64 k (+.f64 k 10))) (pow.f64 k m))
7.0ms	(*.f64 k (+.f64 k 10))
0.0ms	(/.f64 (+.f64 1 (*.f64 k (+.f64 k 10))) (pow.f64 k m))
0.0ms	(*.f64 k (+.f64 k 10))

series642.0ms (8.5%)

Counts

3 → 36

Calls

3 calls:

337.0ms	(/.f64 a (/.f64 (+.f64 1 (*.f64 k (+.f64 k 10))) (pow.f64 k m)))
271.0ms	(/.f64 (+.f64 1 (*.f64 k (+.f64 k 10))) (pow.f64 k m))
35.0ms	(*.f64 k (+.f64 k 10))

Compiler

Compiled 1273 to 1016 computations (20.2% saved)

simplify145.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

226 → 226

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4943	7008
1	4943	7008

prune282.0ms (3.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	225	1	226
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	226	5	231

Error

2.3b

Counts

231 → 5

Compiler

Compiled 5732 to 3153 computations (45% saved)

localize9.0ms (0.1%)

Local error

Found 6 expressions with local error:

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

rewrite38.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`add-sqr-sqrt_binary64_1805`
45×	`times-frac_binary64_1789`
38×	`*-un-lft-identity_binary64_1783`
36×	`add-cube-cbrt_binary64_1818`
31×	`associate-r_binary64_1723`
22×	`unpow-prod-down_binary64_1862`
20×	`add-exp-log_binary64_1821`
12×	`add-cbrt-cube_binary64_1819`
8×	`sqr-pow_binary64_1755`
7×	`associate-/l*_binary64_1728` `pow1_binary64_1844`
6×	`associate-l_binary64_1724` `div-exp_binary64_1834`
5×	`prod-exp_binary64_1832` `unswap-sqr_binary64_1751`
4×	`associate-/r/_binary64_1729`
3×	`associate-r/_binary64_1725` `cbrt-unprod_binary64_1816` `flip-+_binary64_1757` `associate-/r_binary64_1727` `flip3-+_binary64_1786` `add-log-exp_binary64_1822`
2×	`div-inv_binary64_1780` `cbrt-undiv_binary64_1817` `*-commutative_binary64_1714` `pow-prod-down_binary64_1854` `pow-to-exp_binary64_1852` `pow-exp_binary64_1851`
1×	`distribute-lft-in_binary64_1732` `distribute-lft-out_binary64_1734` `frac-2neg_binary64_1794` `distribute-rgt-in_binary64_1733` `clear-num_binary64_1782`

Counts

3 → 120

Calls

6 calls:

13.0ms	(.f64 a (/.f64 (pow.f64 k m) (+.f64 1 (.f64 k (+.f64 k 10)))))
6.0ms	(*.f64 k (+.f64 k 10))
6.0ms	(/.f64 (pow.f64 k m) (+.f64 1 (*.f64 k (+.f64 k 10))))
0.0ms	(*.f64 k (+.f64 k 10))
0.0ms	(/.f64 (pow.f64 k m) (+.f64 1 (*.f64 k (+.f64 k 10))))

series511.0ms (6.8%)

Counts

3 → 37

Calls

3 calls:

315.0ms	(.f64 a (/.f64 (pow.f64 k m) (+.f64 1 (.f64 k (+.f64 k 10)))))
159.0ms	(/.f64 (pow.f64 k m) (+.f64 1 (*.f64 k (+.f64 k 10))))
36.0ms	(*.f64 k (+.f64 k 10))

Compiler

Compiled 1241 to 1017 computations (18% saved)

simplify62.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

157 → 157

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5087	3744

prune160.0ms (2.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	157	0	157
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	157	5	162

Error

2.3b

Counts

162 → 5

Compiler

Compiled 3576 to 2041 computations (42.9% saved)

localize18.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b	(/.f64 a (/.f64 (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))) (pow.f64 (cbrt.f64 k) m)))
0.0b	(/.f64 (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))) (pow.f64 (cbrt.f64 k) m))
0.0b	(*.f64 k (+.f64 k 10))
0.0b	(*.f64 k (+.f64 k 10))
0.6b	(cbrt.f64 k)
0.6b	(cbrt.f64 k)
12.2b	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
12.2b	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

rewrite17.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary64_1805`
8×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
6×	`cbrt-prod_binary64_1814` `sqrt-prod_binary64_1799` `pow1_binary64_1844`
4×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821` `sqrt-div_binary64_1800` `add-log-exp_binary64_1822`
2×	`flip-+_binary64_1757` `pow1/2_binary64_1863` `flip3-+_binary64_1786` `sqrt-pow1_binary64_1801` `pow1/3_binary64_1865` `rem-sqrt-square_binary64_1796`

Counts

4 → 52

Calls

8 calls:

4.0ms	(cbrt.f64 k)
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
1.0ms	(cbrt.f64 k)
0.0ms	(*.f64 k (+.f64 k 10))

series229.0ms (3%)

Counts

4 → 28

Calls

4 calls:

81.0ms	(cbrt.f64 k)
73.0ms	(cbrt.f64 k)
38.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
37.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

Compiler

Compiled 1186 to 882 computations (25.6% saved)

simplify42.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5066	864

prune115.0ms (1.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	80	5	85

Error

2.3b

Counts

85 → 5

Compiler

Compiled 2806 to 1495 computations (46.7% saved)

simplify12.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	205	722
1	205	722

regimes144.0ms (1.9%)

Compiler: Compiled 1458 to 1185 computations (18.7% saved)

bsearch0.0ms (0%)

regimes56.0ms (0.7%)

Compiler: Compiled 267 to 282 computations (-5.6% saved)

bsearch0.0ms (0%)

regimes75.0ms (1%)

Compiler: Compiled 234 to 255 computations (-9% saved)

bsearch73.0ms (1%)

Steps

Iters	Range		Point
8	1.6150657554397767e-07	0.00017073288097889784	3.2477976376559465e-05
10	-9.495065022581644e-09	-4.273447304818209e-23	-1.7860706643506695e-12

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes73.0ms (1%)

Compiler: Compiled 201 to 225 computations (-11.9% saved)

bsearch76.0ms (1%)

Steps

Iters	Range		Point
8	1.6150657554397767e-07	0.00017073288097889784	4.278985884150029e-06
10	-9.495065022581644e-09	-4.273447304818209e-23	-3.1948433370395285e-09

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes88.0ms (1.2%)

Compiler: Compiled 135 to 168 computations (-24.4% saved)

bsearch72.0ms (1%)

Steps

Iters	Range		Point
8	1.6150657554397767e-07	0.00017073288097889784	2.176032748255031e-06
10	-9.495065022581644e-09	-4.273447304818209e-23	-4.571640876378084e-09

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes76.0ms (1%)

Compiler: Compiled 90 to 129 computations (-43.3% saved)

bsearch74.0ms (1%)

Steps

Iters	Range		Point
8	1.6150657554397767e-07	0.00017073288097889784	6.745266197517147e-07
10	-9.495065022581644e-09	-4.273447304818209e-23	-3.067743449350231e-10

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes109.0ms (1.4%)

Compiler: Compiled 75 to 114 computations (-52% saved)

bsearch78.0ms (1%)

Steps

Iters	Range		Point
8	0.12369149238784424	180.05070313000778	0.33590269322317595
9	-5.7337983439586716e+26	-9.806541755160076e+19	-9.968841800700799e+19

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes26.0ms (0.3%)

Accuracy

Total 0.0b remaining (2.4%)

Threshold costs 0.0b (2.4%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch9.0ms (0.1%)

Compiler: Compiled 166 to 127 computations (23.5% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	78	235
1	78	235

end0.0ms (0%)

sample2.1s (27.7%)

Algorithm

1×

intervals

Results

516.0ms	8000×	body	128	valid
282.0ms	3218×	body	128	invalid
93.0ms	2051×	body	128	nan

Compiler

Compiled 662 to 533 computations (19.5% saved)

Pareto

0.8172861357540421

Details

analyze1.0s (13.4%)

sample47.0ms (0.6%)

simplify206.0ms (2.7%)

prune5.0ms (0.1%)

localize9.0ms (0.1%)

rewrite26.0ms (0.3%)

series575.0ms (7.6%)

simplify63.0ms (0.8%)

prune132.0ms (1.8%)

localize9.0ms (0.1%)

rewrite47.0ms (0.6%)

series642.0ms (8.5%)

simplify145.0ms (1.9%)

prune282.0ms (3.7%)

localize9.0ms (0.1%)

rewrite38.0ms (0.5%)

series511.0ms (6.8%)

simplify62.0ms (0.8%)

prune160.0ms (2.1%)

localize18.0ms (0.2%)

rewrite17.0ms (0.2%)

series229.0ms (3%)

simplify42.0ms (0.6%)

prune115.0ms (1.5%)

simplify12.0ms (0.2%)

regimes144.0ms (1.9%)

bsearch0.0ms (0%)

regimes56.0ms (0.7%)

bsearch0.0ms (0%)

regimes75.0ms (1%)

bsearch73.0ms (1%)

regimes73.0ms (1%)

bsearch76.0ms (1%)

regimes88.0ms (1.2%)

bsearch72.0ms (1%)

regimes76.0ms (1%)

bsearch74.0ms (1%)

regimes109.0ms (1.4%)

bsearch78.0ms (1%)

regimes26.0ms (0.3%)

bsearch9.0ms (0.1%)

simplify5.0ms (0.1%)

end0.0ms (0%)

sample2.1s (27.7%)

Profiling