Details

analyze15.0ms (0.1%)

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
49.9%	49.9%	0.1%	5
74.9%	25%	0.1%	6
87.4%	12.5%	0.1%	7
93.6%	6.2%	0.1%	8
96.7%	3.1%	0.1%	9
98.3%	1.6%	0.1%	10
99.1%	0.8%	0.1%	11
99.5%	0.4%	0.1%	12
99.7%	0.2%	0.1%	13
99.8%	0.1%	0.1%	14

Compiler

Compiled 15 to 12 computations (20% saved)

sample26.0ms (0.2%)

Algorithm

1×

intervals

Results

16.0ms

256×

body

128

valid

Compiler

Compiled 29 to 26 computations (10.3% saved)

simplify94.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	22	21
1	22	21

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

37.7b

Counts

2 → 1

Compiler

Compiled 28 to 22 computations (21.4% saved)

localize10.0ms (0.1%)

Local error

Found 8 expressions with local error:

35.0b	(sqrt.f64 (/.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)) 3))
0.1b	(/.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)) 3)
0.0b	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))
0.0b	(+.f64 (.f64 x x) (.f64 y y))
0.0b	(+.f64 (.f64 x x) (.f64 y y))
0.0b	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))
0.1b	(/.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)) 3)
35.0b	(sqrt.f64 (/.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)) 3))

rewrite40.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64_23970`
19×	`*-un-lft-identity_binary64_23948` `add-cube-cbrt_binary64_23983` `times-frac_binary64_23954`
13×	`sqrt-prod_binary64_23964`
11×	`add-log-exp_binary64_23987`
6×	`add-exp-log_binary64_23986` `add-cbrt-cube_binary64_23984`
5×	`pow1_binary64_24009`
4×	`sum-log_binary64_24039`
3×	`flip-+_binary64_23922` `associate-/l_binary64_23893` `flip3-+_binary64_23951` `associate-/r_binary64_23892`
2×	`associate-/l/_binary64_23895` `rem-sqrt-square_binary64_23961` `div-inv_binary64_23945` `+-commutative_binary64_23878`
1×	`div-exp_binary64_23999` `cbrt-undiv_binary64_23982` `pow1/2_binary64_24028` `sqrt-div_binary64_23965` `clear-num_binary64_23947` `associate-+l+_binary64_23881` `sqrt-pow1_binary64_23966` `frac-2neg_binary64_23959`

Counts

4 → 78

Calls

8 calls:

12.0ms	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))
10.0ms	(/.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)) 3)
7.0ms	(sqrt.f64 (/.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)) 3))
4.0ms	(+.f64 (.f64 x x) (.f64 y y))
0.0ms	(+.f64 (.f64 x x) (.f64 y y))

series995.0ms (7%)

Counts

4 → 74

Calls

4 calls:

499.0ms	(sqrt.f64 (/.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)) 3))
233.0ms	(/.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)) 3)
177.0ms	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))
85.0ms	(+.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 2550 to 2394 computations (6.1% saved)

simplify91.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4967	3890
1	4967	3890

prune211.0ms (1.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	141	11	152
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	142	11	153

Error

0.8b

Counts

153 → 11

Compiler

Compiled 3377 to 1283 computations (62% saved)

localize10.0ms (0.1%)

Local error

Found 8 expressions with local error:

35.0b	(sqrt.f64 (.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)) 1/3))
0.1b	(.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)) 1/3)
0.0b	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))
0.0b	(+.f64 (.f64 x x) (.f64 y y))
0.0b	(+.f64 (.f64 x x) (.f64 y y))
0.0b	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))
0.1b	(.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)) 1/3)
35.0b	(sqrt.f64 (.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)) 1/3))

rewrite34.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-log-exp_binary64_23987`
9×	`pow1_binary64_24009`
8×	`add-sqr-sqrt_binary64_23970`
6×	`*-un-lft-identity_binary64_23948` `add-exp-log_binary64_23986` `add-cube-cbrt_binary64_23983` `add-cbrt-cube_binary64_23984`
4×	`flip-+_binary64_23922` `flip3-+_binary64_23951` `associate-*l/_binary64_23891` `sum-log_binary64_24039`
3×	`associate-l_binary64_23889` `associate-r_binary64_23888`
2×	`sqrt-div_binary64_23965` `sqrt-pow1_binary64_23966` `+-commutative_binary64_23878` `pow-prod-down_binary64_24019`
1×	`prod-exp_binary64_23997` `sqrt-prod_binary64_23964` `pow1/2_binary64_24028` `cbrt-unprod_binary64_23981` `*-commutative_binary64_23879` `associate-+l+_binary64_23881` `unswap-sqr_binary64_23916`

Counts

4 → 57

Calls

8 calls:

9.0ms	(.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)) 1/3)
8.0ms	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))
7.0ms	(sqrt.f64 (.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)) 1/3))
5.0ms	(+.f64 (.f64 x x) (.f64 y y))
0.0ms	(+.f64 (.f64 x x) (.f64 y y))

series1.0s (7.1%)

Counts

4 → 74

Calls

4 calls:

500.0ms	(sqrt.f64 (.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)) 1/3))
243.0ms	(.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)) 1/3)
175.0ms	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))
84.0ms	(+.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 2550 to 2394 computations (6.1% saved)

simplify81.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4980	3079
1	4980	3079

prune123.0ms (0.9%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	131	0	131
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	131	11	142

Error

0.8b

Counts

142 → 11

Compiler

Compiled 2798 to 1120 computations (60% saved)

localize15.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))
0.0b	(+.f64 (.f64 x x) (.f64 y y))
0.0b	(+.f64 (.f64 x x) (.f64 y y))
0.0b	(sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))))
0.1b	(sqrt.f64 (/.f64 (sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))) 3))
0.3b	(.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))) 3)))
34.9b	(sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))
34.9b	(sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))

rewrite71.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

102×	`sqrt-prod_binary64_23964`
73×	`add-sqr-sqrt_binary64_23970`
44×	`times-frac_binary64_23954`
36×	`*-un-lft-identity_binary64_23948` `add-cube-cbrt_binary64_23983`
25×	`associate-r_binary64_23888`
16×	`sqrt-div_binary64_23965`
12×	`unswap-sqr_binary64_23916`
11×	`pow1_binary64_24009`
9×	`associate-l_binary64_23889`
6×	`add-exp-log_binary64_23986` `add-cbrt-cube_binary64_23984`
5×	`rem-sqrt-square_binary64_23961` `pow1/2_binary64_24028` `sqrt-pow1_binary64_23966`
4×	`flip-+_binary64_23922` `flip3-+_binary64_23951` `add-log-exp_binary64_23987`
3×	`pow-prod-down_binary64_24019`
2×	`div-inv_binary64_23945` `associate-*l/_binary64_23891` `frac-times_binary64_23958`
1×	`prod-exp_binary64_23997` `sqrt-unprod_binary64_23968` `associate-r/_binary64_23890` `cbrt-unprod_binary64_23981` `-commutative_binary64_23879`

Counts

4 → 130

Calls

8 calls:

26.0ms	(.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))) 3)))
8.0ms	(sqrt.f64 (/.f64 (sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))) 3))
6.0ms	(sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))
6.0ms	(sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))
0.0ms	(sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))))

series1.6s (11.5%)

Counts

4 → 92

Calls

4 calls:

535.0ms	(sqrt.f64 (/.f64 (sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))) 3))
506.0ms	(.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))) 3)))
296.0ms	(sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))
293.0ms	(sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))

Compiler

Compiled 6435 to 5329 computations (17.2% saved)

simplify102.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

222 → 222

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5125	9715

prune303.0ms (2.1%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	221	1	222
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	221	12	233

Error

0.8b

Counts

233 → 12

Compiler

Compiled 9517 to 2867 computations (69.9% saved)

localize15.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))
0.0b	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))
0.0b	(+.f64 (.f64 x x) (.f64 y y))
0.0b	(+.f64 (.f64 x x) (.f64 y y))
0.3b	(/.f64 (cbrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))) 3)
0.4b	(.f64 (fabs.f64 (cbrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)))) (sqrt.f64 (/.f64 (cbrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))) 3)))
36.1b	(cbrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))
36.1b	(cbrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))

rewrite56.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

46×	`add-sqr-sqrt_binary64_23970`
38×	`times-frac_binary64_23954`
36×	`*-un-lft-identity_binary64_23948` `add-cube-cbrt_binary64_23983`
28×	`cbrt-prod_binary64_23979`
25×	`sqrt-prod_binary64_23964` `associate-r_binary64_23888`
8×	`add-exp-log_binary64_23986`
7×	`add-cbrt-cube_binary64_23984`
6×	`cbrt-div_binary64_23980` `associate-/l*_binary64_23893` `pow1_binary64_24009`
4×	`unswap-sqr_binary64_23916` `add-log-exp_binary64_23987`
3×	`associate-l_binary64_23889` `flip-+_binary64_23922` `flip3-+_binary64_23951` `associate-/r*_binary64_23892`
2×	`associate-/l/_binary64_23895` `div-inv_binary64_23945` `pow1/3_binary64_24030`
1×	`div-exp_binary64_23999` `prod-exp_binary64_23997` `associate-r/_binary64_23890` `cbrt-undiv_binary64_23982` `sqrt-div_binary64_23965` `cbrt-unprod_binary64_23981` `clear-num_binary64_23947` `-commutative_binary64_23879` `frac-2neg_binary64_23959` `pow-prod-down_binary64_24019`

Counts

4 → 111

Calls

8 calls:

16.0ms	(.f64 (fabs.f64 (cbrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)))) (sqrt.f64 (/.f64 (cbrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))) 3)))
13.0ms	(/.f64 (cbrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))) 3)
6.0ms	(cbrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))
6.0ms	(cbrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))
0.0ms	(+.f64 (.f64 x x) (.f64 y y))

series2.3s (16.4%)

Counts

4 → 74

Calls

4 calls:

686.0ms	(/.f64 (cbrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))) 3)
621.0ms	(.f64 (fabs.f64 (cbrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)))) (sqrt.f64 (/.f64 (cbrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))) 3)))
519.0ms	(cbrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))
509.0ms	(cbrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))

Compiler

Compiled 6975 to 5903 computations (15.4% saved)

simplify114.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

185 → 185

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5101	6754

prune209.0ms (1.5%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	185	0	185
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	185	12	197

Error

0.8b

Counts

197 → 12

Compiler

Compiled 7294 to 1775 computations (75.7% saved)

simplify16.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	283	939
1	283	939

regimes1.2s (8.7%)

Compiler: Compiled 9255 to 6572 computations (29% saved)

bsearch59.0ms (0.4%)

Steps

Iters	Range		Point
8	6.0904884674628714e+75	2.5903976213152346e+79	2.5554730149638786e+79
7	-4.835096955294374e-116	-2.810525429425367e-117	-4.7941203005386077e-116
3	-1.1131724773928083e-39	-8.111253323989841e-40	-8.300032789610983e-40
9	-5.832586152974659e+78	-2.9970047712008687e+70	-4.141643309014705e+78

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes485.0ms (3.4%)

Compiler: Compiled 1406 to 1628 computations (-15.8% saved)

bsearch58.0ms (0.4%)

Steps

Iters	Range		Point
8	6.0904884674628714e+75	2.5903976213152346e+79	3.164424535879085e+78
7	-4.835096955294374e-116	-2.810525429425367e-117	-4.7121669910270733e-116
3	-1.1131724773928083e-39	-8.111253323989841e-40	-8.300032789610983e-40
9	-5.832586152974659e+78	-2.9970047712008687e+70	-5.733118926859368e+78

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes579.0ms (4.1%)

Compiler: Compiled 1077 to 1319 computations (-22.5% saved)

bsearch94.0ms (0.7%)

Steps

Iters	Range		Point
3	1.716811488173261e+143	2.29834506819071e+143	1.742305704916751e+143
10	4.70974931089706e-80	6.782441447836043e-64	2.5054104478274364e-73
8	-1.8588716389321746e-162	-1.831138291582656e-165	-5.766573950802635e-164
11	-1.0492293058002684e-128	-1.1762089317487447e-148	-4.403329961458749e-143
3	-1.1131724773928083e-39	-8.111253323989841e-40	-8.300032789610983e-40
9	-5.832586152974659e+78	-2.9970047712008687e+70	-4.141643309014705e+78

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes426.0ms (3%)

Compiler: Compiled 645 to 882 computations (-36.7% saved)

bsearch172.0ms (1.2%)

Steps

Iters	Range		Point
3	1.716811488173261e+143	2.29834506819071e+143	1.9462594388646717e+143
8	6.072842894167092e-162	3.0872363389337217e-158	1.2473236554611331e-159
9	-9.177088755548916e-293	-1.1336086101833339e-299	-2.004681726860074e-297
8	-8.329423029580468e-236	-5.909541446379518e-239	-1.0758450883855827e-237
5	-1.0395775490285381e-234	-2.6349510999726606e-235	-5.719689495239871e-235
9	-3.720686020136172e-204	-4.902631159730686e-213	-5.961450697293597e-207
8	-5.9042340764211435e-198	-2.0250343013293604e-200	-1.754728965313165e-199
8	-1.8588716389321746e-162	-1.831138291582656e-165	-5.902042453924911e-164
11	-1.0492293058002684e-128	-1.1762089317487447e-148	-3.042057554341231e-148
3	-1.1131724773928083e-39	-8.111253323989841e-40	-8.300032789610983e-40
9	-5.832586152974659e+78	-2.9970047712008687e+70	-8.882095954060614e+76

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes549.0ms (3.9%)

Compiler: Compiled 555 to 801 computations (-44.3% saved)

bsearch97.0ms (0.7%)

Steps

Iters	Range		Point
8	1.4096599695483581e-145	2.4587799576819902e-141	2.2779363488421198e-141
7	9.0051446542674e-296	1.8971166068067036e-293	6.21827164455149e-294
9	-3.4879740689499205e-284	-9.177088755548916e-293	-9.594926573884682e-293
8	-5.385578310313676e-245	-3.1896513697858094e-249	-3.49613143149423e-249
9	-3.720686020136172e-204	-4.902631159730686e-213	-8.775767864782322e-209
6	-4.8602744771198774e-64	-6.908851574905481e-65	-2.7942998010870872e-64

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes400.0ms (2.8%)

Compiler: Compiled 390 to 577 computations (-47.9% saved)

bsearch82.0ms (0.6%)

Steps

Iters	Range		Point
0	8.031923600794045e-107	8.070572622979095e-107	8.05124811188657e-107
7	2.6809742581480102e-135	7.647998465758453e-134	1.6221764531716504e-134
9	-3.4879740689499205e-284	-9.177088755548916e-293	-1.0101425956584445e-287
8	-5.385578310313676e-245	-3.1896513697858094e-249	-3.292643234551737e-246
9	-3.720686020136172e-204	-4.902631159730686e-213	-2.3828285817679075e-209
6	-4.8602744771198774e-64	-6.908851574905481e-65	-3.342105884761498e-64

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes181.0ms (1.3%)

Compiler: Compiled 81 to 150 computations (-85.2% saved)

bsearch77.0ms (0.5%)

Steps

Iters	Range		Point
10	8.070572622979095e-107	2.9256330880662952e-95	2.9179411951703685e-97
6	1.0472268052181379e-194	5.592232483920091e-194	4.8425621232338526e-194
9	2.870762460153114e-257	2.1537154972513227e-249	3.4395376153951726e-253
7	-1.3864835094224289e-216	-3.3849865519543574e-218	-9.799368542025818e-218
6	-4.8602744771198774e-64	-6.908851574905481e-65	-1.0016670434099076e-64

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes102.0ms (0.7%)

Compiler: Compiled 66 to 129 computations (-95.5% saved)

bsearch38.0ms (0.3%)

Steps

Iters	Range		Point
10	8.070572622979095e-107	2.9256330880662952e-95	1.4098157811235658e-95
9	-5.367320480190305e-76	-7.473283616338843e-81	-1.861654217953978e-76

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes99.0ms (0.7%)

Compiler: Compiled 51 to 108 computations (-111.8% saved)

bsearch44.0ms (0.3%)

Steps

Iters	Range	Point
8	1.5108750386323346e-104	1.2236848157210044e-101	1.0221392823644404e-101
8	-1.2009477111212586e-235	-2.8595992529249723e-239	-3.175525454867484e-239
6	-1.4010354743108802e-14	-2.575245635846785e-15	-3.520257602063463e-15

Iters

Range

Point

1.5108750386323346e-104

1.2236848157210044e-101

1.0221392823644404e-101

-1.2009477111212586e-235

-2.8595992529249723e-239

-3.175525454867484e-239

-1.4010354743108802e-14

-2.575245635846785e-15

-3.520257602063463e-15

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes78.0ms (0.6%)

Compiler: Compiled 39 to 90 computations (-130.8% saved)

bsearch20.0ms (0.1%)

Steps

Iters	Range		Point
10	8.070572622979095e-107	2.9256330880662952e-95	2.2220638076624937e-95

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes37.0ms (0.3%)

Compiler: Compiled 27 to 72 computations (-166.7% saved)

bsearch11.0ms (0.1%)

Steps

Iters	Range		Point
5	5.592232483920091e-194	1.654332427762114e-193	1.2208880481808786e-193

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes27.0ms (0.2%)

Accuracy

Total 27.2b remaining (97.3%)

Threshold costs 0b (0%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch25.0ms (0.2%)

Compiler: Compiled 533 to 405 computations (24% saved)

simplify14.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	234	810
1	234	810

end0.0ms (0%)

sample1.6s (11.5%)

Algorithm

1×

intervals

Results

349.0ms

8000×

body

128

valid

Compiler

Compiled 1191 to 883 computations (25.9% saved)

Pareto

-0.1625047913759699

Details

analyze15.0ms (0.1%)

sample26.0ms (0.2%)

simplify94.0ms (0.7%)

prune3.0ms (0%)

localize10.0ms (0.1%)

rewrite40.0ms (0.3%)

series995.0ms (7%)

simplify91.0ms (0.6%)

prune211.0ms (1.5%)

localize10.0ms (0.1%)

rewrite34.0ms (0.2%)

series1.0s (7.1%)

simplify81.0ms (0.6%)

prune123.0ms (0.9%)

localize15.0ms (0.1%)

rewrite71.0ms (0.5%)

series1.6s (11.5%)

simplify102.0ms (0.7%)

prune303.0ms (2.1%)

localize15.0ms (0.1%)

rewrite56.0ms (0.4%)

series2.3s (16.4%)

simplify114.0ms (0.8%)

prune209.0ms (1.5%)

simplify16.0ms (0.1%)

regimes1.2s (8.7%)

bsearch59.0ms (0.4%)

regimes485.0ms (3.4%)

bsearch58.0ms (0.4%)

regimes579.0ms (4.1%)

bsearch94.0ms (0.7%)

regimes426.0ms (3%)

bsearch172.0ms (1.2%)

regimes549.0ms (3.9%)

bsearch97.0ms (0.7%)

regimes400.0ms (2.8%)

bsearch82.0ms (0.6%)

regimes181.0ms (1.3%)

bsearch77.0ms (0.5%)

regimes102.0ms (0.7%)

bsearch38.0ms (0.3%)

regimes99.0ms (0.7%)

bsearch44.0ms (0.3%)

regimes78.0ms (0.6%)

bsearch20.0ms (0.1%)

regimes37.0ms (0.3%)

bsearch11.0ms (0.1%)

regimes27.0ms (0.2%)

bsearch25.0ms (0.2%)

simplify14.0ms (0.1%)

end0.0ms (0%)

sample1.6s (11.5%)

Profiling