Details

analyze1.5s (6.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.7%	98%	0.3%	13
2.5%	97.2%	0.3%	14

Compiler

Compiled 22 to 20 computations (9.1% saved)

sample43.0ms (0.2%)

Algorithm

1×

intervals

Results

13.0ms	256×	body	128	valid
11.0ms	137×	body	128	invalid

Compiler

Compiled 43 to 45 computations (-4.7% saved)

simplify202.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (108.0ms)

Iter	Nodes	Cost
0	4954	31
1	4954	31

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

0.0b

Counts

2 → 1

Compiler

Compiled 42 to 38 computations (9.5% saved)

localize221.0ms (1%)

Local error

Found 8 expressions with local error:

0.0b	(*.f64 (-.f64 y 1) z)
0.0b	(*.f64 (-.f64 t 1) a)
0.0b	(-.f64 x (*.f64 (-.f64 y 1) z))
0.0b	(*.f64 (-.f64 (+.f64 y t) 2) b)
0.0b	(-.f64 x (*.f64 (-.f64 y 1) z))
0.0b	(*.f64 (-.f64 (+.f64 y t) 2) b)
0.0b	(*.f64 (-.f64 y 1) z)
0.0b	(+.f64 (-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a)) (*.f64 (-.f64 (+.f64 y t) 2) b))

rewrite46.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`associate-*l/_binary64_362`
19×	`flip3--_binary64_423` `flip--_binary64_394`
18×	`add-sqr-sqrt_binary64_441`
16×	`*-un-lft-identity_binary64_419`
15×	`add-log-exp_binary64_458`
13×	`associate-l_binary64_360`
12×	`frac-add_binary64_427`
8×	`add-cube-cbrt_binary64_454` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480` `frac-sub_binary64_428`
6×	`associate-r_binary64_359`
4×	`diff-log_binary64_511` `associate-+l+_binary64_352`
3×	`sub-neg_binary64_412` `difference-of-squares_binary64_388` `sum-log_binary64_510` `distribute-lft-out--_binary64_371` `cancel-sign-sub-inv_binary64_385`
2×	`pow-prod-down_binary64_490` `associate--l+_binary64_356` `unswap-sqr_binary64_387` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `*-commutative_binary64_350`
1×	`flip3-+_binary64_422` `difference-of-sqr-1_binary64_389` `associate-+l-_binary64_354` `distribute-lft-out_binary64_370` `flip-+_binary64_393` `+-commutative_binary64_349`

Counts

4 → 89

Calls

8 calls:

15.0ms	(+.f64 (-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a)) (*.f64 (-.f64 (+.f64 y t) 2) b))
9.0ms	(*.f64 (-.f64 (+.f64 y t) 2) b)
7.0ms	(*.f64 (-.f64 y 1) z)
3.0ms	(-.f64 x (*.f64 (-.f64 y 1) z))
0.0ms	(*.f64 (-.f64 (+.f64 y t) 2) b)

series859.0ms (4%)

Counts

4 → 78

Calls

4 calls:

574.0ms	(+.f64 (-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a)) (*.f64 (-.f64 (+.f64 y t) 2) b))
118.0ms	(*.f64 (-.f64 (+.f64 y t) 2) b)
104.0ms	(-.f64 x (*.f64 (-.f64 y 1) z))
63.0ms	(*.f64 (-.f64 y 1) z)

Compiler

Compiled 2452 to 2102 computations (14.3% saved)

simplify78.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4935	4494
1	4935	4494

prune236.0ms (1.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	165	2	167
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	165	3	168

Error

0.0b

Counts

168 → 3

Compiler

Compiled 4901 to 2643 computations (46.1% saved)

localize13.0ms (0.1%)

Local error

Found 6 expressions with local error:

0.0b	(+.f64 (*.f64 y b) (+.f64 z a))
0.0b	(-.f64 (+.f64 x (+.f64 (.f64 y b) (+.f64 z a))) (+.f64 (.f64 2 b) (*.f64 y z)))
0.0b	(+.f64 (.f64 2 b) (.f64 y z))
0.0b	(+.f64 (.f64 2 b) (.f64 y z))
0.0b	(-.f64 (+.f64 x (+.f64 (.f64 y b) (+.f64 z a))) (+.f64 (.f64 2 b) (*.f64 y z)))
0.0b	(+.f64 (*.f64 y b) (+.f64 z a))

rewrite34.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`add-log-exp_binary64_458`
20×	`sum-log_binary64_510`
9×	`*-un-lft-identity_binary64_419`
8×	`diff-log_binary64_511`
6×	`flip3-+_binary64_422` `add-sqr-sqrt_binary64_441` `flip-+_binary64_393`
4×	`add-cube-cbrt_binary64_454` `frac-sub_binary64_428`
3×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `cancel-sign-sub-inv_binary64_385` `pow1_binary64_480`
2×	`distribute-lft-out--_binary64_371` `+-commutative_binary64_349`
1×	`associate-+r+_binary64_351` `associate--l+_binary64_356` `sub-neg_binary64_412` `difference-of-squares_binary64_388` `distribute-lft-out_binary64_370` `flip3--_binary64_423` `associate--r+_binary64_355` `flip--_binary64_394`

Counts

3 → 54

Calls

6 calls:

15.0ms	(-.f64 (+.f64 x (+.f64 (.f64 y b) (+.f64 z a))) (+.f64 (.f64 2 b) (*.f64 y z)))
9.0ms	(+.f64 (*.f64 y b) (+.f64 z a))
4.0ms	(+.f64 (.f64 2 b) (.f64 y z))
0.0ms	(+.f64 (.f64 2 b) (.f64 y z))
0.0ms	(-.f64 (+.f64 x (+.f64 (.f64 y b) (+.f64 z a))) (+.f64 (.f64 2 b) (*.f64 y z)))

series555.0ms (2.6%)

Counts

3 → 72

Calls

3 calls:

321.0ms	(-.f64 (+.f64 x (+.f64 (.f64 y b) (+.f64 z a))) (+.f64 (.f64 2 b) (*.f64 y z)))
124.0ms	(+.f64 (*.f64 y b) (+.f64 z a))
110.0ms	(+.f64 (.f64 2 b) (.f64 y z))

Compiler

Compiled 1592 to 1489 computations (6.5% saved)

simplify67.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5019	2324

prune106.0ms (0.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	126	0	126
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	126	3	129

Error

0.0b

Counts

129 → 3

Compiler

Compiled 2450 to 765 computations (68.8% saved)

localize22.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(*.f64 (-.f64 y 1) z)
0.0b	(*.f64 (-.f64 t 1) a)
0.0b	(-.f64 x (*.f64 (-.f64 y 1) z))
0.0b	(+.f64 (+.f64 y t) 2)
0.0b	(+.f64 (-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a)) (/.f64 (.f64 b (-.f64 (.f64 (+.f64 y t) (+.f64 y t)) 4)) (+.f64 (+.f64 y t) 2)))
0.0b	(*.f64 (+.f64 y t) (+.f64 y t))
6.1b	(.f64 b (-.f64 (.f64 (+.f64 y t) (+.f64 y t)) 4))
10.4b	(/.f64 (.f64 b (-.f64 (.f64 (+.f64 y t) (+.f64 y t)) 4)) (+.f64 (+.f64 y t) 2))

rewrite80.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`*-un-lft-identity_binary64_419`
19×	`add-sqr-sqrt_binary64_441`
14×	`add-cube-cbrt_binary64_454`
13×	`add-log-exp_binary64_458` `distribute-lft-out_binary64_370` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480`
9×	`distribute-rgt-in_binary64_369` `distribute-lft-in_binary64_368`
8×	`flip3-+_binary64_422` `associate-r_binary64_359` `flip-+_binary64_393` `cancel-sign-sub-inv_binary64_385`
7×	`flip3--_binary64_423` `associate-l_binary64_360` `flip--_binary64_394`
6×	`associate-l/_binary64_362` `frac-add_binary64_427` `associate--l+_binary64_356` `associate-r/_binary64_361` `swap-sqr_binary64_386`
5×	`times-frac_binary64_425` `associate-/r*_binary64_363`
4×	`sub-neg_binary64_412` `frac-times_binary64_429` `associate-+l+_binary64_352` `frac-sub_binary64_428`
3×	`prod-exp_binary64_468` `cbrt-unprod_binary64_452` `sum-log_binary64_510` `diff-log_binary64_511`
2×	`pow-prod-down_binary64_490` `unswap-sqr_binary64_387` `associate-/r/_binary64_365` `*-commutative_binary64_350` `div-exp_binary64_470` `cbrt-undiv_binary64_453` `associate-/l/_binary64_366`
1×	`clear-num_binary64_418` `difference-of-squares_binary64_388` `div-inv_binary64_416` `associate-+l-_binary64_354` `pow-plus_binary64_482` `frac-2neg_binary64_430` `pow-sqr_binary64_392` `pow-prod-up_binary64_489` `+-commutative_binary64_349` `pow2_binary64_500` `associate-/l*_binary64_364`

Counts

4 → 127

Calls

8 calls:

19.0ms	(/.f64 (.f64 b (-.f64 (.f64 (+.f64 y t) (+.f64 y t)) 4)) (+.f64 (+.f64 y t) 2))
17.0ms	(+.f64 (-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a)) (/.f64 (.f64 b (-.f64 (.f64 (+.f64 y t) (+.f64 y t)) 4)) (+.f64 (+.f64 y t) 2)))
14.0ms	(.f64 b (-.f64 (.f64 (+.f64 y t) (+.f64 y t)) 4))
9.0ms	(*.f64 (+.f64 y t) (+.f64 y t))
0.0ms	(+.f64 (+.f64 y t) 2)

series3.2s (14.8%)

Counts

4 → 82

Calls

4 calls:

2.5s	(+.f64 (-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a)) (/.f64 (.f64 b (-.f64 (.f64 (+.f64 y t) (+.f64 y t)) 4)) (+.f64 (+.f64 y t) 2)))
361.0ms	(/.f64 (.f64 b (-.f64 (.f64 (+.f64 y t) (+.f64 y t)) 4)) (+.f64 (+.f64 y t) 2))
286.0ms	(.f64 b (-.f64 (.f64 (+.f64 y t) (+.f64 y t)) 4))
63.0ms	(*.f64 (+.f64 y t) (+.f64 y t))

Compiler

Compiled 4948 to 3927 computations (20.6% saved)

simplify98.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

209 → 209

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4957	6644
1	4957	6644

prune334.0ms (1.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	209	0	209
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	209	3	212

Error

0.0b

Counts

212 → 3

Compiler

Compiled 7980 to 3906 computations (51.1% saved)

simplify21.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	487	1103
1	487	1103

regimes392.0ms (1.8%)

Compiler: Compiled 4500 to 3888 computations (13.6% saved)

bsearch0.0ms (0%)

regimes342.0ms (1.6%)

Compiler: Compiled 1560 to 1914 computations (-22.7% saved)

bsearch59.0ms (0.3%)

Steps

Iters	Range		Point
8	4.9380750679654036e-64	1.075496963031139e-60	3.9852866885279064e-63
8	-3.1695518304229697e-48	-7.114500546444448e-53	-1.3187893073455861e-52

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes620.0ms (2.9%)

Compiler: Compiled 1446 to 1806 computations (-24.9% saved)

bsearch47.0ms (0.2%)

Steps

Iters	Range		Point
4	679239097.6273086	1325121499.9394014	955591397.4342043
10	-470837589370004.5	-436.0915298047044	-451.0800055319352

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes561.0ms (2.6%)

Compiler: Compiled 1242 to 1620 computations (-30.4% saved)

bsearch57.0ms (0.3%)

Steps

Iters	Range		Point
7	2.25222605094482	83.77623926288368	4.472602804038034
9	-3.271316302126468e-10	-7.095204273528494e-17	-2.818520382346146e-10

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes524.0ms (2.4%)

Compiler: Compiled 1050 to 1446 computations (-37.7% saved)

bsearch56.0ms (0.3%)

Steps

Iters	Range		Point
7	2.25222605094482	83.77623926288368	13.902432390601437
9	-3.271316302126468e-10	-7.095204273528494e-17	-3.120384328866361e-10

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes501.0ms (2.3%)

Compiler: Compiled 960 to 1362 computations (-41.9% saved)

bsearch114.0ms (0.5%)

Steps

Iters	Range		Point
6	4.7602183060011604e+83	2.9847614265938758e+84	7.107413531081618e+83
10	5.78477463340114e+55	3.2454655147509083e+66	4.553866098086157e+65
6	1992646.3327048812	13562161.709760146	7681977.99245632
9	-1.7780197340108958e+34	-6.7067303636703374e+25	-7.340363386292523e+27

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes520.0ms (2.4%)

Compiler: Compiled 870 to 1272 computations (-46.2% saved)

bsearch185.0ms (0.9%)

Steps

Iters	Range		Point
9	3.4713702045007738e+196	8.8499358548832e+201	2.665066881937698e+200
8	2.0687688119640683e+99	1.0403072692304724e+102	2.0879205884968323e+99
7	2.25222605094482	83.77623926288368	62.87447686629527
9	-3.271316302126468e-10	-7.095204273528494e-17	-3.7014877968800364e-11
9	-9.045686113123678e+176	-2.2160110665015423e+167	-5.3944973119599425e+175

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes567.0ms (2.6%)

Compiler: Compiled 792 to 1194 computations (-50.8% saved)

bsearch194.0ms (0.9%)

Steps

Iters	Range		Point
4	6.414634500478878e+174	1.174731498492726e+175	6.521394169714953e+174
10	1.3125882796494752e+157	6.414634500478878e+174	6.301193105352132e+174
4	1.7726289368638974e+54	2.822475210628954e+54	2.0022828092500033e+54
8	453950386416851.2	1.523801787360244e+17	458592851144532.5
4	17.522999410363845	28.196995020056836	27.863432657253927
8	-2.4606695296208684e-12	-9.831024109928509e-17	-2.4088646846941745e-12
2	-6.527432476713273e+27	-5.796543930817842e+27	-6.436071408476345e+27
8	-6.144481743189143e+71	-2.7701851143815006e+67	-9.980655217215471e+67

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes486.0ms (2.3%)

Compiler: Compiled 636 to 1038 computations (-63.2% saved)

bsearch135.0ms (0.6%)

Steps

Iters	Range		Point
4	6.414634500478878e+174	1.174731498492726e+175	6.521394169714953e+174
8	453950386416851.2	1.523801787360244e+17	486447639510620.56
4	17.522999410363845	28.196995020056836	27.863432657253927
8	-2.4606695296208684e-12	-9.831024109928509e-17	-2.4088646846941745e-12
6	-5.356022090499644e+19	-5.407259124583583e+18	-4.8834337610051715e+19
8	-6.144481743189143e+71	-2.7701851143815006e+67	-2.845817993780598e+67

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes430.0ms (2%)

Compiler: Compiled 558 to 966 computations (-73.1% saved)

bsearch237.0ms (1.1%)

Steps

Iters	Range		Point
7	2.25222605094482	83.77623926288368	82.48051658463113
10	1.7633346885978545e-69	9.271152169448153e-58	1.7544651665732537e-65
9	7.138940866136735e-233	2.607033031957202e-227	7.21152116072856e-233
7	2.051003008161659e-251	3.9544019925985455e-249	1.86805736651541e-249
8	-2.220247855520594e-263	-5.025976088061266e-267	-6.766942446714203e-265
10	-1042028.8667403301	-3.271316302126468e-10	-1028823.7486139742
8	-3.849028116870546e+126	-1.6290920621845295e+123	-1.2728942492007393e+125
8	-6.789095691159506e+163	-8.824460551283862e+160	-1.7590006622047292e+161

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes429.0ms (2%)

Compiler: Compiled 492 to 894 computations (-81.7% saved)

bsearch151.0ms (0.7%)

Steps

Iters	Range		Point
7	2.25222605094482	83.77623926288368	82.48051658463113
10	1.7633346885978545e-69	9.271152169448153e-58	1.0438123176851027e-59
10	-1042028.8667403301	-3.271316302126468e-10	-923182.8036031268
8	-3.849028116870546e+126	-1.6290920621845295e+123	-5.417487817274215e+124
8	-6.789095691159506e+163	-8.824460551283862e+160	-3.1820103280550196e+162

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes347.0ms (1.6%)

Compiler: Compiled 372 to 762 computations (-104.8% saved)

bsearch121.0ms (0.6%)

Steps

Iters	Range		Point
8	3.0625280627090906e+35	1.310556576279725e+39	3.1017380097605992e+35
7	61139.85497950295	13345229.56290536	9041952.446895225
7	-7.723477075965568e-18	-4.416698527277474e-19	-7.612491392184512e-18
9	-1.845596481216679e+21	-470837589370004.5	-476854812406050.4
5	-3.460721175199199e+81	-1.640226128874137e+81	-2.9089100716404973e+81

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes322.0ms (1.5%)

Compiler: Compiled 318 to 696 computations (-118.9% saved)

bsearch56.0ms (0.3%)

Steps

Iters	Range		Point
8	83.77623926288368	3461775.9551153835	3398936.353265873
10	-1042028.8667403301	-3.271316302126468e-10	-606259.9685705845

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes557.0ms (2.6%)

Compiler: Compiled 264 to 630 computations (-138.6% saved)

bsearch276.0ms (1.3%)

Steps

Iters	Range		Point
5	5.88875533288381e+84	2.2562245438459018e+85	1.2704704441816353e+85
10	5.78477463340114e+55	3.2454655147509083e+66	1.8996711594681104e+59
6	1992646.3327048812	13562161.709760146	7503955.999892874
8	1.1200475778742795e-96	1.412309078661433e-92	1.908208892678263e-95
5	9.934258676768308e-174	3.1545577080144353e-173	1.4503359627258517e-173
8	1.6925688694333976e-223	5.921345208712829e-220	8.141299477154104e-223
9	7.23350517489627e-241	1.4312919225023072e-235	3.798407321566729e-238
7	-1.7323698471478698e-245	-3.6606349695904113e-247	-8.522332737557256e-246
8	-3.1695518304229697e-48	-7.114500546444448e-53	-1.6265206160536293e-50
7	-0.0425741571642451	-0.00022858957915110892	-0.019083653247823948
9	-1.7780197340108958e+34	-6.7067303636703374e+25	-1.6727022708713807e+27

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes524.0ms (2.4%)

Compiler: Compiled 222 to 570 computations (-156.8% saved)

bsearch272.0ms (1.3%)

Steps

Iters	Range		Point
4	2.9847614265938758e+84	5.88875533288381e+84	3.0442078369711805e+84
8	3.732386850105963e-58	7.228482595370926e-54	1.3892828836799305e-56
8	1.1200475778742795e-96	1.412309078661433e-92	1.1410963329186284e-93
5	9.934258676768308e-174	3.1545577080144353e-173	1.4938512098733775e-173
8	1.6925688694333976e-223	5.921345208712829e-220	2.486857508932923e-223
9	7.23350517489627e-241	1.4312919225023072e-235	9.582562186221986e-237
8	-6.718600696905879e-233	-5.588634571362653e-237	-5.274387327619636e-234
7	-1.346470226307089e-176	-3.923343101629952e-178	-8.926897897336186e-178
9	-0.00022858957915110892	-1.2924026411389095e-11	-5.170147732764381e-11
7	-0.0425741571642451	-0.00022858957915110892	-0.04165987894197338
9	-1.7780197340108958e+34	-6.7067303636703374e+25	-7.235229693452492e+25

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes456.0ms (2.1%)

Compiler: Compiled 162 to 468 computations (-188.9% saved)

bsearch212.0ms (1%)

Steps

Iters	Range		Point
9	9.973574905165725e+94	1.1994121920826435e+104	1.1744092928583478e+95
7	1.2200202742349593e+20	3.539349361032792e+21	2.0340764021774468e+21
8	1.910979428146195e-183	7.152644850667398e-181	3.8138132509240755e-182
10	-7.837496954927581e-299	7.460134263482939e-305	3.178075324378247e-308
8	-3.5332051614478203e-156	-4.0316382497239625e-159	-9.874015539700766e-159
8	-1.556289975803839e-46	-5.140255349399572e-50	-1.690443233273342e-47
2	-9.590601343413125e-05	-8.269170971557526e-05	-8.434349768039477e-05
8	-1.0636597081738623e+124	-1.1235977493685105e+120	-9.419162613535345e+121

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes357.0ms (1.7%)

Compiler: Compiled 132 to 420 computations (-218.2% saved)

bsearch104.0ms (0.5%)

Steps

Iters	Range		Point
6	3.754001717493074e+37	2.7941603702578336e+38	1.0048656238959726e+38
7	5.506732554618871e-199	8.279767520427476e-197	1.3225486140273915e-197
8	-3.5332051614478203e-156	-4.0316382497239625e-159	-2.850552033455439e-157
8	-1.0636597081738623e+124	-1.1235977493685105e+120	-2.0976053240691013e+121

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes286.0ms (1.3%)

Compiler: Compiled 102 to 366 computations (-258.8% saved)

bsearch157.0ms (0.7%)

Steps

Iters	Range		Point
6	3.754001717493074e+37	2.7941603702578336e+38	1.4637901082782335e+38
9	4.4086031122662654e-250	2.948722180810703e-245	4.539809863619804e-250
6	-4.084709619215711e-288	-2.5754637693405535e-289	-2.9166801540085174e-288
6	-2.6215975224820273e-220	-1.7087606051105205e-221	-2.5671467527733376e-220
8	-3.5332051614478203e-156	-4.0316382497239625e-159	-7.289685124884503e-157
8	-1.0636597081738623e+124	-1.1235977493685105e+120	-2.875708499157707e+120

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes188.0ms (0.9%)

Compiler: Compiled 72 to 318 computations (-341.7% saved)

bsearch51.0ms (0.2%)

Steps

Iters	Range		Point
6	3.754001717493074e+37	2.7941603702578336e+38	1.6167649364056539e+38
8	-1.0636597081738623e+124	-1.1235977493685105e+120	-5.201700756471877e+121

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes150.0ms (0.7%)

Compiler: Compiled 42 to 270 computations (-542.9% saved)

bsearch58.0ms (0.3%)

Steps

Iters	Range		Point
6	3.754001717493074e+37	2.7941603702578336e+38	1.234327866087103e+38
10	-2.321677823203929e+94	-9.380341315129082e+75	-1.0028015638558362e+76

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes61.0ms (0.3%)

Compiler: Compiled 36 to 234 computations (-550% saved)

bsearch0.0ms (0%)

regimes55.0ms (0.3%)

Compiler: Compiled 30 to 198 computations (-560% saved)

bsearch0.0ms (0%)

regimes50.0ms (0.2%)

Accuracy

Total 0.0b remaining (62.1%)

Threshold costs 0.0b (62.1%)

Compiler

Compiled 24 to 156 computations (-550% saved)

bsearch38.0ms (0.2%)

Compiler: Compiled 1234 to 762 computations (38.2% saved)

simplify29.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (9.0ms)

Iter	Nodes	Cost
0	547	1691
1	547	1691

end0.0ms (0%)

sample2.6s (11.9%)

Algorithm

1×

intervals

Results

413.0ms	7997×	body	128	valid
250.0ms	4445×	body	128	invalid
0.0ms	3×	body	512	valid

Compiler

Compiled 1933 to 1397 computations (27.7% saved)

Pareto

0.03824632570573683

Details

analyze1.5s (6.8%)

sample43.0ms (0.2%)

simplify202.0ms (0.9%)

prune3.0ms (0%)

localize221.0ms (1%)

rewrite46.0ms (0.2%)

series859.0ms (4%)

simplify78.0ms (0.4%)

prune236.0ms (1.1%)

localize13.0ms (0.1%)

rewrite34.0ms (0.2%)

series555.0ms (2.6%)

simplify67.0ms (0.3%)

prune106.0ms (0.5%)

localize22.0ms (0.1%)

rewrite80.0ms (0.4%)

series3.2s (14.8%)

simplify98.0ms (0.5%)

prune334.0ms (1.5%)

simplify21.0ms (0.1%)

regimes392.0ms (1.8%)

bsearch0.0ms (0%)

regimes342.0ms (1.6%)

bsearch59.0ms (0.3%)

regimes620.0ms (2.9%)

bsearch47.0ms (0.2%)

regimes561.0ms (2.6%)

bsearch57.0ms (0.3%)

regimes524.0ms (2.4%)

bsearch56.0ms (0.3%)

regimes501.0ms (2.3%)

bsearch114.0ms (0.5%)

regimes520.0ms (2.4%)

bsearch185.0ms (0.9%)

regimes567.0ms (2.6%)

bsearch194.0ms (0.9%)

regimes486.0ms (2.3%)

bsearch135.0ms (0.6%)

regimes430.0ms (2%)

bsearch237.0ms (1.1%)

regimes429.0ms (2%)

bsearch151.0ms (0.7%)

regimes347.0ms (1.6%)

bsearch121.0ms (0.6%)

regimes322.0ms (1.5%)

bsearch56.0ms (0.3%)

regimes557.0ms (2.6%)

bsearch276.0ms (1.3%)

regimes524.0ms (2.4%)

bsearch272.0ms (1.3%)

regimes456.0ms (2.1%)

bsearch212.0ms (1%)

regimes357.0ms (1.7%)

bsearch104.0ms (0.5%)

regimes286.0ms (1.3%)

bsearch157.0ms (0.7%)

regimes188.0ms (0.9%)

bsearch51.0ms (0.2%)

regimes150.0ms (0.7%)

bsearch58.0ms (0.3%)

regimes61.0ms (0.3%)

bsearch0.0ms (0%)

regimes55.0ms (0.3%)

bsearch0.0ms (0%)

regimes50.0ms (0.2%)

bsearch38.0ms (0.2%)

simplify29.0ms (0.1%)

end0.0ms (0%)

sample2.6s (11.9%)

Profiling