Details

analyze2.4s (4.3%)

Algorithm

1×

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)

sample137.0ms (0.2%)

Algorithm

1×

intervals

Results

29.0ms	176×	body	128	valid
14.0ms	25×	body	1024	nan
13.0ms	22×	body	1024	valid
13.0ms	91×	body	128	nan
12.0ms	28×	body	512	valid
11.0ms	15×	body	2048	valid
11.0ms	14×	body	2048	nan
8.0ms	19×	body	512	nan
4.0ms	15×	body	256	valid
3.0ms	10×	body	256	nan

Compiler

Compiled 81 to 69 computations (14.8% saved)

simplify163.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5390	61

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

51.6b

Counts

2 → 1

Compiler

Compiled 80 to 59 computations (26.3% saved)

localize21.0ms (0%)

Local error

Found 4 expressions with local error:

5.7b	(.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)))))
14.6b	(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.4b	(/.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)))
33.1b	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))

rewrite156.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

78×	`sqrt-div_binary64_3164`
61×	`*-un-lft-identity_binary64_3147`
60×	`associate-*r/_binary64_3089`
48×	`associate-*l/_binary64_3090`
40×	`add-sqr-sqrt_binary64_3169`
37×	`flip-+_binary64_3121` `flip3-+_binary64_3150`
36×	`frac-times_binary64_3157` `times-frac_binary64_3153` `frac-sub_binary64_3156`
35×	`add-cube-cbrt_binary64_3182`
31×	`flip--_binary64_3122` `flip3--_binary64_3151`
28×	`sqrt-prod_binary64_3163`
24×	`pow1_binary64_3208`
20×	`distribute-neg-frac_binary64_3111` `associate-/l/_binary64_3094`
18×	`cancel-sign-sub-inv_binary64_3113`
16×	`distribute-lft-neg-in_binary64_3104` `distribute-rgt-neg-in_binary64_3105`
15×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183`
12×	`unpow-prod-down_binary64_3226` `pow-prod-down_binary64_3218` `associate-/l*_binary64_3092`
11×	`distribute-lft-in_binary64_3096` `distribute-rgt-in_binary64_3097`
10×	`distribute-lft-out_binary64_3098`
7×	`associate-r_binary64_3087`
6×	`prod-exp_binary64_3196` `cbrt-unprod_binary64_3180`
5×	`distribute-lft-out--_binary64_3099` `sqrt-pow1_binary64_3165`
4×	`neg-mul-1_binary64_3143` `add-log-exp_binary64_3186`
3×	`associate-/r*_binary64_3091`
2×	`associate--l+_binary64_3084` `sub-neg_binary64_3140` `difference-of-squares_binary64_3116` `pow1/2_binary64_3227` `associate-/r/_binary64_3093`
1×	`-commutative_binary64_3078` `clear-num_binary64_3146` `distribute-frac-neg_binary64_3110` `frac-2neg_binary64_3158` `rem-sqrt-square_binary64_3160` `neg-sub0_binary64_3142` `div-sub_binary64_3152` `cbrt-undiv_binary64_3181` `div-exp_binary64_3198` `associate-l*_binary64_3088` `div-inv_binary64_3144`

Counts

4 → 205

Calls

4 calls:

37.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)))))
36.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))))))
19.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)))
13.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))

series13.2s (23.3%)

Counts

4 → 98

Calls

4 calls:

6.3s	(/.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)))
5.5s	(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))))))
1.1s	(.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)))))
350.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))

Compiler

Compiled 23465 to 17881 computations (23.8% saved)

simplify213.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

303 → 303

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4997	24778
1	4997	24778

prune1.6s (2.8%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	276	27	303
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	277	27	304

Error

27.7b

Counts

304 → 27

Compiler

Compiled 23318 to 12022 computations (48.4% saved)

localize32.0ms (0.1%)

Local error

Found 4 expressions with local error:

8.0b	(+.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))))))
18.6b	(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)))))))
21.4b	(/.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)))
33.1b	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))

rewrite143.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

144×	`associate-*r/_binary64_3089`
96×	`associate-*l/_binary64_3090`
61×	`flip--_binary64_3122` `flip3--_binary64_3151`
49×	`add-sqr-sqrt_binary64_3169`
48×	`times-frac_binary64_3153` `frac-add_binary64_3155`
47×	`*-un-lft-identity_binary64_3147` `add-cube-cbrt_binary64_3182`
38×	`sqrt-div_binary64_3164`
36×	`sqrt-prod_binary64_3163`
24×	`frac-times_binary64_3157` `distribute-lft-neg-in_binary64_3104` `distribute-rgt-neg-in_binary64_3105`
18×	`distribute-neg-frac_binary64_3111` `associate-/l/_binary64_3094`
16×	`associate-/l*_binary64_3092`
14×	`associate-+r+_binary64_3079`
12×	`cancel-sign-sub-inv_binary64_3113`
7×	`distribute-lft-in_binary64_3096` `distribute-rgt-in_binary64_3097`
6×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183` `pow1_binary64_3208` `add-log-exp_binary64_3186`
4×	`flip-+_binary64_3121` `neg-mul-1_binary64_3143` `flip3-+_binary64_3150`
3×	`associate-/r*_binary64_3091`
2×	`sub-neg_binary64_3140` `rem-sqrt-square_binary64_3160` `sqrt-pow1_binary64_3165` `pow1/2_binary64_3227` `associate-/r/_binary64_3093`
1×	`clear-num_binary64_3146` `distribute-frac-neg_binary64_3110` `frac-2neg_binary64_3158` `+-commutative_binary64_3077` `neg-sub0_binary64_3142` `div-sub_binary64_3152` `cbrt-undiv_binary64_3181` `div-exp_binary64_3198` `div-inv_binary64_3144` `sum-log_binary64_3238`

Counts

4 → 188

Calls

4 calls:

29.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)))
27.0ms	(+.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))))))
17.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)))))))
9.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))

series6.8s (12%)

Counts

4 → 94

Calls

4 calls:

3.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)))
1.7s	(+.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))))))
1.6s	(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)))))))
383.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))

Compiler

Compiled 17964 to 13300 computations (26% saved)

simplify218.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

282 → 282

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5457	24110

prune1.7s (3%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	271	11	282
Fresh	7	19	26
Picked	1	0	1
Done	0	0	0
Total	279	30	309

Error

21.9b

Counts

309 → 30

Compiler

Compiled 24578 to 12954 computations (47.3% saved)

localize40.0ms (0.1%)

Local error

Found 4 expressions with local error:

29.3b	(cbrt.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)))))))
33.1b	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))
33.1b	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))
33.1b	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))

rewrite71.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`associate-*r/_binary64_3089`
32×	`associate-*l/_binary64_3090`
20×	`flip--_binary64_3122` `flip3--_binary64_3151`
18×	`cbrt-div_binary64_3179`
16×	`frac-add_binary64_3155`
11×	`add-sqr-sqrt_binary64_3169`
9×	`sqrt-prod_binary64_3163`
8×	`frac-times_binary64_3157` `*-un-lft-identity_binary64_3147` `add-cube-cbrt_binary64_3182`
7×	`pow1_binary64_3208`
6×	`sqrt-div_binary64_3164`
4×	`add-exp-log_binary64_3185` `flip-+_binary64_3121` `add-cbrt-cube_binary64_3183` `flip3-+_binary64_3150` `add-log-exp_binary64_3186`
3×	`rem-sqrt-square_binary64_3160` `sqrt-pow1_binary64_3165` `pow1/2_binary64_3227` `cbrt-prod_binary64_3178`
1×	`pow1/3_binary64_3229`

Counts

4 → 74

Calls

4 calls:

17.0ms	(cbrt.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)))))))
9.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))
9.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))
9.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))

series4.4s (7.8%)

Counts

4 → 92

Calls

4 calls:

3.2s	(cbrt.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)))))))
457.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))
368.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))
367.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))

Compiler

Compiled 20943 to 13650 computations (34.8% saved)

simplify97.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

166 → 166

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5637	8118

prune1.8s (3.1%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	165	1	166
Fresh	0	29	29
Picked	1	0	1
Done	0	0	0
Total	166	30	196

Error

21.9b

Counts

196 → 30

Compiler

Compiled 25593 to 13973 computations (45.4% saved)

localize22.0ms (0%)

Local error

Found 4 expressions with local error:

5.7b	(.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))))
14.6b	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B))))))
19.2b	(/.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B)))))))
33.1b	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))

rewrite138.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

78×	`sqrt-div_binary64_3164`
60×	`associate-*r/_binary64_3089`
48×	`associate-*l/_binary64_3090`
37×	`flip-+_binary64_3121` `flip3-+_binary64_3150`
36×	`frac-times_binary64_3157` `frac-sub_binary64_3156`
31×	`flip--_binary64_3122` `flip3--_binary64_3151`
24×	`*-un-lft-identity_binary64_3147` `add-sqr-sqrt_binary64_3169` `pow1_binary64_3208`
20×	`associate-/r/_binary64_3093`
19×	`add-cube-cbrt_binary64_3182`
15×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183` `sqrt-prod_binary64_3163`
12×	`times-frac_binary64_3153` `cancel-sign-sub-inv_binary64_3113` `pow-prod-down_binary64_3218`
8×	`distribute-lft-in_binary64_3096` `distribute-rgt-in_binary64_3097`
7×	`associate-r_binary64_3087`
6×	`prod-exp_binary64_3196` `cbrt-unprod_binary64_3180`
5×	`sqrt-pow1_binary64_3165`
4×	`associate-/r*_binary64_3091` `add-log-exp_binary64_3186`
3×	`associate-/l*_binary64_3092`
2×	`associate--l+_binary64_3084` `sub-neg_binary64_3140` `associate-/l/_binary64_3094` `distribute-lft-out--_binary64_3099` `difference-of-squares_binary64_3116` `pow1/2_binary64_3227`
1×	`-commutative_binary64_3078` `clear-num_binary64_3146` `frac-2neg_binary64_3158` `distribute-lft-out_binary64_3098` `rem-sqrt-square_binary64_3160` `div-sub_binary64_3152` `cbrt-undiv_binary64_3181` `div-exp_binary64_3198` `associate-l*_binary64_3088` `div-inv_binary64_3144`

Counts

4 → 163

Calls

4 calls:

34.0ms	(/.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B)))))))
30.0ms	(.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))))
29.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B))))))
9.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))

series9.4s (16.5%)

Counts

4 → 101

Calls

4 calls:

5.6s	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B))))))
2.4s	(/.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B)))))))
1.1s	(.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))))
348.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))

Compiler

Compiled 19832 to 14775 computations (25.5% saved)

simplify189.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

264 → 264

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4983	19939
1	4983	19939

prune1.2s (2.2%)

Pruning

35 alts after pruning (34 fresh and 1 done)

	Pruned	Kept	Total
New	254	10	264
Fresh	5	24	29
Picked	0	1	1
Done	0	0	0
Total	259	35	294

Error

21.9b

Counts

294 → 35

Compiler

Compiled 18334 to 8762 computations (52.2% saved)

regimes3.7s (6.5%)

Accuracy

Total 20.9b remaining (47.6%)

Threshold costs 0b (0%)

Compiler

Compiled 40718 to 27532 computations (32.4% saved)

bsearch431.0ms (0.8%)

Steps

Iters	Range		Point
7	3.72015528608232e-18	7.888894205411082e-17	4.4863525056193624e-18
7	9.021331387311459e-263	9.841912785044773e-261	2.5219005088762548e-262
9	-1.262016557957915e-156	-9.047776859521071e-166	-1.144330577806148e-163
11	-7.4820127774313815e+155	-6.4652138688227726e+134	-1.3732001585011064e+135

Compiler

Compiled 1 to 4 computations (-300% saved)

simplify33.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	789	234
1	789	234

end0.0ms (0%)

sample8.5s (14.9%)

Algorithm

1×

intervals

Results

841.0ms	5664×	body	128	valid
468.0ms	788×	body	1024	valid
465.0ms	621×	body	2048	nan
453.0ms	782×	body	1024	nan
446.0ms	599×	body	2048	valid
348.0ms	2417×	body	128	nan
244.0ms	588×	body	512	valid
242.0ms	559×	body	512	nan
117.0ms	360×	body	256	valid
99.0ms	347×	body	256	nan
1.0ms	1×	body	4096	valid

Compiler

Compiled 6875 to 4631 computations (32.6% saved)

Details

analyze2.4s (4.3%)

sample137.0ms (0.2%)

simplify163.0ms (0.3%)

prune4.0ms (0%)

localize21.0ms (0%)

rewrite156.0ms (0.3%)

series13.2s (23.3%)

simplify213.0ms (0.4%)

prune1.6s (2.8%)

localize32.0ms (0.1%)

rewrite143.0ms (0.3%)

series6.8s (12%)

simplify218.0ms (0.4%)

prune1.7s (3%)

localize40.0ms (0.1%)

rewrite71.0ms (0.1%)

series4.4s (7.8%)

simplify97.0ms (0.2%)

prune1.8s (3.1%)

localize22.0ms (0%)

rewrite138.0ms (0.2%)

series9.4s (16.5%)

simplify189.0ms (0.3%)

prune1.2s (2.2%)

regimes3.7s (6.5%)

bsearch431.0ms (0.8%)

simplify33.0ms (0.1%)

end0.0ms (0%)

sample8.5s (14.9%)

Profiling