Details

analyze815.0ms (12.8%)

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
1.0ms	18×	body	128	nan
1.0ms	9×	body	128	invalid

Compiler

Compiled 86 to 56 computations (34.9% saved)

simplify596.0ms (9.3%)

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

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

18.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	18.1b	(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)

localize30.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.4b	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))))
0.8b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))) b)
23.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
23.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 1530 to 1275 computations (16.7% saved)

rewrite168.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

18.0b

Rules

13×	`add-sqr-sqrt_binary64`
11×	`*-un-lft-identity_binary64`
8×	`add-log-exp_binary64`
7×	`add-cube-cbrt_binary64` `sqrt-prod_binary64`
6×	`pow1_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)))))
5.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)

series204.0ms (3.2%)

Error

3.4b

Counts

4 → 50

Calls

4 calls:

47.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))))
47.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))) b)
43.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
41.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 4193 to 2837 computations (32.3% saved)

simplify148.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

713×	`associate-l_binary64`
594×	`associate-r_binary64`
322×	`unswap-sqr_binary64`
190×	`times-frac_binary64`
152×	`cube-prod_binary64`

Counts

109 → 76

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	117	1885
1	296	1781
2	854	1751
3	3863	1751
4	4808	1751
5	4963	1751
6	4910	1751

prune115.0ms (1.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	69	7	76
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	70	7	77

Error

3.4b

Counts

77 → 7

Alt Table

Status	Error	Program
	19.8b	(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)))
▶	18.1b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))))) (/.f64 (-.f64 (.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)))))) b) (.f64 2 a)))
	20.5b	(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)))
	18.2b	(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)))
	26.5b	(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)))
	18.1b	(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)))
	18.4b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (.f64 (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (cbrt.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 2876 to 1682 computations (41.5% saved)

localize32.0ms (0.5%)

Local error

Found 4 expressions with local error:

13.5b	(-.f64 (.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)))))) b)
23.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
23.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
23.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 1530 to 1275 computations (16.7% saved)

rewrite182.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

3.4b

Rules

12×	`add-sqr-sqrt_binary64`
9×	`sqrt-prod_binary64`
8×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
7×	`pow1_binary64`
6×	`add-log-exp_binary64` `sqrt-div_binary64`

Counts

4 → 60

Calls

4 calls:

16.0ms	(-.f64 (.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)))))) b)
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
4.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))))

Compiler

Compiled 3569 to 1967 computations (44.9% saved)

series199.0ms (3.1%)

Error

3.4b

Counts

4 → 45

Calls

4 calls:

49.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
48.0ms	(-.f64 (.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)))))) b)
33.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
32.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 4772 to 3097 computations (35.1% saved)

simplify105.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

491×	`distribute-rgt-neg-in_binary64`
475×	`distribute-lft-neg-in_binary64`
441×	`cancel-sign-sub-inv_binary64`
276×	`distribute-rgt-in_binary64`
234×	`times-frac_binary64`

Counts

105 → 58

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	125	1689
1	271	1619
2	840	1616
3	2501	1592
4	4758	1592
5	4994	1592

prune108.0ms (1.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	58	0	58
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	58	7	65

Error

3.4b

Counts

65 → 7

Alt Table

Status	Error	Program
	19.8b	(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)))
✓	18.1b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))))) (/.f64 (-.f64 (.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)))))) b) (.f64 2 a)))
	20.5b	(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)))
	18.2b	(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)))
	26.5b	(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)))
▶	18.1b	(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)))
	18.4b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (.f64 (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (cbrt.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 2757 to 1597 computations (42.1% saved)

localize33.0ms (0.5%)

Local error

Found 4 expressions with local error:

7.3b	(+.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)))))))
23.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
23.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
23.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 1530 to 1275 computations (16.7% saved)

rewrite159.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

3.4b

Rules

10×	`add-sqr-sqrt_binary64`
9×	`sqrt-prod_binary64`
7×	`pow1_binary64` `add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
6×	`add-log-exp_binary64` `sqrt-div_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64`

Counts

4 → 56

Calls

4 calls:

4.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)

series207.0ms (3.2%)

Error

3.4b

Counts

4 → 49

Calls

4 calls:

47.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)))))))
45.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))))
31.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 5071 to 3296 computations (35% saved)

simplify78.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

671×	`distribute-rgt-in_binary64`
619×	`distribute-lft-in_binary64`
357×	`distribute-rgt-neg-in_binary64`
331×	`distribute-lft-neg-in_binary64`
312×	`cancel-sign-sub-inv_binary64`

Counts

105 → 56

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	114	1654
1	266	1590
2	814	1575
3	2238	1569
4	5584	1569

prune109.0ms (1.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	55	1	56
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	56	7	63

Error

3.4b

Counts

63 → 7

Alt Table

Status	Error	Program
	19.8b	(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)))
✓	18.1b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))))) (/.f64 (-.f64 (.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)))))) b) (.f64 2 a)))
	20.5b	(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)))
	22.9b	(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 (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) 3))))))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a)))
▶	18.2b	(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)))
	26.5b	(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)))
✓	18.1b	(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 2697 to 1572 computations (41.7% saved)

localize36.0ms (0.6%)

Local error

Found 4 expressions with local error:

5.1b	(+.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)))))))
23.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
23.8b	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
23.8b	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 1530 to 1275 computations (16.7% saved)

rewrite147.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

3.4b

Rules

8×	`add-sqr-sqrt_binary64`
7×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
6×	`add-log-exp_binary64` `cbrt-prod_binary64`
5×	`pow1_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `cbrt-div_binary64`

Counts

4 → 52

Calls

4 calls:

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))))
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)

series322.0ms (5%)

Error

3.4b

Counts

4 → 50

Calls

4 calls:

93.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)))))))
69.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
69.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
33.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 6651 to 4579 computations (31.2% saved)

simplify146.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

494×	`unswap-sqr_binary64`
402×	`*-commutative_binary64`
371×	`prod-exp_binary64`
220×	`distribute-rgt-neg-in_binary64`
209×	`distribute-lft-neg-in_binary64`

Counts

102 → 82

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	184	2537
1	456	2099
2	1262	2079
3	2960	2019
4	4713	2019
5	4858	2019
6	5203	2019

prune129.0ms (2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

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

Error

3.4b

Counts

89 → 7

Alt Table

Status	Error	Program
	19.8b	(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)))
	18.1b	(if (>=.f64 b 0) (.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))))) (/.f64 (-.f64 (.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)))))) b) (.f64 2 a)))
	20.5b	(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)))
	22.9b	(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 (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) 3))))))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a)))
	18.2b	(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)))
	26.5b	(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)))
	18.1b	(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 3068 to 1751 computations (42.9% saved)

regimes781.0ms (12.2%)

Accuracy

Total 1.9b remaining (25.3%)

Threshold costs 0b (0%)

Compiler

Compiled 11826 to 7606 computations (35.7% saved)

bsearch6.0ms (0.1%)

Compiler: Compiled 41 to 26 computations (36.6% saved)

simplify19.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative_binary64`
14×	`sub-neg_binary64`
13×	`+-commutative_binary64`
9×	`neg-mul-1_binary64` `neg-sub0_binary64`
4×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	476
1	70	476
2	91	476
3	109	476
4	121	476
5	126	476
6	127	476
7	126	476

end6.0ms (0.1%)

Compiler: Compiled 318 to 191 computations (39.9% saved)

sample1.5s (22.7%)

Algorithm

1×

intervals

Results

682.0ms	8000×	body	128	valid
55.0ms	662×	body	128	nan
34.0ms	384×	body	128	invalid

Compiler

Compiled 680 to 423 computations (37.8% saved)

Details

analyze815.0ms (12.8%)

sample38.0ms (0.6%)

simplify596.0ms (9.3%)

prune10.0ms (0.2%)

localize30.0ms (0.5%)

rewrite168.0ms (2.6%)

series204.0ms (3.2%)

simplify148.0ms (2.3%)

prune115.0ms (1.8%)

localize32.0ms (0.5%)

rewrite182.0ms (2.9%)

series199.0ms (3.1%)

simplify105.0ms (1.6%)

prune108.0ms (1.7%)

localize33.0ms (0.5%)

rewrite159.0ms (2.5%)

series207.0ms (3.2%)

simplify78.0ms (1.2%)

prune109.0ms (1.7%)

localize36.0ms (0.6%)

rewrite147.0ms (2.3%)

series322.0ms (5%)

simplify146.0ms (2.3%)

prune129.0ms (2%)

regimes781.0ms (12.2%)

bsearch6.0ms (0.1%)

simplify19.0ms (0.3%)

end6.0ms (0.1%)

sample1.5s (22.7%)

Profiling