Details

analyze630.0ms (9.4%)

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
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
12.5%	87.4%	0.1%	6
20.3%	73.3%	6.4%	7
27.3%	66.3%	6.4%	8
38.2%	53%	8.7%	9
46%	40.6%	13.4%	10
49.9%	35.1%	15%	11
54.9%	26.9%	18.1%	12
57.4%	22%	20.6%	13
59.7%	18%	22.4%	14

Compiler

Compiled 42 to 27 computations (35.7% saved)

sample38.0ms (0.6%)

Algorithm

1×

intervals

Results

21.0ms	256×	body	128	valid
2.0ms	18×	body	128	nan
1.0ms	10×	body	128	invalid

Compiler

Compiled 86 to 56 computations (34.9% saved)

simplify592.0ms (8.9%)

Algorithm

1×	egg-herbie

Rules

1534×	`div-sub_binary64`
1283×	`associate-/l*_binary64`
1224×	`distribute-rgt-in_binary64`
767×	`associate-/r*_binary64`
744×	`distribute-lft-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	22	58
1	43	56
2	91	56
3	198	54
4	309	54
5	519	54
6	918	54
7	1356	54
8	1505	54
9	2181	54
10	2806	54
11	2812	54
12	2814	54
13	2776	54
14	2800	54
15	3982	54
16	3118	54
17	3126	54
18	3134	54
19	3134	54
20	3142	54
21	3142	54
22	3944	54
23	2934	54
24	3120	54
25	3086	54
26	3090	54
27	3102	54
28	3106	54
29	3106	54
30	3268	54
31	3196	54
32	3324	54
33	3428	54
34	3532	54
35	3636	54
36	3036	54
37	3036	54
38	3056	54
39	3092	54
40	3094	54
41	3094	54
42	2785	54

prune14.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

17.7b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	17.7b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a)))

Compiler

Compiled 117 to 75 computations (35.9% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.7b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))) b)
1.4b	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))))
21.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
21.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 1530 to 1275 computations (16.7% saved)

rewrite162.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

17.7b

Rules

13×	`add-sqr-sqrt_binary64`
11×	`*-un-lft-identity_binary64`
8×	`add-log-exp_binary64`
7×	`sqrt-prod_binary64`
7×	`add-cube-cbrt_binary64`

Counts

4 → 59

Calls

4 calls:

8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))) b)
6.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))))
6.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 2597 to 1526 computations (41.2% saved)

series243.0ms (3.6%)

Error

4.6b

Counts

4 → 60

Calls

4 calls:

57.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
50.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))) b)
50.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
49.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))))

Compiler

Compiled 5031 to 3401 computations (32.4% saved)

simplify129.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

721×	`associate-l_binary64`
610×	`associate-r_binary64`
342×	`unswap-sqr_binary64`
190×	`times-frac_binary64`
157×	`sub-neg_binary64`

Counts

119 → 82

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	125	2104
1	320	2000
2	904	1970
3	3979	1970
4	4890	1970
5	4959	1970

prune119.0ms (1.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	75	7	82
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	76	7	83

Error

4.6b

Counts

83 → 7

Alt Table

Status	Error	Program
	32.8b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a)))
	21.7b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))))) (/.f64 (-.f64 (neg.f64 b) b) (*.f64 2 a)))
	17.8b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))))) (/.f64 (-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) b) (.f64 2 a)))
	17.8b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a)))
	27.3b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))))) (/.f64 (/.f64 (.f64 a (.f64 c -4)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 2 a)))
	19.2b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (.f64 b 2))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a)))
▶	17.8b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a)))

Compiler

Compiled 3008 to 1759 computations (41.5% saved)

localize31.0ms (0.5%)

Local error

Found 4 expressions with local error:

9.6b	(+.f64 b (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))
21.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
21.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
21.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 1530 to 1275 computations (16.7% saved)

rewrite147.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

4.6b

Rules

10×	`add-sqr-sqrt_binary64`
9×	`sqrt-prod_binary64`
7×	`*-un-lft-identity_binary64`
7×	`add-cube-cbrt_binary64`
7×	`pow1_binary64`

Counts

4 → 56

Calls

4 calls:

5.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
3.0ms	(+.f64 b (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))

Compiler

Compiled 3352 to 1847 computations (44.9% saved)

series239.0ms (3.6%)

Error

4.6b

Counts

4 → 57

Calls

4 calls:

54.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
50.0ms	(+.f64 b (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))
44.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
44.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 5839 to 3786 computations (35.2% saved)

simplify82.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

675×	`distribute-rgt-in_binary64`
494×	`cancel-sign-sub-inv_binary64`
485×	`distribute-rgt-neg-in_binary64`
458×	`distribute-lft-neg-in_binary64`
225×	`*-commutative_binary64`

Counts

113 → 60

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	118	1831
1	275	1767
2	848	1752
3	2369	1737
4	5217	1737

prune108.0ms (1.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	60	0	60
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	60	7	67

Error

4.6b

Counts

67 → 7

Alt Table

Status	Error	Program
	32.8b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a)))
	21.7b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))))) (/.f64 (-.f64 (neg.f64 b) b) (*.f64 2 a)))
	17.8b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))))) (/.f64 (-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) b) (.f64 2 a)))
▶	17.8b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a)))
	27.3b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))))) (/.f64 (/.f64 (.f64 a (.f64 c -4)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 2 a)))
	19.2b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (.f64 b 2))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a)))
✓	17.8b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a)))

Compiler

Compiled 2832 to 1649 computations (41.8% saved)

localize30.0ms (0.5%)

Local error

Found 4 expressions with local error:

9.4b	(+.f64 b (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))
21.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
22.4b	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
22.4b	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 1530 to 1275 computations (16.7% saved)

rewrite138.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

4.6b

Rules

8×	`add-sqr-sqrt_binary64`
7×	`*-un-lft-identity_binary64`
7×	`add-cube-cbrt_binary64`
6×	`cbrt-prod_binary64`
6×	`add-log-exp_binary64`

Counts

4 → 52

Calls

4 calls:

4.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
3.0ms	(+.f64 b (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))

Compiler

Compiled 3272 to 1799 computations (45% saved)

series325.0ms (4.9%)

Error

4.6b

Counts

4 → 54

Calls

4 calls:

73.0ms	(+.f64 b (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))
72.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
68.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
53.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 6928 to 4718 computations (31.9% saved)

simplify96.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

463×	`unswap-sqr_binary64`
373×	`*-commutative_binary64`
216×	`distribute-rgt-neg-in_binary64`
204×	`distribute-lft-neg-in_binary64`
198×	`cancel-sign-sub-inv_binary64`

Counts

106 → 82

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	182	2548
1	452	2122
2	1292	2098
3	3519	2002
4	5137	2002

prune135.0ms (2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	82	7	89

Error

4.6b

Counts

89 → 7

Alt Table

Status	Error	Program
	32.8b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a)))
	21.7b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))))) (/.f64 (-.f64 (neg.f64 b) b) (*.f64 2 a)))
▶	17.8b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))))) (/.f64 (-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) b) (.f64 2 a)))
✓	17.8b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a)))
	27.3b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))))) (/.f64 (/.f64 (.f64 a (.f64 c -4)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 2 a)))
	19.2b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (.f64 b 2))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a)))
✓	17.8b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a)))

Compiler

Compiled 3538 to 2041 computations (42.3% saved)

localize33.0ms (0.5%)

Local error

Found 4 expressions with local error:

8.2b	(-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))) b)
21.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
22.4b	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
22.4b	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 1530 to 1275 computations (16.7% saved)

rewrite169.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

4.6b

Rules

9×	`add-sqr-sqrt_binary64`
8×	`*-un-lft-identity_binary64`
8×	`add-cube-cbrt_binary64`
6×	`cbrt-prod_binary64`
6×	`add-log-exp_binary64`

Counts

4 → 55

Calls

4 calls:

13.0ms	(-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))) b)
4.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
4.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 3436 to 1891 computations (45% saved)

series328.0ms (4.9%)

Error

4.6b

Counts

4 → 53

Calls

4 calls:

80.0ms	(-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))) b)
66.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
66.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
51.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 6988 to 4761 computations (31.9% saved)

simplify195.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

400×	`*-commutative_binary64`
283×	`times-frac_binary64`
213×	`exp-prod_binary64`
210×	`exp-sum_binary64`
198×	`sub-neg_binary64`

Counts

108 → 86

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	202	2541
1	481	2073
2	1352	2056
3	3911	2008
4	4846	2008
5	4926	2008
6	4917	2008
7	4996	2008
8	4891	2008

prune136.0ms (2%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	85	1	86
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	85	8	93

Error

4.6b

Counts

93 → 8

Alt Table

Status	Error	Program
	17.9b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))))) (/.f64 (-.f64 (.f64 (fabs.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 -4 (.f64 a c)) (.f64 b b)))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 -4 (.f64 a c)) (.f64 b b)))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) b) (.f64 2 a)))
	32.8b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a)))
	21.7b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))))) (/.f64 (-.f64 (neg.f64 b) b) (*.f64 2 a)))
	17.8b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))))) (/.f64 (-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) b) (.f64 2 a)))
	17.8b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a)))
	27.3b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))))) (/.f64 (/.f64 (.f64 a (.f64 c -4)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 2 a)))
	19.2b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (.f64 b 2))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a)))
	17.8b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a)))

Compiler

Compiled 3304 to 1878 computations (43.2% saved)

regimes1.1s (16.4%)

Accuracy

Total 1.4b remaining (19.1%)

Threshold costs 0b (0%)

Compiler

Compiled 14058 to 9038 computations (35.7% saved)

bsearch37.0ms (0.6%)

Steps

Iters	Range		Point
6	2.292383142258502e+96	1.784658799295377e+97	6.560031154413891e+96
4	-3.4509130606805905e+37	-2.0473582830095752e+37	-3.404570520433175e+37

Compiler

Compiled 4 to 3 computations (25% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

13×	`*-commutative_binary64`
10×	`+-commutative_binary64`
10×	`sub-neg_binary64`
7×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	148
1	56	148
2	69	148
3	87	148
4	97	148
5	103	148
6	105	148
7	103	148

end5.0ms (0.1%)

Compiler: Compiled 102 to 65 computations (36.3% saved)

sample1.4s (20.8%)

Algorithm

1×

intervals

Results

677.0ms	8000×	body	128	valid
51.0ms	670×	body	128	nan
30.0ms	382×	body	128	invalid

Compiler

Compiled 519 to 329 computations (36.6% saved)

Details

analyze630.0ms (9.4%)

sample38.0ms (0.6%)

simplify592.0ms (8.9%)

prune14.0ms (0.2%)

localize23.0ms (0.3%)

rewrite162.0ms (2.4%)

series243.0ms (3.6%)

simplify129.0ms (1.9%)

prune119.0ms (1.8%)

localize31.0ms (0.5%)

rewrite147.0ms (2.2%)

series239.0ms (3.6%)

simplify82.0ms (1.2%)

prune108.0ms (1.6%)

localize30.0ms (0.5%)

rewrite138.0ms (2.1%)

series325.0ms (4.9%)

simplify96.0ms (1.4%)

prune135.0ms (2%)

localize33.0ms (0.5%)

rewrite169.0ms (2.5%)

series328.0ms (4.9%)

simplify195.0ms (2.9%)

prune136.0ms (2%)

regimes1.1s (16.4%)

bsearch37.0ms (0.6%)

simplify8.0ms (0.1%)

end5.0ms (0.1%)

sample1.4s (20.8%)

Profiling