Details

analyze626.0ms (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
12.5%	87.4%	0.1%	5
18.7%	81.1%	0.1%	6
21.8%	71.8%	6.4%	7
31.2%	62.4%	6.4%	8
35.9%	55.4%	8.7%	9
37.8%	48.8%	13.4%	10
42.7%	42.3%	15%	11
47.7%	34.2%	18.1%	12
49.1%	30.4%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample39.0ms (0.5%)

Algorithm

1×

intervals

Results

10.0ms	40×	body	2048	valid
9.0ms	170×	body	128	valid
3.0ms	18×	body	1024	valid
3.0ms	18×	body	512	valid
2.0ms	6×	body	4096	valid
1.0ms	13×	body	128	nan
1.0ms	12×	body	128	invalid
0.0ms	4×	body	256	valid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify347.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

1261×	`associate-/l*_binary64`
1150×	`div-sub_binary64`
772×	`distribute-rgt-in_binary64`
702×	`distribute-lft-in_binary64`
619×	`times-frac_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	32	24
2	65	24
3	128	24
4	178	24
5	287	24
6	460	24
7	754	24
8	1120	24
9	1142	24
10	1799	24
11	2162	24
12	1953	24
13	2041	24
14	2105	24
15	2131	24
16	2843	24
17	2603	24
18	2841	24
19	2951	24
20	3071	24
21	3113	24
22	3183	24
23	3171	24
24	3171	24
25	2191	24
26	2141	24
27	2105	24
28	2107	24
29	2107	24
30	2107	24
31	2107	24
32	1834	24

prune5.0ms (0.1%)

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

33.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	33.0b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))

Compiler

Compiled 57 to 39 computations (31.6% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
0.7b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
22.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite183.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

32.8b

Rules

21×	`add-sqr-sqrt_binary64`
14×	`*-un-lft-identity_binary64`
9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
8×	`add-cube-cbrt_binary64`

Counts

4 → 74

Calls

4 calls:

13.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
8.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

Compiler

Compiled 1903 to 1105 computations (41.9% saved)

series277.0ms (3.5%)

Error

5.8b

Counts

4 → 90

Calls

4 calls:

75.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
60.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
50.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
39.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

Compiler

Compiled 3644 to 2610 computations (28.4% saved)

simplify118.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

854×	`associate-/l*_binary64`
255×	`cancel-sign-sub-inv_binary64`
237×	`distribute-rgt-in_binary64`
202×	`distribute-lft-in_binary64`
198×	`distribute-rgt-neg-in_binary64`

Counts

164 → 139

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	251	4266
1	695	3989
2	2304	3932
3	5661	3932

prune110.0ms (1.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	129	10	139
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	130	10	140

Error

5.7b

Counts

140 → 10

Alt Table

Status	Error	Program
	33.8b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) a) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)) 2))
	42.9b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	53.0b	(+.f64 (-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (/.f64 c b)) (.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -5))
	50.3b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 a 2))
	46.9b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)))
	33.4b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	33.5b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))
	40.3b	(neg.f64 (/.f64 c b))
▶	33.3b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
	44.8b	(/.f64 (neg.f64 b) a)

Compiler

Compiled 2592 to 1460 computations (43.7% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
0.7b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
22.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite124.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

5.7b

Rules

28×	`add-sqr-sqrt_binary64`
18×	`*-un-lft-identity_binary64`
14×	`add-cube-cbrt_binary64`
13×	`associate-r_binary64`
10×	`times-frac_binary64`

Counts

4 → 83

Calls

4 calls:

15.0ms	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
10.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 2202 to 1286 computations (41.6% saved)

series267.0ms (3.4%)

Error

5.7b

Counts

4 → 90

Calls

4 calls:

76.0ms	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
64.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
50.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
38.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

Compiler

Compiled 3644 to 2610 computations (28.4% saved)

simplify160.0ms (2%)

Algorithm

1×	egg-herbie

Rules

347×	`distribute-rgt-in_binary64`
310×	`distribute-lft-in_binary64`
243×	`cancel-sign-sub-inv_binary64`
187×	`distribute-rgt-neg-in_binary64`
174×	`distribute-lft-neg-in_binary64`

Counts

173 → 147

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	271	4508
1	727	4235
2	2526	4178
3	4891	4178
4	4959	4178

prune109.0ms (1.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	147	0	147
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	147	10	157

Error

5.7b

Counts

157 → 10

Alt Table

Status	Error	Program
	33.8b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) a) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)) 2))
	42.9b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	53.0b	(+.f64 (-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (/.f64 c b)) (.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -5))
	50.3b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 a 2))
	46.9b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)))
▶	33.4b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	33.5b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))
	40.3b	(neg.f64 (/.f64 c b))
✓	33.3b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
	44.8b	(/.f64 (neg.f64 b) a)

Compiler

Compiled 2826 to 1589 computations (43.8% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2))
0.8b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
4.9b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
22.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite118.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

5.7b

Rules

15×	`*-un-lft-identity_binary64`
14×	`add-sqr-sqrt_binary64`
11×	`times-frac_binary64`
11×	`add-cube-cbrt_binary64`
9×	`sqrt-prod_binary64`

Counts

4 → 80

Calls

4 calls:

15.0ms	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
9.0ms	(/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 2441 to 1368 computations (44% saved)

series292.0ms (3.7%)

Error

5.7b

Counts

4 → 90

Calls

4 calls:

87.0ms	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
72.0ms	(/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2))
53.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
38.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 3984 to 2822 computations (29.2% saved)

simplify122.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

786×	`associate-/r*_binary64`
283×	`cancel-sign-sub-inv_binary64`
217×	`distribute-rgt-neg-in_binary64`
197×	`distribute-lft-neg-in_binary64`
172×	`associate-/r/_binary64`

Counts

170 → 121

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	265	4240
1	740	4048
2	2365	4033
3	5529	4033

prune88.0ms (1.1%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	120	1	121
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	120	11	131

Error

5.7b

Counts

131 → 11

Alt Table

Status	Error	Program
	45.0b	(-.f64 (+.f64 (/.f64 c b) (.f64 (/.f64 b a) -1/2)) (/.f64 b (.f64 a 2)))
	33.8b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) a) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)) 2))
	42.9b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	53.0b	(+.f64 (-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (/.f64 c b)) (.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -5))
	50.3b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 a 2))
	46.9b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)))
✓	33.4b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
▶	33.5b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))
	40.3b	(neg.f64 (/.f64 c b))
✓	33.3b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
	44.8b	(/.f64 (neg.f64 b) a)

Compiler

Compiled 2505 to 1456 computations (41.9% saved)

localize25.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
22.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
22.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
22.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite107.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

5.7b

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 → 57

Calls

4 calls:

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

Compiler

Compiled 3027 to 1700 computations (43.8% saved)

series299.0ms (3.8%)

Error

5.7b

Counts

4 → 90

Calls

4 calls:

66.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
63.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
62.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
53.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

Compiler

Compiled 8100 to 5220 computations (35.6% saved)

simplify123.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

679×	`times-frac_binary64`
343×	`unswap-sqr_binary64`
323×	`associate-/l*_binary64`
319×	`associate-/r*_binary64`
239×	`*-commutative_binary64`

Counts

147 → 101

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	131	3144
1	296	3009
2	996	3009
3	4069	3009
4	5099	3009

prune104.0ms (1.3%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	100	1	101
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	100	12	112

Error

5.7b

Counts

112 → 12

Alt Table

Status	Error	Program
	33.5b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b))) (/.f64 a (/.f64 (cbrt.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)) 2)))
	45.0b	(-.f64 (+.f64 (/.f64 c b) (.f64 (/.f64 b a) -1/2)) (/.f64 b (.f64 a 2)))
	33.8b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) a) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)) 2))
	42.9b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	53.0b	(+.f64 (-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (/.f64 c b)) (.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -5))
	50.3b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 a 2))
	46.9b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)))
	33.4b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	33.5b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))
	40.3b	(neg.f64 (/.f64 c b))
	33.3b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
	44.8b	(/.f64 (neg.f64 b) a)

Compiler

Compiled 3873 to 2196 computations (43.3% saved)

regimes2.6s (32.9%)

Accuracy

Total 4.5b remaining (44.2%)

Threshold costs 0b (0%)

Compiler

Compiled 19848 to 13130 computations (33.8% saved)

bsearch58.0ms (0.7%)

Steps

Iters	Range		Point
8	2.4312080418527757e-38	1.0486900927351495e-35	3.697440739534566e-36
7	-8.991111997704752e+92	-5.864516152278704e+90	-4.3577198753340065e+92

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	52
1	42	52
2	67	52
3	80	52
4	87	52
5	88	52
6	87	52

end1.0ms (0%)

Compiler: Compiled 38 to 23 computations (39.5% saved)

sample1.5s (19.4%)

Algorithm

1×

intervals

Results

279.0ms	1152×	body	2048	valid
265.0ms	5223×	body	128	valid
137.0ms	712×	body	1024	valid
129.0ms	386×	body	4096	valid
50.0ms	338×	body	512	valid
32.0ms	683×	body	128	nan
21.0ms	189×	body	256	valid
20.0ms	401×	body	128	invalid

Compiler

Compiled 386 to 249 computations (35.5% saved)

Details

analyze626.0ms (8%)

sample39.0ms (0.5%)

simplify347.0ms (4.4%)

prune5.0ms (0.1%)

localize11.0ms (0.1%)

rewrite183.0ms (2.3%)

series277.0ms (3.5%)

simplify118.0ms (1.5%)

prune110.0ms (1.4%)

localize10.0ms (0.1%)

rewrite124.0ms (1.6%)

series267.0ms (3.4%)

simplify160.0ms (2%)

prune109.0ms (1.4%)

localize12.0ms (0.1%)

rewrite118.0ms (1.5%)

series292.0ms (3.7%)

simplify122.0ms (1.6%)

prune88.0ms (1.1%)

localize25.0ms (0.3%)

rewrite107.0ms (1.4%)

series299.0ms (3.8%)

simplify123.0ms (1.6%)

prune104.0ms (1.3%)

regimes2.6s (32.9%)

bsearch58.0ms (0.7%)

simplify5.0ms (0.1%)

end1.0ms (0%)

sample1.5s (19.4%)

Profiling