Details

analyze1.5s (10.2%)

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.2%	98.5%	0.3%	13
1.8%	97.9%	0.3%	14

Compiler

Compiled 18 to 18 computations (0% saved)

sample48.0ms (0.3%)

Algorithm

1×

intervals

Results

13.0ms	256×	body	128	valid
6.0ms	114×	body	128	invalid

Compiler

Compiled 35 to 42 computations (-20% saved)

simplify166.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	937	25
1	937	25

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 34 to 34 computations (0% saved)

localize19.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
0.0b	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
0.0b	(/.f64 (*.f64 a b) 4)
0.0b	(/.f64 (*.f64 a b) 4)
0.0b	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
0.0b	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))

rewrite48.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-log-exp_binary64_4550`
17×	`*-un-lft-identity_binary64_4511`
14×	`cancel-sign-sub-inv_binary64_4477`
12×	`add-sqr-sqrt_binary64_4533`
10×	`add-cube-cbrt_binary64_4546`
9×	`add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549` `associate-+l+_binary64_4444` `times-frac_binary64_4517`
6×	`sum-log_binary64_4602`
4×	`pow1_binary64_4572` `diff-log_binary64_4603`
3×	`flip-+_binary64_4485` `flip3-+_binary64_4514` `associate-/r*_binary64_4455` `div-inv_binary64_4508`
2×	`distribute-lft-out--_binary64_4463` `distribute-lft-out_binary64_4462` `+-commutative_binary64_4441` `frac-sub_binary64_4520` `div-exp_binary64_4562` `associate--l+_binary64_4448` `sub-neg_binary64_4504` `cbrt-undiv_binary64_4545`
1×	`flip--_binary64_4486` `associate-+l-_binary64_4446` `associate-/l*_binary64_4456` `flip3--_binary64_4515` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `difference-of-squares_binary64_4480` `frac-2neg_binary64_4522` `clear-num_binary64_4510`

Counts

4 → 81

Calls

8 calls:

16.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
12.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
6.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
5.0ms	(/.f64 (*.f64 a b) 4)
0.0ms	(/.f64 (*.f64 a b) 4)

series1.2s (8.3%)

Counts

4 → 108

Calls

4 calls:

546.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
426.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
191.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
57.0ms	(/.f64 (*.f64 a b) 4)

Compiler

Compiled 2367 to 2536 computations (-7.1% saved)

simplify76.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5014	3291

prune173.0ms (1.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	186	3	189
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	186	4	190

Error

Counts

190 → 4

Compiler

Compiled 3440 to 1559 computations (54.7% saved)

localize23.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.2b	(/.f64 a (*.f64 (cbrt.f64 4) (cbrt.f64 4)))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 (/.f64 a (.f64 (cbrt.f64 4) (cbrt.f64 4))) b) (cbrt.f64 4))) c)
0.0b	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 (/.f64 a (.f64 (cbrt.f64 4) (cbrt.f64 4))) b) (cbrt.f64 4)))
0.2b	(/.f64 a (*.f64 (cbrt.f64 4) (cbrt.f64 4)))
0.2b	(.f64 (/.f64 a (.f64 (cbrt.f64 4) (cbrt.f64 4))) b)
0.4b	(/.f64 (.f64 (/.f64 a (.f64 (cbrt.f64 4) (cbrt.f64 4))) b) (cbrt.f64 4))
1.0b	(*.f64 (cbrt.f64 4) (cbrt.f64 4))

rewrite47.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`add-exp-log_binary64_4549`
33×	`add-sqr-sqrt_binary64_4533`
22×	`add-cbrt-cube_binary64_4547` `cbrt-prod_binary64_4542`
21×	`*-un-lft-identity_binary64_4511` `add-cube-cbrt_binary64_4546`
13×	`pow1_binary64_4572` `associate-l_binary64_4452` `times-frac_binary64_4517`
10×	`prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `div-exp_binary64_4562` `cbrt-undiv_binary64_4545`
9×	`associate-r_binary64_4451`
7×	`associate-/r*_binary64_4455`
6×	`pow1/3_binary64_4593` `unswap-sqr_binary64_4479` `swap-sqr_binary64_4478`
4×	`associate-/l*_binary64_4456` `add-log-exp_binary64_4550`
3×	`pow-prod-down_binary64_4582` `div-inv_binary64_4508`
2×	`pow-prod-up_binary64_4581` `pow-sqr_binary64_4484` `frac-2neg_binary64_4522` `-commutative_binary64_4442` `associate-l/_binary64_4454` `clear-num_binary64_4510`
1×	`pow-plus_binary64_4574` `associate-/l/_binary64_4458` `pow2_binary64_4592`

Counts

4 → 121

Calls

8 calls:

11.0ms	(/.f64 (.f64 (/.f64 a (.f64 (cbrt.f64 4) (cbrt.f64 4))) b) (cbrt.f64 4))
10.0ms	(.f64 (/.f64 a (.f64 (cbrt.f64 4) (cbrt.f64 4))) b)
7.0ms	(*.f64 (cbrt.f64 4) (cbrt.f64 4))
7.0ms	(/.f64 a (*.f64 (cbrt.f64 4) (cbrt.f64 4)))
0.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 (/.f64 a (.f64 (cbrt.f64 4) (cbrt.f64 4))) b) (cbrt.f64 4)))

series406.0ms (2.8%)

Counts

4 → 15

Calls

4 calls:

186.0ms	(/.f64 (.f64 (/.f64 a (.f64 (cbrt.f64 4) (cbrt.f64 4))) b) (cbrt.f64 4))
153.0ms	(.f64 (/.f64 a (.f64 (cbrt.f64 4) (cbrt.f64 4))) b)
66.0ms	(/.f64 a (*.f64 (cbrt.f64 4) (cbrt.f64 4)))
0.0ms	(*.f64 (cbrt.f64 4) (cbrt.f64 4))

Compiler

Compiled 654 to 654 computations (0% saved)

simplify101.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4902	1470
1	4902	1470

prune189.0ms (1.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	136	0	136
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	136	4	140

Error

Counts

140 → 4

Compiler

Compiled 3525 to 2220 computations (37% saved)

localize20.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (/.f64 (-.f64 (.f64 (.f64 x y) (.f64 x y)) (/.f64 (.f64 (.f64 z t) (.f64 z t)) 256)) (-.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (/.f64 (*.f64 a b) 4))
0.0b	(+.f64 (-.f64 (/.f64 (-.f64 (.f64 (.f64 x y) (.f64 x y)) (/.f64 (.f64 (.f64 z t) (.f64 z t)) 256)) (-.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (/.f64 (*.f64 a b) 4)) c)
0.0b	(-.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(/.f64 (*.f64 a b) 4)
0.3b	(.f64 (.f64 z t) (*.f64 z t))
0.3b	(.f64 (.f64 x y) (*.f64 x y))
1.1b	(-.f64 (.f64 (.f64 x y) (.f64 x y)) (/.f64 (.f64 (.f64 z t) (.f64 z t)) 256))
23.1b	(/.f64 (-.f64 (.f64 (.f64 x y) (.f64 x y)) (/.f64 (.f64 (.f64 z t) (.f64 z t)) 256)) (-.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))

rewrite66.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

82×	`pow1_binary64_4572`
34×	`pow-prod-down_binary64_4582`
30×	`add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549`
26×	`add-sqr-sqrt_binary64_4533`
23×	`times-frac_binary64_4517`
16×	`prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `*-un-lft-identity_binary64_4511` `add-cube-cbrt_binary64_4546`
10×	`difference-of-squares_binary64_4480`
8×	`pow-prod-up_binary64_4581` `pow-sqr_binary64_4484`
7×	`cancel-sign-sub-inv_binary64_4477`
6×	`add-log-exp_binary64_4550`
5×	`associate-/l*_binary64_4456`
4×	`pow-plus_binary64_4574`
3×	`flip--_binary64_4486` `flip3--_binary64_4515` `associate-/r*_binary64_4455`
2×	`associate-/l/_binary64_4458` `pow2_binary64_4592` `associate-l_binary64_4452` `associate-r_binary64_4451` `associate-/r/_binary64_4457` `*-commutative_binary64_4442` `swap-sqr_binary64_4478` `div-inv_binary64_4508`
1×	`div-exp_binary64_4562` `diff-log_binary64_4603` `frac-2neg_binary64_4522` `sub-neg_binary64_4504` `div-sub_binary64_4516` `clear-num_binary64_4510` `cbrt-undiv_binary64_4545`

Counts

4 → 128

Calls

8 calls:

22.0ms	(/.f64 (-.f64 (.f64 (.f64 x y) (.f64 x y)) (/.f64 (.f64 (.f64 z t) (.f64 z t)) 256)) (-.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
12.0ms	(-.f64 (.f64 (.f64 x y) (.f64 x y)) (/.f64 (.f64 (.f64 z t) (.f64 z t)) 256))
8.0ms	(.f64 (.f64 z t) (*.f64 z t))
8.0ms	(.f64 (.f64 x y) (*.f64 x y))
0.0ms	(/.f64 (*.f64 a b) 4)

series1.2s (8.1%)

Counts

4 → 60

Calls

4 calls:

600.0ms	(/.f64 (-.f64 (.f64 (.f64 x y) (.f64 x y)) (/.f64 (.f64 (.f64 z t) (.f64 z t)) 256)) (-.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
440.0ms	(-.f64 (.f64 (.f64 x y) (.f64 x y)) (/.f64 (.f64 (.f64 z t) (.f64 z t)) 256))
80.0ms	(.f64 (.f64 x y) (*.f64 x y))
73.0ms	(.f64 (.f64 z t) (*.f64 z t))

Compiler

Compiled 2544 to 2256 computations (11.3% saved)

simplify68.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	4975	3985
1	4975	3985

prune233.0ms (1.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	187	1	188
Fresh	1	0	1
Picked	0	1	1
Done	0	2	2
Total	188	4	192

Error

Counts

192 → 4

Compiler

Compiled 6891 to 2513 computations (63.5% saved)

localize26.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (/.f64 (+.f64 (.f64 (.f64 x y) (.f64 x y)) (.f64 z (.f64 (.f64 z (.f64 t t)) -1/256))) (-.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (/.f64 (.f64 a b) 4))
0.0b	(+.f64 (-.f64 (/.f64 (+.f64 (.f64 (.f64 x y) (.f64 x y)) (.f64 z (.f64 (.f64 z (.f64 t t)) -1/256))) (-.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (/.f64 (.f64 a b) 4)) c)
0.0b	(-.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(/.f64 (*.f64 a b) 4)
1.1b	(+.f64 (.f64 (.f64 x y) (.f64 x y)) (.f64 z (.f64 (.f64 z (*.f64 t t)) -1/256)))
4.7b	(.f64 z (.f64 (.f64 z (.f64 t t)) -1/256))
11.7b	(.f64 z (.f64 t t))
23.1b	(/.f64 (+.f64 (.f64 (.f64 x y) (.f64 x y)) (.f64 z (.f64 (.f64 z (.f64 t t)) -1/256))) (-.f64 (.f64 x y) (/.f64 (*.f64 z t) 16)))

rewrite63.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549`
23×	`pow1_binary64_4572`
15×	`add-sqr-sqrt_binary64_4533`
14×	`*-un-lft-identity_binary64_4511` `add-cube-cbrt_binary64_4546`
13×	`prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `pow-prod-down_binary64_4582`
9×	`times-frac_binary64_4517`
6×	`add-log-exp_binary64_4550` `associate-l_binary64_4452`
3×	`associate-/l_binary64_4456` `associate-/r_binary64_4455`
2×	`associate-/l/_binary64_4458` `flip-+_binary64_4485` `flip3-+_binary64_4514` `associate-r_binary64_4451` `associate-/r/_binary64_4457` `*-commutative_binary64_4442`
1×	`flip--_binary64_4486` `unswap-sqr_binary64_4479` `flip3--_binary64_4515` `+-commutative_binary64_4441` `div-exp_binary64_4562` `sum-log_binary64_4602` `frac-2neg_binary64_4522` `clear-num_binary64_4510` `div-inv_binary64_4508` `cbrt-undiv_binary64_4545`

Counts

4 → 85

Calls

8 calls:

18.0ms	(/.f64 (+.f64 (.f64 (.f64 x y) (.f64 x y)) (.f64 z (.f64 (.f64 z (.f64 t t)) -1/256))) (-.f64 (.f64 x y) (/.f64 (*.f64 z t) 16)))
12.0ms	(.f64 z (.f64 (.f64 z (.f64 t t)) -1/256))
11.0ms	(+.f64 (.f64 (.f64 x y) (.f64 x y)) (.f64 z (.f64 (.f64 z (*.f64 t t)) -1/256)))
7.0ms	(.f64 z (.f64 t t))
0.0ms	(/.f64 (*.f64 a b) 4)

series1.2s (8.1%)

Counts

4 → 60

Calls

4 calls:

590.0ms	(/.f64 (+.f64 (.f64 (.f64 x y) (.f64 x y)) (.f64 z (.f64 (.f64 z (.f64 t t)) -1/256))) (-.f64 (.f64 x y) (/.f64 (*.f64 z t) 16)))
448.0ms	(+.f64 (.f64 (.f64 x y) (.f64 x y)) (.f64 z (.f64 (.f64 z (*.f64 t t)) -1/256)))
98.0ms	(.f64 z (.f64 (.f64 z (.f64 t t)) -1/256))
60.0ms	(.f64 z (.f64 t t))

Compiler

Compiled 2544 to 2244 computations (11.8% saved)

simplify83.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5014	3198

prune191.0ms (1.3%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	145	4	149

Error

Counts

149 → 4

Compiler

Compiled 5216 to 2158 computations (58.6% saved)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	340	564
1	340	564

regimes618.0ms (4.2%)

Compiler: Compiled 5448 to 5842 computations (-7.2% saved)

bsearch0.0ms (0%)

regimes712.0ms (4.8%)

Compiler: Compiled 823 to 1607 computations (-95.3% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 8 computations (-166.7% saved)

regimes391.0ms (2.7%)

Compiler: Compiled 449 to 1057 computations (-135.4% saved)

bsearch134.0ms (0.9%)

Steps

Iters	Range		Point
9	5.378228598235021e+129	4.3752157253466086e+134	2.6263893327281536e+132
10	1.4573235610421622e+50	5.24337437290369e+68	9.692911137527406e+55
8	11145092.408181936	3670923413.4027824	3073345225.9116893
6	-5.426693387982445e+71	-3.3966270991247784e+70	-1.3231688107501704e+71

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes537.0ms (3.7%)

Compiler: Compiled 350 to 940 computations (-168.6% saved)

bsearch179.0ms (1.2%)

Steps

Iters	Range		Point
9	952454064169.4364	1.5317794231392397e+17	6.462018491154386e+16
10	1.1431488805468589e-128	7.490986230621468e-112	8.009589208064184e-114
11	6.222798177198331e-209	1.2667961577612536e-189	8.672268771872651e-202
8	-1.4875385282524375e-292	-2.7748487652657763e-296	-8.218045453473396e-293
9	-1.041512510131576e-122	-6.705136214690613e-131	-9.385427873437756e-126
7	-1.754359942885733e+88	-3.104177600390378e+86	-3.615936827437096e+86

Compiler

Compiled 3 to 8 computations (-166.7% saved)

regimes472.0ms (3.2%)

Compiler: Compiled 287 to 841 computations (-193% saved)

bsearch102.0ms (0.7%)

Steps

Iters	Range		Point
6	1.5997673857920682e-106	8.042991094756742e-106	7.152315654575672e-106
9	-9.291868155523882e-303	3.760471835727399e-306	-9.132868394912338e-303
9	-2.7315211112978677e-278	-1.543239313856153e-283	-1.5616303301921585e-283
5	-4.534306592275295e+23	-2.1275312028671405e+23	-2.1533246304888406e+23

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes413.0ms (2.8%)

Compiler: Compiled 224 to 742 computations (-231.3% saved)

bsearch255.0ms (1.7%)

Steps

Iters	Range		Point
9	1.67420966677325e+87	5.33402500028046e+93	1.6951859786841058e+87
9	1.615380983462727e+54	1.4873986824567574e+59	1.47128723417187e+59
8	1.0326398043373676e-13	1.1302615760472809e-10	2.5417493863749028e-11
9	1.015693803011208e-39	1.2552658235341894e-33	1.4750853007832847e-36
8	2.429597374975705e-53	6.728887374317657e-50	3.2206639494689515e-53
7	3.5405521050702614e-247	6.9071324159385054e-245	5.677149543371174e-247
11	-3.313248323802228e-189	-6.338586133435254e-210	-1.2107859948877856e-206
8	-2.0787621186516922e-137	-4.979259412837799e-141	-7.054443217155709e-141

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes569.0ms (3.9%)

Compiler: Compiled 179 to 661 computations (-269.3% saved)

bsearch179.0ms (1.2%)

Steps

Iters	Range		Point
9	1.67420966677325e+87	5.33402500028046e+93	3.0791839645975366e+87
7	5.693886663761381e-42	1.015693803011208e-39	5.207788186786441e-41
7	3.5405521050702614e-247	6.9071324159385054e-245	1.2815553257417498e-246
7	-1.938322761673734e-115	-9.026782095914097e-117	-4.450659508288294e-116
9	-5.106568194142629e+40	-3.509004044502999e+33	-5.618601961131919e+39
7	-2.2091134442297228e+95	-1.3771512291776164e+94	-3.8973855616132646e+94

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes374.0ms (2.5%)

Compiler: Compiled 116 to 506 computations (-336.2% saved)

bsearch131.0ms (0.9%)

Steps

Iters	Range		Point
5	8.019556969717212e+97	2.9546694484231626e+98	2.3147206839008112e+98
7	3.5405521050702614e-247	6.9071324159385054e-245	2.9322843351625466e-245
8	-7.594938937636615e-113	-1.938322761673734e-115	-2.151506464726503e-115
9	-5.106568194142629e+40	-3.509004044502999e+33	-1.3172674795396669e+37
7	-2.2091134442297228e+95	-1.3771512291776164e+94	-1.7903099245224467e+94

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes242.0ms (1.6%)

Compiler: Compiled 76 to 426 computations (-460.5% saved)

bsearch54.0ms (0.4%)

Steps

Iters	Range		Point
8	2.3948618040939676e+50	1.615380983462727e+54	1.4589589106019716e+51
7	-2.2091134442297228e+95	-1.3771512291776164e+94	-1.3902021058068836e+94

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes72.0ms (0.5%)

Compiler: Compiled 42 to 315 computations (-650% saved)

bsearch0.0ms (0%)

regimes67.0ms (0.5%)

Compiler: Compiled 35 to 266 computations (-660% saved)

bsearch0.0ms (0%)

regimes60.0ms (0.4%)

Accuracy

Total 0.0b remaining (31.1%)

Threshold costs 0.0b (31.1%)

Compiler

Compiled 28 to 210 computations (-650% saved)

bsearch16.0ms (0.1%)

Compiler: Compiled 427 to 309 computations (27.6% saved)

simplify13.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	236	553
1	236	553

end0.0ms (0%)

sample1.9s (13.1%)

Algorithm

1×

intervals

Results

428.0ms	8000×	body	128	valid
205.0ms	3944×	body	128	invalid

Compiler

Compiled 781 to 721 computations (7.7% saved)

Pareto

0.04148722944425178

Details

analyze1.5s (10.2%)

sample48.0ms (0.3%)

simplify166.0ms (1.1%)

prune3.0ms (0%)

localize19.0ms (0.1%)

rewrite48.0ms (0.3%)

series1.2s (8.3%)

simplify76.0ms (0.5%)

prune173.0ms (1.2%)

localize23.0ms (0.2%)

rewrite47.0ms (0.3%)

series406.0ms (2.8%)

simplify101.0ms (0.7%)

prune189.0ms (1.3%)

localize20.0ms (0.1%)

rewrite66.0ms (0.4%)

series1.2s (8.1%)

simplify68.0ms (0.5%)

prune233.0ms (1.6%)

localize26.0ms (0.2%)

rewrite63.0ms (0.4%)

series1.2s (8.1%)

simplify83.0ms (0.6%)

prune191.0ms (1.3%)

simplify11.0ms (0.1%)

regimes618.0ms (4.2%)

bsearch0.0ms (0%)

regimes712.0ms (4.8%)

bsearch1.0ms (0%)

regimes391.0ms (2.7%)

bsearch134.0ms (0.9%)

regimes537.0ms (3.7%)

bsearch179.0ms (1.2%)

regimes472.0ms (3.2%)

bsearch102.0ms (0.7%)

regimes413.0ms (2.8%)

bsearch255.0ms (1.7%)

regimes569.0ms (3.9%)

bsearch179.0ms (1.2%)

regimes374.0ms (2.5%)

bsearch131.0ms (0.9%)

regimes242.0ms (1.6%)

bsearch54.0ms (0.4%)

regimes72.0ms (0.5%)

bsearch0.0ms (0%)

regimes67.0ms (0.5%)

bsearch0.0ms (0%)

regimes60.0ms (0.4%)

bsearch16.0ms (0.1%)

simplify13.0ms (0.1%)

end0.0ms (0%)

sample1.9s (13.1%)

Profiling