Details

analyze2.5s (5.9%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4978	427
1	4978	427
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	98.2%	1.8%	7
0%	92%	8%	8
0%	91.2%	8.8%	9
0.4%	89.3%	10.3%	10
7.1%	79.2%	13.6%	11
11.9%	70.2%	17.9%	12
13.8%	67.4%	18.7%	13
16.6%	63.3%	20.1%	14

Compiler

Compiled 41 to 33 computations (19.5% saved)

sample144.0ms (0.3%)

Algorithm

1×

intervals

Results

25.0ms	173×	body	128	valid
19.0ms	34×	body	1024	valid
19.0ms	18×	body	2048	valid
16.0ms	20×	body	2048	nan
15.0ms	27×	body	1024	nan
9.0ms	66×	body	128	nan
9.0ms	21×	body	512	valid
8.0ms	18×	body	512	nan
3.0ms	10×	body	256	valid
2.0ms	8×	body	256	nan

Compiler

Compiled 81 to 69 computations (14.8% saved)

simplify55.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5390	61

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

54.7b

Counts

2 → 1

Compiler

Compiled 80 to 59 computations (26.3% saved)

localize21.0ms (0%)

Local error

Found 4 expressions with local error:

6.2b	(.f64 (.f64 2 (.f64 (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))))
18.0b	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))
19.1b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
36.9b	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))

rewrite140.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

78×	`sqrt-div_binary64_3505`
61×	`*-un-lft-identity_binary64_3488`
60×	`associate-*r/_binary64_3430`
48×	`associate-*l/_binary64_3431`
40×	`add-sqr-sqrt_binary64_3510`
37×	`flip-+_binary64_3462` `flip3-+_binary64_3491`
36×	`times-frac_binary64_3494` `frac-times_binary64_3498` `frac-sub_binary64_3497`
35×	`add-cube-cbrt_binary64_3523`
31×	`flip3--_binary64_3492` `flip--_binary64_3463`
28×	`sqrt-prod_binary64_3504`
24×	`pow1_binary64_3549`
20×	`associate-/l/_binary64_3435` `distribute-neg-frac_binary64_3452`
18×	`cancel-sign-sub-inv_binary64_3454`
16×	`distribute-lft-neg-in_binary64_3445` `distribute-rgt-neg-in_binary64_3446`
15×	`add-cbrt-cube_binary64_3524` `add-exp-log_binary64_3526`
12×	`associate-/l*_binary64_3433` `unpow-prod-down_binary64_3567` `pow-prod-down_binary64_3559`
11×	`distribute-lft-in_binary64_3437` `distribute-rgt-in_binary64_3438`
10×	`distribute-lft-out_binary64_3439`
7×	`associate-r_binary64_3428`
6×	`cbrt-unprod_binary64_3521` `prod-exp_binary64_3537`
5×	`distribute-lft-out--_binary64_3440` `sqrt-pow1_binary64_3506`
4×	`add-log-exp_binary64_3527` `neg-mul-1_binary64_3484`
3×	`associate-/r*_binary64_3432`
2×	`difference-of-squares_binary64_3457` `associate-/r/_binary64_3434` `pow1/2_binary64_3568` `associate--l+_binary64_3425` `sub-neg_binary64_3481`
1×	`clear-num_binary64_3487` `associate-l_binary64_3429` `frac-2neg_binary64_3499` `*-commutative_binary64_3419` `div-exp_binary64_3539` `distribute-frac-neg_binary64_3451` `cbrt-undiv_binary64_3522` `neg-sub0_binary64_3483` `div-sub_binary64_3493` `div-inv_binary64_3485` `rem-sqrt-square_binary64_3501`

Counts

4 → 205

Calls

4 calls:

34.0ms	(.f64 (.f64 2 (.f64 (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))))
28.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))
17.0ms	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
15.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))

series1.0s (2.4%)

Counts

4 → 12

Calls

4 calls:

374.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))
367.0ms	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
219.0ms	(.f64 (.f64 2 (.f64 (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))))
68.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))

simplify154.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

217 → 217

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5796	15390

prune886.0ms (2.1%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	202	15	217
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	203	15	218

Error

48.9b

Counts

218 → 15

Compiler

Compiled 15368 to 8530 computations (44.5% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

6.2b	(.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 C (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))))
22.3b	(/.f64 (neg.f64 (sqrt.f64 (+.f64 (.f64 A (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))) (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 C (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B)))))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
23.4b	(sqrt.f64 (+.f64 (.f64 A (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))) (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 C (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))))))
36.9b	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))

rewrite124.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

104×	`associate-*r/_binary64_3430`
72×	`associate-*l/_binary64_3431`
54×	`add-sqr-sqrt_binary64_3510`
50×	`*-un-lft-identity_binary64_3488`
48×	`times-frac_binary64_3494` `add-cube-cbrt_binary64_3523`
47×	`flip3--_binary64_3492` `flip--_binary64_3463`
38×	`sqrt-div_binary64_3505`
37×	`sqrt-prod_binary64_3504`
32×	`frac-add_binary64_3496`
24×	`distribute-lft-neg-in_binary64_3445` `distribute-rgt-neg-in_binary64_3446`
20×	`frac-times_binary64_3498`
18×	`associate-/l/_binary64_3435` `distribute-neg-frac_binary64_3452`
16×	`associate-/l*_binary64_3433`
15×	`add-cbrt-cube_binary64_3524` `add-exp-log_binary64_3526` `pow1_binary64_3549`
12×	`cancel-sign-sub-inv_binary64_3454`
7×	`distribute-lft-in_binary64_3437` `distribute-rgt-in_binary64_3438`
6×	`cbrt-unprod_binary64_3521` `associate-r_binary64_3428` `pow-prod-down_binary64_3559` `prod-exp_binary64_3537`
4×	`add-log-exp_binary64_3527` `neg-mul-1_binary64_3484`
3×	`associate-/r*_binary64_3432` `flip-+_binary64_3462` `flip3-+_binary64_3491`
2×	`difference-of-squares_binary64_3457` `associate-/r/_binary64_3434` `pow1/2_binary64_3568` `sqrt-pow1_binary64_3506` `sub-neg_binary64_3481` `rem-sqrt-square_binary64_3501`
1×	`clear-num_binary64_3487` `distribute-lft-out--_binary64_3440` `associate-l_binary64_3429` `frac-2neg_binary64_3499` `*-commutative_binary64_3419` `div-exp_binary64_3539` `distribute-frac-neg_binary64_3451` `cbrt-undiv_binary64_3522` `neg-sub0_binary64_3483` `div-sub_binary64_3493` `div-inv_binary64_3485`

Counts

4 → 193

Calls

4 calls:

27.0ms	(/.f64 (neg.f64 (sqrt.f64 (+.f64 (.f64 A (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))) (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 C (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B)))))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
26.0ms	(.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 C (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))))
15.0ms	(sqrt.f64 (+.f64 (.f64 A (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))) (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 C (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)))

series19.1s (45.5%)

Counts

4 → 12

Calls

4 calls:

13.8s	(sqrt.f64 (+.f64 (.f64 A (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))) (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 C (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))))))
5.1s	(/.f64 (neg.f64 (sqrt.f64 (+.f64 (.f64 A (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))) (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 C (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B)))))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
221.0ms	(.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 C (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))))
69.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))

simplify144.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

205 → 205

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5625	16186

prune1.2s (2.9%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	194	11	205
Fresh	4	10	14
Picked	1	0	1
Done	0	0	0
Total	199	21	220

Error

48.0b

Counts

220 → 21

Compiler

Compiled 18069 to 10105 computations (44.1% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

5.9b	(.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)
12.6b	(.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 C (-.f64 C A)))
16.2b	(/.f64 (neg.f64 (sqrt.f64 (+.f64 (.f64 A (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))) (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 C (-.f64 C A)))))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
22.3b	(sqrt.f64 (+.f64 (.f64 A (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))) (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 C (-.f64 C A)))))

rewrite112.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

104×	`associate-*r/_binary64_3430`
74×	`associate-*l/_binary64_3431`
56×	`add-sqr-sqrt_binary64_3510` `*-un-lft-identity_binary64_3488`
48×	`flip3--_binary64_3492` `times-frac_binary64_3494` `flip--_binary64_3463`
47×	`add-cube-cbrt_binary64_3523`
36×	`sqrt-div_binary64_3505`
32×	`frac-add_binary64_3496`
27×	`sqrt-prod_binary64_3504`
24×	`distribute-lft-neg-in_binary64_3445` `distribute-rgt-neg-in_binary64_3446`
20×	`frac-times_binary64_3498`
18×	`associate-/l/_binary64_3435` `distribute-neg-frac_binary64_3452`
17×	`add-cbrt-cube_binary64_3524` `add-exp-log_binary64_3526`
16×	`associate-/l*_binary64_3433` `pow1_binary64_3549`
10×	`cancel-sign-sub-inv_binary64_3454`
9×	`associate-r_binary64_3428`
7×	`distribute-lft-in_binary64_3437` `distribute-rgt-in_binary64_3438` `cbrt-unprod_binary64_3521` `pow-prod-down_binary64_3559` `prod-exp_binary64_3537`
5×	`distribute-lft-out--_binary64_3440`
4×	`associate-l_binary64_3429` `add-log-exp_binary64_3527` `neg-mul-1_binary64_3484`
3×	`difference-of-squares_binary64_3457` `associate-/r*_binary64_3432`
2×	`flip-+_binary64_3462` `flip3-+_binary64_3491` `associate-/r/_binary64_3434` `associate--r-_binary64_3427` `*-commutative_binary64_3419` `sub-neg_binary64_3481`
1×	`clear-num_binary64_3487` `unswap-sqr_binary64_3456` `frac-2neg_binary64_3499` `pow1/2_binary64_3568` `sqrt-pow1_binary64_3506` `div-exp_binary64_3539` `distribute-frac-neg_binary64_3451` `cbrt-undiv_binary64_3522` `neg-sub0_binary64_3483` `div-sub_binary64_3493` `div-inv_binary64_3485` `rem-sqrt-square_binary64_3501`

Counts

4 → 198

Calls

4 calls:

25.0ms	(/.f64 (neg.f64 (sqrt.f64 (+.f64 (.f64 A (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))) (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 C (-.f64 C A)))))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
17.0ms	(.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 C (-.f64 C A)))
15.0ms	(sqrt.f64 (+.f64 (.f64 A (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))) (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 C (-.f64 C A)))))
7.0ms	(.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)

series2.8s (6.7%)

Counts

4 → 12

Calls

4 calls:

1.5s	(/.f64 (neg.f64 (sqrt.f64 (+.f64 (.f64 A (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))) (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 C (-.f64 C A)))))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
1.2s	(sqrt.f64 (+.f64 (.f64 A (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F))) (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 C (-.f64 C A)))))
95.0ms	(.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 C (-.f64 C A)))
58.0ms	(.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)

simplify127.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

210 → 210

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5313	12231

prune750.0ms (1.8%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	196	14	210
Fresh	9	11	20
Picked	1	0	1
Done	0	0	0
Total	206	25	231

Error

42.1b

Counts

231 → 25

Compiler

Compiled 14943 to 8270 computations (44.7% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

6.3b	(sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (+.f64 A A))))
16.2b	(/.f64 (neg.f64 (.f64 (sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (+.f64 A A)))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (+.f64 A A)))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
22.3b	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (+.f64 A A)))
22.3b	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (+.f64 A A)))

rewrite118.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

320×	`sqrt-div_binary64_3505`
176×	`associate-l/_binary64_3431` `associate-r/_binary64_3430`
148×	`frac-times_binary64_3498`
80×	`associate-/l/_binary64_3435` `distribute-neg-frac_binary64_3452`
64×	`flip3--_binary64_3492` `flip--_binary64_3463`
63×	`flip-+_binary64_3462` `flip3-+_binary64_3491`
35×	`pow1_binary64_3549`
18×	`times-frac_binary64_3494` `pow-prod-down_binary64_3559` `sqrt-pow1_binary64_3506`
17×	`add-sqr-sqrt_binary64_3510`
16×	`add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
7×	`sqrt-prod_binary64_3504`
6×	`add-cbrt-cube_binary64_3524` `add-exp-log_binary64_3526` `associate-/l*_binary64_3433`
4×	`distribute-lft-neg-in_binary64_3445` `distribute-rgt-neg-in_binary64_3446` `add-log-exp_binary64_3527` `neg-mul-1_binary64_3484` `pow1/2_binary64_3568`
3×	`associate-/r*_binary64_3432`
2×	`associate-/r/_binary64_3434`
1×	`clear-num_binary64_3487` `frac-2neg_binary64_3499` `div-exp_binary64_3539` `distribute-frac-neg_binary64_3451` `cbrt-undiv_binary64_3522` `neg-sub0_binary64_3483` `div-sub_binary64_3493` `div-inv_binary64_3485` `rem-sqrt-square_binary64_3501`

Counts

4 → 192

Calls

4 calls:

25.0ms	(/.f64 (neg.f64 (.f64 (sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (+.f64 A A)))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (+.f64 A A)))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
13.0ms	(sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (+.f64 A A))))
12.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (+.f64 A A)))
12.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (+.f64 A A)))

series706.0ms (1.7%)

Counts

4 → 12

Calls

4 calls:

247.0ms	(/.f64 (neg.f64 (.f64 (sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (+.f64 A A)))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (+.f64 A A)))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
206.0ms	(sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (+.f64 A A))))
130.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (+.f64 A A)))
122.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (+.f64 A A)))

simplify107.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

204 → 204

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5120	8068

prune657.0ms (1.6%)

Pruning

25 alts after pruning (24 fresh and 1 done)

	Pruned	Kept	Total
New	200	4	204
Fresh	4	20	24
Picked	0	1	1
Done	0	0	0
Total	204	25	229

Error

42.1b

Counts

229 → 25

Compiler

Compiled 13109 to 7652 computations (41.6% saved)

regimes2.5s (6.1%)

Accuracy

Total 2.5b remaining (5.9%)

Threshold costs 0b (0%)

Compiler

Compiled 42987 to 28738 computations (33.1% saved)

bsearch14.0ms (0%)

Compiler: Compiled 40 to 32 computations (20% saved)

simplify42.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	683	295
1	683	295

Compiler

Compiled 386 to 252 computations (34.7% saved)

end0.0ms (0%)

sample8.4s (20%)

Algorithm

1×

intervals

Results

806.0ms	5566×	body	128	valid
528.0ms	885×	body	1024	valid
498.0ms	655×	body	2048	valid
482.0ms	837×	body	1024	nan
443.0ms	587×	body	2048	nan
351.0ms	2370×	body	128	nan
245.0ms	583×	body	512	nan
238.0ms	568×	body	512	valid
101.0ms	323×	body	256	valid
88.0ms	296×	body	256	nan
3.0ms	3×	body	4096	valid

Compiler

Compiled 7340 to 4896 computations (33.3% saved)

Details

analyze2.5s (5.9%)

sample144.0ms (0.3%)

simplify55.0ms (0.1%)

prune5.0ms (0%)

localize21.0ms (0%)

rewrite140.0ms (0.3%)

series1.0s (2.4%)

simplify154.0ms (0.4%)

prune886.0ms (2.1%)

localize26.0ms (0.1%)

rewrite124.0ms (0.3%)

series19.1s (45.5%)

simplify144.0ms (0.3%)

prune1.2s (2.9%)

localize25.0ms (0.1%)

rewrite112.0ms (0.3%)

series2.8s (6.7%)

simplify127.0ms (0.3%)

prune750.0ms (1.8%)

localize24.0ms (0.1%)

rewrite118.0ms (0.3%)

series706.0ms (1.7%)

simplify107.0ms (0.3%)

prune657.0ms (1.6%)

regimes2.5s (6.1%)

bsearch14.0ms (0%)

simplify42.0ms (0.1%)

end0.0ms (0%)

sample8.4s (20%)

Profiling