Details

analyze246.0ms (1.6%)

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
49.9%	49.9%	0.1%	3
49.9%	49.9%	0.1%	4
49.9%	49.9%	0.1%	5
74.9%	25%	0.1%	6
74.9%	25%	0.1%	7
74.9%	25%	0.1%	8
87.4%	12.5%	0.1%	9
87.4%	12.5%	0.1%	10
87.4%	12.5%	0.1%	11
93.6%	6.2%	0.1%	12
93.6%	6.2%	0.1%	13
93.6%	6.2%	0.1%	14

Compiler

Compiled 24 to 21 computations (12.5% saved)

sample82.0ms (0.5%)

Algorithm

1×

intervals

Results

24.0ms	35×	body	2048	valid
17.0ms	170×	body	128	valid
16.0ms	21×	body	4096	valid
7.0ms	16×	body	1024	valid
3.0ms	10×	body	512	valid
1.0ms	4×	body	256	valid

Compiler

Compiled 47 to 44 computations (6.4% saved)

simplify160.0ms (1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4970	33
1	4970	33

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

29.0b

Counts

2 → 2

Compiler

Compiled 65 to 54 computations (16.9% saved)

localize20.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(pow.f64 (-.f64 A C) 2)
0.0b	(/.f64 (atan.f64 (*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))))) PI.f64)
0.0b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))))) PI.f64))
0.0b	(+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))
0.0b	(pow.f64 (-.f64 A C) 2)
0.1b	(*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))))
1.0b	(-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))
33.8b	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))

rewrite92.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

65×	`*-un-lft-identity_binary64_4852`
42×	`add-sqr-sqrt_binary64_4874`
36×	`cancel-sign-sub-inv_binary64_4818`
26×	`sqrt-prod_binary64_4868`
24×	`add-cube-cbrt_binary64_4887`
21×	`unpow-prod-down_binary64_4931`
14×	`add-exp-log_binary64_4890` `distribute-lft-in_binary64_4801` `sqrt-div_binary64_4869` `distribute-rgt-in_binary64_4802`
13×	`associate-l_binary64_4793`
12×	`associate--l+_binary64_4789` `distribute-lft-out_binary64_4803` `frac-sub_binary64_4861`
11×	`distribute-lft-out--_binary64_4804` `times-frac_binary64_4858`
9×	`flip3--_binary64_4856` `add-cbrt-cube_binary64_4888` `add-log-exp_binary64_4891` `flip--_binary64_4827`
8×	`pow1_binary64_4913`
7×	`flip-+_binary64_4826` `associate-r_binary64_4792` `flip3-+_binary64_4855`
6×	`frac-times_binary64_4862` `associate-*r/_binary64_4794` `sub-neg_binary64_4845`
5×	`difference-of-squares_binary64_4821`
4×	`prod-exp_binary64_4901`
3×	`unswap-sqr_binary64_4820` `pow-unpow_binary64_4929` `diff-log_binary64_4944`
2×	`cbrt-unprod_binary64_4885` `div-exp_binary64_4903`
1×	`pow-pow_binary64_4924` `pow1/2_binary64_4932` `1-exp_binary64_4896` `associate--l-_binary64_4790` `sqrt-pow1_binary64_4870` `div-inv_binary64_4849` `rem-sqrt-square_binary64_4865` `pow-to-exp_binary64_4921` `rec-exp_binary64_4902` `associate-l/_binary64_4795` `pow-exp_binary64_4920` `unpow2_binary64_4917` `cbrt-undiv_binary64_4886` `pow-prod-down_binary64_4923` `sqr-pow_binary64_4824` `-commutative_binary64_4783`

Counts

4 → 151

Calls

8 calls:

30.0ms	(*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))))
21.0ms	(-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))
12.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))
5.0ms	(pow.f64 (-.f64 A C) 2)
0.0ms	(+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))

series1.2s (7.8%)

Counts

4 → 104

Calls

4 calls:

409.0ms	(*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))))
406.0ms	(-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))
313.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))
77.0ms	(pow.f64 (-.f64 A C) 2)

Compiler

Compiled 4926 to 4092 computations (16.9% saved)

simplify113.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

255 → 255

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4970	8041
1	4970	8041

prune734.0ms (4.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	246	9	255
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	248	9	257

Error

0.3b

Counts

257 → 9

Compiler

Compiled 8579 to 4424 computations (48.4% saved)

localize28.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (.f64 (.f64 (cbrt.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B))))) (cbrt.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B)))))) (cbrt.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))))))) PI.f64))
0.0b	(+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B))
0.0b	(+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B))
0.0b	(+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B))
1.0b	(-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B))))
33.8b	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))
33.8b	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))
33.8b	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))

rewrite53.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary64_4874`
15×	`*-un-lft-identity_binary64_4852`
13×	`sqrt-prod_binary64_4868`
10×	`add-cube-cbrt_binary64_4887` `sqrt-div_binary64_4869`
9×	`cancel-sign-sub-inv_binary64_4818` `add-log-exp_binary64_4891`
7×	`pow1_binary64_4913`
5×	`flip-+_binary64_4826` `flip3-+_binary64_4855`
4×	`add-exp-log_binary64_4890` `associate--l+_binary64_4789` `add-cbrt-cube_binary64_4888` `frac-sub_binary64_4861`
3×	`distribute-lft-out--_binary64_4804` `flip3--_binary64_4856` `pow1/2_binary64_4932` `sqrt-pow1_binary64_4870` `rem-sqrt-square_binary64_4865` `flip--_binary64_4827` `diff-log_binary64_4944`
2×	`difference-of-squares_binary64_4821` `sub-neg_binary64_4845`
1×	`associate--l-_binary64_4790`

Counts

4 → 76

Calls

8 calls:

16.0ms	(-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B))))
8.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))
8.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))
8.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))
0.0ms	(+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B))

series1.1s (7.2%)

Counts

4 → 97

Calls

4 calls:

393.0ms	(-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B))))
243.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))
241.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))
236.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))

Compiler

Compiled 8752 to 6011 computations (31.3% saved)

simplify104.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

173 → 173

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4965	4219
1	4965	4219

prune450.0ms (2.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	173	0	173
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	173	9	182

Error

0.3b

Counts

182 → 9

Compiler

Compiled 10947 to 5313 computations (51.5% saved)

localize17.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b	(/.f64 (atan.f64 (.f64 (/.f64 1 B) (-.f64 C (+.f64 A (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B))))))) PI.f64)
0.0b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (-.f64 C (+.f64 A (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B))))))) PI.f64))
0.0b	(pow.f64 (-.f64 A C) 2)
0.0b	(+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B))
0.2b	(.f64 (/.f64 1 B) (-.f64 C (+.f64 A (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B))))))
0.5b	(-.f64 C (+.f64 A (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))))
1.4b	(+.f64 A (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B))))
33.8b	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))

rewrite63.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`*-un-lft-identity_binary64_4852`
28×	`add-sqr-sqrt_binary64_4874`
16×	`add-cube-cbrt_binary64_4887`
13×	`add-exp-log_binary64_4890` `associate-l_binary64_4793`
12×	`cancel-sign-sub-inv_binary64_4818`
11×	`times-frac_binary64_4858` `add-log-exp_binary64_4891`
9×	`add-cbrt-cube_binary64_4888`
7×	`pow1_binary64_4913`
6×	`distribute-lft-out_binary64_4803` `associate-r_binary64_4792`
5×	`distribute-lft-in_binary64_4801` `distribute-rgt-in_binary64_4802`
4×	`distribute-lft-out--_binary64_4804` `prod-exp_binary64_4901`
3×	`flip3--_binary64_4856` `unswap-sqr_binary64_4820` `sub-neg_binary64_4845` `flip--_binary64_4827` `sqrt-prod_binary64_4868`
2×	`difference-of-squares_binary64_4821` `frac-times_binary64_4862` `cbrt-unprod_binary64_4885` `flip-+_binary64_4826` `associate-*r/_binary64_4794` `sqrt-div_binary64_4869` `diff-log_binary64_4944` `flip3-+_binary64_4855` `sum-log_binary64_4943` `div-exp_binary64_4903`
1×	`+-commutative_binary64_4782` `pow1/2_binary64_4932` `1-exp_binary64_4896` `sqrt-pow1_binary64_4870` `associate--r+_binary64_4788` `div-inv_binary64_4849` `rem-sqrt-square_binary64_4865` `rec-exp_binary64_4902` `associate-l/_binary64_4795` `cbrt-undiv_binary64_4886` `pow-prod-down_binary64_4923` `-commutative_binary64_4783`

Counts

4 → 99

Calls

8 calls:

23.0ms	(.f64 (/.f64 1 B) (-.f64 C (+.f64 A (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B))))))
12.0ms	(-.f64 C (+.f64 A (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))))
9.0ms	(+.f64 A (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B))))
8.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))
0.0ms	(+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B))

series1.5s (9.5%)

Counts

4 → 126

Calls

4 calls:

410.0ms	(-.f64 C (+.f64 A (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))))
398.0ms	(.f64 (/.f64 1 B) (-.f64 C (+.f64 A (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B))))))
331.0ms	(+.f64 A (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B))))
320.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))

Compiler

Compiled 5956 to 4937 computations (17.1% saved)

simplify104.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

225 → 225

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4976	7536
1	4976	7536

prune382.0ms (2.5%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	225	0	225
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	225	9	234

Error

0.3b

Counts

234 → 9

Compiler

Compiled 7607 to 3931 computations (48.3% saved)

localize10.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.2b	(*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) B))
0.0b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (-.f64 (-.f64 C A) B))) PI.f64))
0.0b	(/.f64 (atan.f64 (*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) B))) PI.f64)
0.0b	(atan.f64 (*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) B)))
0.0b	(atan.f64 (*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) B)))
0.0b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (-.f64 (-.f64 C A) B))) PI.f64))
0.0b	(/.f64 (atan.f64 (*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) B))) PI.f64)
0.2b	(*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) B))

rewrite43.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

46×	`add-sqr-sqrt_binary64_4874`
38×	`*-un-lft-identity_binary64_4852`
32×	`add-cube-cbrt_binary64_4887`
30×	`times-frac_binary64_4858`
20×	`add-exp-log_binary64_4890`
19×	`associate-r_binary64_4792`
16×	`associate-l_binary64_4793` `add-cbrt-cube_binary64_4888`
12×	`cancel-sign-sub-inv_binary64_4818`
8×	`associate--l+_binary64_4789` `distribute-lft-in_binary64_4801` `distribute-rgt-in_binary64_4802` `pow1_binary64_4913`
6×	`prod-exp_binary64_4901`
5×	`unswap-sqr_binary64_4820`
4×	`cbrt-unprod_binary64_4885` `sub-neg_binary64_4845` `add-log-exp_binary64_4891` `div-exp_binary64_4903`
3×	`distribute-lft-out--_binary64_4804` `associate-r/_binary64_4794` `div-inv_binary64_4849` `associate-/l_binary64_4797` `associate-/r*_binary64_4796` `cbrt-undiv_binary64_4886`
2×	`flip3--_binary64_4856` `frac-times_binary64_4862` `flip--_binary64_4827` `pow-prod-down_binary64_4923` `*-commutative_binary64_4783`
1×	`difference-of-squares_binary64_4821` `1-exp_binary64_4896` `clear-num_binary64_4851` `rec-exp_binary64_4902` `associate-*l/_binary64_4795` `frac-2neg_binary64_4863`

Counts

4 → 124

Calls

8 calls:

15.0ms	(*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) B))
9.0ms	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (-.f64 (-.f64 C A) B))) PI.f64))
6.0ms	(/.f64 (atan.f64 (*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) B))) PI.f64)
3.0ms	(atan.f64 (*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) B)))
0.0ms	(atan.f64 (*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) B)))

series448.0ms (2.9%)

Counts

4 → 45

Calls

4 calls:

162.0ms	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (-.f64 (-.f64 C A) B))) PI.f64))
144.0ms	(*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) B))
97.0ms	(/.f64 (atan.f64 (*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) B))) PI.f64)
45.0ms	(atan.f64 (*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) B)))

Compiler

Compiled 992 to 930 computations (6.3% saved)

simplify79.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

169 → 169

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4896	2867
1	4896	2867

prune134.0ms (0.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	167	2	169
Fresh	0	6	6
Picked	1	0	1
Done	0	2	2
Total	168	10	178

Error

0.3b

Counts

178 → 10

Compiler

Compiled 2947 to 947 computations (67.9% saved)

simplify180.0ms (1.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (151.0ms)

Iter	Nodes	Cost
0	3985	1995
1	3985	1995

regimes1.2s (7.5%)

Compiler: Compiled 9246 to 7648 computations (17.3% saved)

bsearch3.0ms (0%)

Compiler: Compiled 18 to 15 computations (16.7% saved)

regimes256.0ms (1.7%)

Compiler: Compiled 630 to 705 computations (-11.9% saved)

bsearch100.0ms (0.6%)

Steps

Iters	Range		Point
7	2.0643275868056853e-209	2.176901257644246e-207	2.90550850013554e-209
9	-5.367095884065579e+19	-149350198827361.72	-2.924442896879295e+16

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes232.0ms (1.5%)

Compiler: Compiled 588 to 666 computations (-13.3% saved)

bsearch185.0ms (1.2%)

Steps

Iters	Range		Point
8	7553949907.52075	9820028215637.992	666343564498.1934
7	6.364398126532154e-101	4.366303345436453e-99	6.50013083195864e-101
8	6.817774292381171e-185	1.9799700507311545e-181	1.9529422203918626e-181
9	-5.367095884065579e+19	-149350198827361.72	-3.589968849582681e+18

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes223.0ms (1.4%)

Compiler: Compiled 546 to 627 computations (-14.8% saved)

bsearch176.0ms (1.1%)

Steps

Iters	Range		Point
8	7553949907.52075	9820028215637.992	146746525814.26703
7	6.364398126532154e-101	4.366303345436453e-99	6.50013083195864e-101
8	6.817774292381171e-185	1.9799700507311545e-181	1.5204969349631952e-181
9	-5.367095884065579e+19	-149350198827361.72	-1.0563671052259552e+18

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes144.0ms (0.9%)

Compiler: Compiled 162 to 231 computations (-42.6% saved)

bsearch184.0ms (1.2%)

Steps

Iters	Range		Point
8	7553949907.52075	9820028215637.992	599615125497.224
7	6.364398126532154e-101	4.366303345436453e-99	6.50013083195864e-101
8	6.817774292381171e-185	1.9799700507311545e-181	1.146505791042985e-181
9	-5.367095884065579e+19	-149350198827361.72	-1119751190790020.8

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes135.0ms (0.9%)

Compiler: Compiled 132 to 198 computations (-50% saved)

bsearch171.0ms (1.1%)

Steps

Iters	Range		Point
8	7553949907.52075	9820028215637.992	1122888021233.3115
7	6.364398126532154e-101	4.366303345436453e-99	7.585992475370532e-101
8	6.817774292381171e-185	1.9799700507311545e-181	1.9529422203918626e-181
6	-4.556009319234808e+163	-5.650698610925074e+162	-3.675120694951763e+163

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes180.0ms (1.2%)

Compiler: Compiled 102 to 165 computations (-61.8% saved)

bsearch211.0ms (1.4%)

Steps

Iters	Range		Point
9	3.403546633202144e-19	8.139962677711791e-14	8.55647483928988e-17
6	2.9847839348764203e-233	3.3391956542091654e-232	1.0814217060420613e-232
9	-2.6386784997545324e-261	-1.1120371604784855e-268	-1.5375319788050347e-267
5	-2.4432823355954636e-55	-1.1049526823660781e-55	-2.239330435360455e-55

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes109.0ms (0.7%)

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

bsearch150.0ms (1%)

Steps

Iters	Range		Point
9	1.1871548159634763e-214	1.8734602703792303e-207	1.651668492586382e-209
9	-6.127496352238836e-184	-2.1300933630578855e-191	-6.013578425017129e-184

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes58.0ms (0.4%)

Compiler: Compiled 33 to 81 computations (-145.5% saved)

bsearch106.0ms (0.7%)

Steps

Iters	Range		Point
5	9.532316844661663e-185	2.532834209453426e-184	2.479290737451585e-184
9	-6.127496352238836e-184	-2.1300933630578855e-191	-6.013578425017129e-184

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes40.0ms (0.3%)

Compiler: Compiled 15 to 54 computations (-260% saved)

bsearch107.0ms (0.7%)

Steps

Iters	Range		Point
5	9.532316844661663e-185	2.532834209453426e-184	2.479290737451585e-184
9	-6.127496352238836e-184	-2.1300933630578855e-191	-6.013578425017129e-184

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes29.0ms (0.2%)

Accuracy

Total 16.6b remaining (96.7%)

Threshold costs 0b (0%)

Compiler

Compiled 12 to 42 computations (-250% saved)

bsearch89.0ms (0.6%)

Steps

Iters	Range		Point
9	-6.127496352238836e-184	-2.1300933630578855e-191	-5.27305990700476e-185

Compiler

Compiled 464 to 373 computations (19.6% saved)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	212	723
1	212	723

end0.0ms (0%)

sample4.0s (26%)

Algorithm

1×

intervals

Results

702.0ms	849×	body	4096	valid
581.0ms	5436×	body	128	valid
524.0ms	872×	body	2048	valid
222.0ms	464×	body	1024	valid
88.0ms	267×	body	512	valid
24.0ms	112×	body	256	valid

Compiler

Compiled 1739 to 1416 computations (18.6% saved)

Pareto

0.556981939282805

Details

analyze246.0ms (1.6%)

sample82.0ms (0.5%)

simplify160.0ms (1%)

prune8.0ms (0%)

localize20.0ms (0.1%)

rewrite92.0ms (0.6%)

series1.2s (7.8%)

simplify113.0ms (0.7%)

prune734.0ms (4.8%)

localize28.0ms (0.2%)

rewrite53.0ms (0.3%)

series1.1s (7.2%)

simplify104.0ms (0.7%)

prune450.0ms (2.9%)

localize17.0ms (0.1%)

rewrite63.0ms (0.4%)

series1.5s (9.5%)

simplify104.0ms (0.7%)

prune382.0ms (2.5%)

localize10.0ms (0.1%)

rewrite43.0ms (0.3%)

series448.0ms (2.9%)

simplify79.0ms (0.5%)

prune134.0ms (0.9%)

simplify180.0ms (1.2%)

regimes1.2s (7.5%)

bsearch3.0ms (0%)

regimes256.0ms (1.7%)

bsearch100.0ms (0.6%)

regimes232.0ms (1.5%)

bsearch185.0ms (1.2%)

regimes223.0ms (1.4%)

bsearch176.0ms (1.1%)

regimes144.0ms (0.9%)

bsearch184.0ms (1.2%)

regimes135.0ms (0.9%)

bsearch171.0ms (1.1%)

regimes180.0ms (1.2%)

bsearch211.0ms (1.4%)

regimes109.0ms (0.7%)

bsearch150.0ms (1%)

regimes58.0ms (0.4%)

bsearch106.0ms (0.7%)

regimes40.0ms (0.3%)

bsearch107.0ms (0.7%)

regimes29.0ms (0.2%)

bsearch89.0ms (0.6%)

simplify11.0ms (0.1%)

end0.0ms (0%)

sample4.0s (26%)

Profiling