Details

analyze2.1s (4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 34 to 27 computations (20.6% saved)

sample46.0ms (0.1%)

Algorithm

1×

intervals

Results

21.0ms	256×	body	128	valid
1.0ms	7×	body	128	invalid

Compiler

Compiled 67 to 61 computations (9% saved)

simplify297.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (208.0ms)

Iter	Nodes	Cost
0	4835	49
1	4835	49

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

30.7b

Counts

2 → 1

Compiler

Compiled 66 to 52 computations (21.2% saved)

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (*.f64 (+.f64 y a) y) b)
0.0b	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184)
0.0b	(+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368)
0.0b	(+.f64 (*.f64 x y) z)
0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y)
0.1b	(.f64 (+.f64 (.f64 (+.f64 y a) y) b) y)
0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
30.1b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

rewrite87.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64_1464`
18×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
12×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480`
10×	`pow1_binary64_1503`
9×	`associate-r_binary64_1382` `times-frac_binary64_1448` `associate-l_binary64_1383`
6×	`associate-*l/_binary64_1385`
5×	`flip3-+_binary64_1445` `flip-+_binary64_1416`
4×	`add-log-exp_binary64_1481`
3×	`associate-/r_binary64_1386` `cbrt-unprod_binary64_1475` `associate-/l_binary64_1387` `pow-prod-down_binary64_1513` `*-commutative_binary64_1373` `prod-exp_binary64_1491` `unswap-sqr_binary64_1410`
2×	`associate-/l/_binary64_1389` `associate-/r/_binary64_1388`
1×	`cbrt-undiv_binary64_1476` `div-inv_binary64_1439` `clear-num_binary64_1441` `frac-2neg_binary64_1453` `div-exp_binary64_1493`

Counts

4 → 91

Calls

8 calls:

35.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
16.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y)
13.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
12.0ms	(.f64 (+.f64 (.f64 (+.f64 y a) y) b) y)
0.0ms	(+.f64 (*.f64 x y) z)

series8.5s (15.9%)

Counts

4 → 126

Calls

4 calls:

7.7s	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
347.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y)
229.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
200.0ms	(.f64 (+.f64 (.f64 (+.f64 y a) y) b) y)

Compiler

Compiled 21995 to 15817 computations (28.1% saved)

simplify141.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

217 → 217

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5198	15086

prune794.0ms (1.5%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	201	16	217
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	202	16	218

Error

9.8b

Counts

218 → 16

Compiler

Compiled 14591 to 5783 computations (60.4% saved)

localize36.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (*.f64 (+.f64 y a) y) b)
0.0b	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184)
0.0b	(+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368)
0.0b	(+.f64 (*.f64 x y) z)
19.1b	(cbrt.f64 (+.f64 (*.f64 (+.f64 y a) y) b))
19.1b	(cbrt.f64 (+.f64 (*.f64 (+.f64 y a) y) b))
19.1b	(cbrt.f64 (+.f64 (*.f64 y (+.f64 y a)) b))
30.1b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 y a) y) b)) (cbrt.f64 (+.f64 (.f64 (+.f64 y a) y) b))) (.f64 y (cbrt.f64 (+.f64 (*.f64 y (+.f64 y a)) b)))) c) y) i))

rewrite95.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_1464` `add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
9×	`times-frac_binary64_1448` `cbrt-prod_binary64_1473`
6×	`add-cbrt-cube_binary64_1478` `cbrt-div_binary64_1474` `add-exp-log_binary64_1480`
5×	`flip3-+_binary64_1445` `flip-+_binary64_1416`
4×	`add-log-exp_binary64_1481` `pow1_binary64_1503`
3×	`associate-/r_binary64_1386` `associate-/l_binary64_1387` `pow1/3_binary64_1524`
2×	`associate-/l/_binary64_1389` `associate-/r/_binary64_1388`
1×	`cbrt-undiv_binary64_1476` `div-inv_binary64_1439` `clear-num_binary64_1441` `frac-2neg_binary64_1453` `div-exp_binary64_1493`

Counts

4 → 70

Calls

8 calls:

60.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 y a) y) b)) (cbrt.f64 (+.f64 (.f64 (+.f64 y a) y) b))) (.f64 y (cbrt.f64 (+.f64 (*.f64 y (+.f64 y a)) b)))) c) y) i))
8.0ms	(cbrt.f64 (+.f64 (*.f64 (+.f64 y a) y) b))
7.0ms	(cbrt.f64 (+.f64 (*.f64 (+.f64 y a) y) b))
7.0ms	(cbrt.f64 (+.f64 (*.f64 y (+.f64 y a)) b))
0.0ms	(+.f64 (*.f64 x y) z)

series8.8s (16.4%)

Counts

4 → 111

Calls

4 calls:

7.9s	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 y a) y) b)) (cbrt.f64 (+.f64 (.f64 (+.f64 y a) y) b))) (.f64 y (cbrt.f64 (+.f64 (*.f64 y (+.f64 y a)) b)))) c) y) i))
304.0ms	(cbrt.f64 (+.f64 (*.f64 y (+.f64 y a)) b))
294.0ms	(cbrt.f64 (+.f64 (*.f64 (+.f64 y a) y) b))
292.0ms	(cbrt.f64 (+.f64 (*.f64 (+.f64 y a) y) b))

Compiler

Compiled 25352 to 17965 computations (29.1% saved)

simplify173.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4960	16292
1	4960	16292

prune628.0ms (1.2%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	179	2	181
Fresh	1	14	15
Picked	0	1	1
Done	0	0	0
Total	180	17	197

Error

9.8b

Counts

197 → 17

Compiler

Compiled 16483 to 5905 computations (64.2% saved)

localize26.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (*.f64 y (+.f64 y a)) b)
0.0b	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184)
0.0b	(+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368)
0.0b	(+.f64 (*.f64 x y) z)
0.1b	(.f64 y (+.f64 (.f64 y (+.f64 y a)) b))
0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
0.4b	(/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) i))
29.8b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i)))

rewrite96.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`add-sqr-sqrt_binary64_1464`
25×	`*-un-lft-identity_binary64_1442`
24×	`add-cube-cbrt_binary64_1477`
21×	`associate-r_binary64_1382` `add-exp-log_binary64_1480`
20×	`times-frac_binary64_1448`
15×	`add-cbrt-cube_binary64_1478`
11×	`pow1_binary64_1503`
9×	`associate-l_binary64_1383`
6×	`flip3-+_binary64_1445` `flip-+_binary64_1416` `prod-exp_binary64_1491`
5×	`unswap-sqr_binary64_1410`
4×	`cbrt-unprod_binary64_1475` `associate-/r/_binary64_1388` `add-log-exp_binary64_1481` `associate-*l/_binary64_1385` `div-exp_binary64_1493`
3×	`associate-r/_binary64_1384` `associate-/r_binary64_1386` `associate-/l_binary64_1387` `pow-prod-down_binary64_1513` `-commutative_binary64_1373`
2×	`cbrt-undiv_binary64_1476` `div-inv_binary64_1439` `1-exp_binary64_1486` `rec-exp_binary64_1492` `frac-times_binary64_1452`
1×	`inv-pow_binary64_1527` `clear-num_binary64_1441` `pow-flip_binary64_1516` `frac-2neg_binary64_1453` `distribute-lft-in_binary64_1391` `distribute-rgt-in_binary64_1392` `un-div-inv_binary64_1440`

Counts

4 → 117

Calls

8 calls:

40.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i)))
16.0ms	(/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) i))
12.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
12.0ms	(.f64 y (+.f64 (.f64 y (+.f64 y a)) b))
0.0ms	(+.f64 (*.f64 x y) z)

series8.9s (16.6%)

Counts

4 → 128

Calls

4 calls:

7.8s	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i)))
613.0ms	(/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) i))
236.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
205.0ms	(.f64 y (+.f64 (.f64 y (+.f64 y a)) b))

Compiler

Compiled 24067 to 17395 computations (27.7% saved)

simplify171.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

245 → 245

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5127	18157

prune797.0ms (1.5%)

Pruning

18 alts after pruning (16 fresh and 2 done)

	Pruned	Kept	Total
New	243	2	245
Fresh	1	14	15
Picked	0	1	1
Done	0	1	1
Total	244	18	262

Error

9.8b

Counts

262 → 18

Compiler

Compiled 17292 to 7008 computations (59.5% saved)

localize30.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(*.f64 (+.f64 y a) y)
0.0b	(+.f64 (*.f64 (+.f64 y a) y) b)
0.0b	(+.f64 (+.f64 (.f64 x (pow.f64 y 3)) (+.f64 (.f64 z (.f64 y y)) (.f64 y 471841060772561/17179869184))) 7925469156333415/34359738368)
0.0b	(+.f64 (.f64 z (.f64 y y)) (*.f64 y 471841060772561/17179869184))
6.1b	(+.f64 (.f64 x (pow.f64 y 3)) (+.f64 (.f64 z (.f64 y y)) (.f64 y 471841060772561/17179869184)))
6.6b	(.f64 z (.f64 y y))
7.5b	(*.f64 x (pow.f64 y 3))
30.1b	(/.f64 (+.f64 (.f64 (+.f64 (+.f64 (.f64 x (pow.f64 y 3)) (+.f64 (.f64 z (.f64 y y)) (.f64 y 471841060772561/17179869184))) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i))

rewrite71.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64_1464`
17×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
16×	`add-exp-log_binary64_1480`
13×	`associate-r_binary64_1382` `add-cbrt-cube_binary64_1478`
9×	`times-frac_binary64_1448` `add-log-exp_binary64_1481` `pow1_binary64_1503`
6×	`associate-l_binary64_1383` `prod-exp_binary64_1491`
5×	`unswap-sqr_binary64_1410`
4×	`cbrt-unprod_binary64_1475` `cube-prod_binary64_1470` `unpow-prod-down_binary64_1521`
3×	`associate-/r_binary64_1386` `sum-log_binary64_1533` `associate-/l_binary64_1387` `pow-prod-down_binary64_1513` `flip3-+_binary64_1445` `flip-+_binary64_1416`
2×	`associate-/l/_binary64_1389` `associate-/r/_binary64_1388` `*-commutative_binary64_1373` `sqr-pow_binary64_1414`
1×	`cbrt-undiv_binary64_1476` `cube-mult_binary64_1472` `pow-exp_binary64_1510` `div-inv_binary64_1439` `clear-num_binary64_1441` `+-commutative_binary64_1372` `frac-2neg_binary64_1453` `unpow3_binary64_1508` `associate-+r+_binary64_1374` `div-exp_binary64_1493` `pow-to-exp_binary64_1511`

Counts

4 → 94

Calls

8 calls:

33.0ms	(/.f64 (+.f64 (.f64 (+.f64 (+.f64 (.f64 x (pow.f64 y 3)) (+.f64 (.f64 z (.f64 y y)) (.f64 y 471841060772561/17179869184))) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i))
12.0ms	(+.f64 (.f64 x (pow.f64 y 3)) (+.f64 (.f64 z (.f64 y y)) (.f64 y 471841060772561/17179869184)))
8.0ms	(*.f64 x (pow.f64 y 3))
7.0ms	(.f64 z (.f64 y y))
0.0ms	(+.f64 (.f64 z (.f64 y y)) (*.f64 y 471841060772561/17179869184))

series8.2s (15.4%)

Counts

4 → 87

Calls

4 calls:

7.8s	(/.f64 (+.f64 (.f64 (+.f64 (+.f64 (.f64 x (pow.f64 y 3)) (+.f64 (.f64 z (.f64 y y)) (.f64 y 471841060772561/17179869184))) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i))
271.0ms	(+.f64 (.f64 x (pow.f64 y 3)) (+.f64 (.f64 z (.f64 y y)) (.f64 y 471841060772561/17179869184)))
77.0ms	(*.f64 x (pow.f64 y 3))
66.0ms	(.f64 z (.f64 y y))

Compiler

Compiled 20538 to 14564 computations (29.1% saved)

simplify137.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5069	13878

prune483.0ms (0.9%)

Pruning

19 alts after pruning (16 fresh and 3 done)

	Pruned	Kept	Total
New	180	1	181
Fresh	0	15	15
Picked	0	1	1
Done	0	2	2
Total	180	19	199

Error

9.6b

Counts

199 → 19

Compiler

Compiled 12596 to 4901 computations (61.1% saved)

simplify110.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	1456	4709
1	1456	4709

regimes2.7s (5%)

Compiler: Compiled 25168 to 16696 computations (33.7% saved)

bsearch71.0ms (0.1%)

Steps

Iters	Range		Point
9	1.3813643799719492e+52	5.7467957918659976e+57	1.969901205390635e+54
6	-2.738873490411261e+62	-4.575899612441995e+61	-5.95739283321287e+61

Compiler

Compiled 1 to 8 computations (-700% saved)

regimes1.3s (2.4%)

Compiler: Compiled 8352 to 6688 computations (19.9% saved)

bsearch65.0ms (0.1%)

Steps

Iters	Range		Point
9	1.3813643799719492e+52	5.7467957918659976e+57	5.458935799521085e+54
6	-2.738873490411261e+62	-4.575899612441995e+61	-1.0651750119814148e+62

Compiler

Compiled 1 to 8 computations (-700% saved)

regimes818.0ms (1.5%)

Compiler: Compiled 3320 to 3312 computations (0.2% saved)

bsearch137.0ms (0.3%)

Steps

Iters	Range		Point
8	1.2564145987171099e+61	3.843862327495455e+64	1.9494790515558104e+61
9	4.92308950166745e+32	5.32718375209522e+40	6.947262880171667e+39
9	-1.3461978267350044e-28	-1.0659432509002362e-34	-2.0122531788412233e-32
6	-2.738873490411261e+62	-4.575899612441995e+61	-5.037219563747754e+61

Compiler

Compiled 1 to 8 computations (-700% saved)

regimes666.0ms (1.2%)

Compiler: Compiled 2344 to 2520 computations (-7.5% saved)

bsearch58.0ms (0.1%)

Steps

Iters	Range		Point
8	1.0648401857776312e+45	1.32454963752663e+48	2.6225868897624954e+46
6	-1.541387830970432e+46	-1.1659424235779936e+45	-1.8576710324559692e+45

Compiler

Compiled 1 to 8 computations (-700% saved)

regimes657.0ms (1.2%)

Compiler: Compiled 1448 to 1776 computations (-22.7% saved)

bsearch111.0ms (0.2%)

Steps

Iters	Range		Point
8	1.0648401857776312e+45	1.32454963752663e+48	4.187628943681715e+46
9	2.1510358089073773e-123	8.307784015435229e-116	3.379665162233978e-116
9	-4.575899612441995e+61	-2.888615076965854e+52	-4.052967791373937e+53

Compiler

Compiled 1 to 8 computations (-700% saved)

regimes794.0ms (1.5%)

Compiler: Compiled 1248 to 1600 computations (-28.2% saved)

bsearch68.0ms (0.1%)

Steps

Iters	Range		Point
8	1.0648401857776312e+45	1.32454963752663e+48	3.819383754524252e+46
8	-1.1659424235779936e+45	-3.994574193151878e+42	-7.430207020246087e+44

Compiler

Compiled 1 to 8 computations (-700% saved)

regimes510.0ms (1%)

Compiler: Compiled 664 to 1072 computations (-61.4% saved)

bsearch76.0ms (0.1%)

Steps

Iters	Range		Point
8	1.2911467094550323e+19	1.3073299865903137e+23	2.2102597879494187e+21
10	-542927936527.0263	-0.05258659703340388	-3537.2386425231316

Compiler

Compiled 1 to 8 computations (-700% saved)

regimes452.0ms (0.8%)

Compiler: Compiled 312 to 728 computations (-133.3% saved)

bsearch73.0ms (0.1%)

Steps

Iters	Range		Point
10	6.20220373122134e-47	3.2625978812753552e-37	3.232918153529015e-37
7	-3.725903696164374e-13	-2.6230781059190628e-15	-1.0346588861157264e-13

Compiler

Compiled 1 to 8 computations (-700% saved)

regimes345.0ms (0.6%)

Compiler: Compiled 160 to 584 computations (-265% saved)

bsearch62.0ms (0.1%)

Steps

Iters	Range		Point
8	1.2564145987171099e+61	3.843862327495455e+64	1.2708586045076855e+61
8	-1.1659424235779936e+45	-3.994574193151878e+42	-4.039223868146957e+42

Compiler

Compiled 1 to 8 computations (-700% saved)

regimes279.0ms (0.5%)

Compiler: Compiled 72 to 480 computations (-566.7% saved)

bsearch54.0ms (0.1%)

Steps

Iters	Range		Point
8	1.32454963752663e+48	1.3813643799719492e+52	4.40289655192886e+48
6	-1.2044583869719674e+47	-1.541387830970432e+46	-1.6208311032025923e+46

Compiler

Compiled 1 to 8 computations (-700% saved)

regimes99.0ms (0.2%)

Compiler: Compiled 48 to 408 computations (-750% saved)

bsearch63.0ms (0.1%)

Steps

Iters	Range		Point
9	1.3813643799719492e+52	5.7467957918659976e+57	2.0571860638329912e+55
9	-2.497442902461308e+26	-1.3532747721562742e+21	-1.695635190650733e+21

Compiler

Compiled 1 to 8 computations (-700% saved)

regimes78.0ms (0.1%)

Accuracy

Total 3.9b remaining (35.7%)

Threshold costs 0b (0%)

Compiler

Compiled 40 to 344 computations (-760% saved)

bsearch22.0ms (0%)

Compiler: Compiled 600 to 384 computations (36% saved)

simplify12.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	299	783
1	299	783

end0.0ms (0%)

sample3.2s (6%)

Algorithm

1×

intervals

Results

678.0ms	8000×	body	128	valid
19.0ms	239×	body	128	invalid

Compiler

Compiled 3708 to 2497 computations (32.7% saved)

Pareto

0.7400007791078029

Details

analyze2.1s (4%)

sample46.0ms (0.1%)

simplify297.0ms (0.6%)

prune3.0ms (0%)

localize24.0ms (0%)

rewrite87.0ms (0.2%)

series8.5s (15.9%)

simplify141.0ms (0.3%)

prune794.0ms (1.5%)

localize36.0ms (0.1%)

rewrite95.0ms (0.2%)

series8.8s (16.4%)

simplify173.0ms (0.3%)

prune628.0ms (1.2%)

localize26.0ms (0%)

rewrite96.0ms (0.2%)

series8.9s (16.6%)

simplify171.0ms (0.3%)

prune797.0ms (1.5%)

localize30.0ms (0.1%)

rewrite71.0ms (0.1%)

series8.2s (15.4%)

simplify137.0ms (0.3%)

prune483.0ms (0.9%)

simplify110.0ms (0.2%)

regimes2.7s (5%)

bsearch71.0ms (0.1%)

regimes1.3s (2.4%)

bsearch65.0ms (0.1%)

regimes818.0ms (1.5%)

bsearch137.0ms (0.3%)

regimes666.0ms (1.2%)

bsearch58.0ms (0.1%)

regimes657.0ms (1.2%)

bsearch111.0ms (0.2%)

regimes794.0ms (1.5%)

bsearch68.0ms (0.1%)

regimes510.0ms (1%)

bsearch76.0ms (0.1%)

regimes452.0ms (0.8%)

bsearch73.0ms (0.1%)

regimes345.0ms (0.6%)

bsearch62.0ms (0.1%)

regimes279.0ms (0.5%)

bsearch54.0ms (0.1%)

regimes99.0ms (0.2%)

bsearch63.0ms (0.1%)

regimes78.0ms (0.1%)

bsearch22.0ms (0%)

simplify12.0ms (0%)

end0.0ms (0%)

sample3.2s (6%)

Profiling