Details

analyze1.4s (12%)

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
18.7%	76.5%	4.8%	7
28.1%	66.3%	5.6%	8
35.1%	55%	9.9%	9
36.3%	50.9%	12.8%	10
42.1%	42.4%	15.5%	11
47.5%	33.8%	18.7%	12
48.8%	30.7%	20.6%	13
51.8%	25.6%	22.5%	14

Compiler

Compiled 17 to 11 computations (35.3% saved)

sample47.0ms (0.4%)

Algorithm

1×

intervals

Results

11.0ms	160×	body	128	valid
10.0ms	39×	body	2048	valid
6.0ms	27×	body	1024	valid
4.0ms	11×	body	4096	valid
2.0ms	11×	body	512	valid
2.0ms	30×	body	128	nan
1.0ms	8×	body	256	valid
0.0ms	8×	body	128	invalid

Compiler

Compiled 36 to 24 computations (33.3% saved)

simplify145.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

518×	`div-sub_binary64`
428×	`fma-neg_binary64`
246×	`associate-/l*_binary64`
205×	`fma-def_binary64`
183×	`times-frac_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	27	20
2	54	20
3	115	20
4	179	20
5	291	20
6	417	20
7	528	20
8	602	20
9	854	20
10	1802	20
11	1043	20
12	1027	20
13	1035	20
14	1043	20
15	1043	20
16	1101	20
17	1137	20
18	1139	20
19	1151	20
20	1046	20

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

33.7b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	33.7b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)

Compiler

Compiled 32 to 20 computations (37.5% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
1.2b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
1.2b	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
21.7b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite474.0ms (4%)

Algorithm

1×	rewrite-expression-head

Error

33.5b

Rules

81×	`add-sqr-sqrt_binary64`
80×	`*-un-lft-identity_binary64`
61×	`prod-diff_binary64`
60×	`add-cube-cbrt_binary64`
41×	`sqrt-prod_binary64`

Counts

4 → 176

Calls

4 calls:

12.0ms	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
11.0ms	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
3.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 5416 to 722 computations (86.7% saved)

series158.0ms (1.3%)

Error

5.2b

Counts

4 → 74

Calls

4 calls:

53.0ms	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
32.0ms	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
30.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
23.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 2742 to 1798 computations (34.4% saved)

simplify302.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

747×	`fma-def_binary64`
483×	`fma-neg_binary64`
248×	`cancel-sign-sub-inv_binary64`
156×	`exp-prod_binary64`
142×	`unswap-sqr_binary64`

Counts

250 → 228

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	292	7934
1	678	5933
2	2159	4889
3	4489	4889
4	4933	4889

prune73.0ms (0.6%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	213	15	228
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	214	15	229

Error

7.3b

Counts

229 → 15

Alt Table

Status	Error	Program
	35.1b	(.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2))) (cbrt.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a))
	43.4b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	44.5b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	56.5b	(/.f64 (-.f64 (neg.f64 b_2) (neg.f64 b_2)) a)
	39.5b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
	54.8b	(/.f64 (fma.f64 (sqrt.f64 (neg.f64 b_2)) (sqrt.f64 (neg.f64 b_2)) (neg.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a)
	44.4b	(/.f64 (*.f64 b_2 -2) a)
▶	34.7b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	46.7b	(.f64 (sqrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) a)) (sqrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)))
	49.3b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (*.f64 b_2 b_2))) a)
	44.9b	(/.f64 (.f64 (/.f64 (.f64 c a) b_2) -1/2) a)
	51.6b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)) 3)))) a)
	36.8b	(/.f64 (-.f64 (neg.f64 b_2) (.f64 (.f64 (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2))) (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)
	37.4b	(/.f64 (fma.f64 (.f64 (cbrt.f64 b_2) (cbrt.f64 b_2)) (neg.f64 (cbrt.f64 b_2)) (neg.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2))) a)
	39.2b	(/.f64 (-.f64 (neg.f64 b_2) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)

Compiler

Compiled 2649 to 783 computations (70.4% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))
0.1b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
0.5b	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
12.4b	(sqrt.f64 (neg.f64 (*.f64 c a)))

rewrite167.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

2.4b

Rules

172×	`*-un-lft-identity_binary64`
162×	`times-frac_binary64`
139×	`add-sqr-sqrt_binary64`
104×	`add-cube-cbrt_binary64`
34×	`distribute-lft-out--_binary64`

Counts

4 → 244

Calls

4 calls:

9.0ms	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
6.0ms	(/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))
5.0ms	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
2.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

Compiler

Compiled 6705 to 1348 computations (79.9% saved)

series231.0ms (2%)

Error

7.3b

Counts

4 → 51

Calls

4 calls:

80.0ms	(/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))
69.0ms	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
53.0ms	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
10.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

Compiler

Compiled 3120 to 2135 computations (31.6% saved)

simplify245.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

536×	`fma-def_binary64`
418×	`fma-neg_binary64`
287×	`div-sub_binary64`
213×	`cancel-sign-sub-inv_binary64`
155×	`distribute-rgt-neg-out_binary64`

Counts

295 → 224

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	337	9443
1	720	7916
2	2333	7296
3	4497	7296
4	5068	7296

prune58.0ms (0.5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	220	4	224
Fresh	7	7	14
Picked	0	1	1
Done	0	0	0
Total	227	12	239

Error

5.1b

Counts

239 → 12

Alt Table

Status	Error	Program
	39.5b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
▶	34.6b	(.f64 1 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) a))
✓	34.7b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	46.7b	(.f64 (sqrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) a)) (sqrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)))
	39.2b	(/.f64 (-.f64 (neg.f64 b_2) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)
	38.9b	(.f64 1/2 (.f64 (/.f64 c b_2) -1))
	35.1b	(.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2))) (cbrt.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a))
	44.5b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	44.5b	(/.f64 1 (/.f64 a (*.f64 b_2 -2)))
	49.3b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (*.f64 b_2 b_2))) a)
	51.6b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)) 3)))) a)
	38.9b	(/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (/.f64 2 (*.f64 (/.f64 c b_2) -1))))

Compiler

Compiled 2630 to 765 computations (70.9% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.1b	(/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)
0.5b	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
12.4b	(sqrt.f64 (neg.f64 (*.f64 c a)))

rewrite108.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

58×	`*-un-lft-identity_binary64`
49×	`add-sqr-sqrt_binary64`
38×	`add-cube-cbrt_binary64`
30×	`prod-diff_binary64`
18×	`times-frac_binary64`

Counts

3 → 123

Calls

3 calls:

35.0ms	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
7.0ms	(/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)
2.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

Compiler

Compiled 3661 to 701 computations (80.9% saved)

series147.0ms (1.3%)

Error

5.1b

Counts

3 → 36

Calls

3 calls:

71.0ms	(/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)
54.0ms	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
10.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

Compiler

Compiled 2139 to 1493 computations (30.2% saved)

simplify158.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

625×	`associate-/l*_binary64`
442×	`fma-neg_binary64`
430×	`fma-def_binary64`
157×	`cancel-sign-sub-inv_binary64`
143×	`distribute-rgt-in_binary64`

Counts

159 → 89

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	253	4671
1	558	3624
2	1695	3128
3	4856	3128
4	5006	3128

prune46.0ms (0.4%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	89	0	89
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	89	12	101

Error

5.1b

Counts

101 → 12

Alt Table

Status	Error	Program
	39.5b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
✓	34.6b	(.f64 1 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) a))
✓	34.7b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	46.7b	(.f64 (sqrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) a)) (sqrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)))
	39.2b	(/.f64 (-.f64 (neg.f64 b_2) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)
	38.9b	(.f64 1/2 (.f64 (/.f64 c b_2) -1))
▶	35.1b	(.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2))) (cbrt.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a))
	44.5b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	44.5b	(/.f64 1 (/.f64 a (*.f64 b_2 -2)))
	49.3b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (*.f64 b_2 b_2))) a)
	51.6b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)) 3)))) a)
	38.9b	(/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (/.f64 2 (*.f64 (/.f64 c b_2) -1))))

Compiler

Compiled 1294 to 536 computations (58.6% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
12.4b	(sqrt.f64 (neg.f64 (*.f64 c a)))
12.4b	(sqrt.f64 (neg.f64 (*.f64 c a)))
12.4b	(sqrt.f64 (neg.f64 (*.f64 c a)))

rewrite89.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

5.1b

Rules

35×	`add-sqr-sqrt_binary64`
34×	`*-un-lft-identity_binary64`
30×	`prod-diff_binary64`
30×	`add-cube-cbrt_binary64`
18×	`sqrt-prod_binary64`

Counts

4 → 115

Calls

4 calls:

10.0ms	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
3.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))
3.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))
3.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

Compiler

Compiled 5770 to 665 computations (88.5% saved)

series233.0ms (2%)

Error

5.1b

Counts

4 → 33

Calls

4 calls:

97.0ms	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
96.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))
14.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))
11.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

Compiler

Compiled 3232 to 1603 computations (50.4% saved)

simplify122.0ms (1%)

Algorithm

1×	egg-herbie

Rules

758×	`times-frac_binary64`
633×	`fma-neg_binary64`
489×	`associate-l_binary64`
341×	`fma-def_binary64`
203×	`associate-/l*_binary64`

Counts

148 → 74

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	169	3346
1	343	2413
2	959	1981
3	4512	1981
4	4904	1981

prune28.0ms (0.2%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	74	0	74
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	74	12	86

Error

5.1b

Counts

86 → 12

Alt Table

Status	Error	Program
	39.5b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
	34.6b	(.f64 1 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) a))
	34.7b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	46.7b	(.f64 (sqrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) a)) (sqrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)))
	39.2b	(/.f64 (-.f64 (neg.f64 b_2) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)
	38.9b	(.f64 1/2 (.f64 (/.f64 c b_2) -1))
	35.1b	(.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2))) (cbrt.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a))
	44.5b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	44.5b	(/.f64 1 (/.f64 a (*.f64 b_2 -2)))
	49.3b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (*.f64 b_2 b_2))) a)
	51.6b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)) 3)))) a)
	38.9b	(/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (/.f64 2 (*.f64 (/.f64 c b_2) -1))))

Compiler

Compiled 1449 to 351 computations (75.8% saved)

regimes5.6s (48%)

Accuracy

Total 4.8b remaining (46.2%)

Threshold costs 0b (0%)

Compiler

Compiled 24504 to 12160 computations (50.4% saved)

bsearch51.0ms (0.4%)

Steps

Iters	Range		Point
4	1.2664081271597517e+34	1.9561362958847048e+34	1.93458229061205e+34
5	-4.875490274522877e-82	-1.7594348852515498e-82	-2.164889649843396e-82

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	27	56
1	42	55
2	58	55
3	78	53
4	91	53
5	97	53
6	99	53
7	98	53

end1.0ms (0%)

Compiler: Compiled 39 to 24 computations (38.5% saved)

sample1.7s (14.9%)

Algorithm

1×

intervals

Results

354.0ms	1094×	body	2048	valid
353.0ms	5199×	body	128	valid
190.0ms	719×	body	1024	valid
169.0ms	430×	body	4096	valid
76.0ms	372×	body	512	valid
52.0ms	803×	body	128	nan
24.0ms	186×	body	256	valid
17.0ms	255×	body	128	invalid

Compiler

Compiled 279 to 168 computations (39.8% saved)

Details

analyze1.4s (12%)

sample47.0ms (0.4%)

simplify145.0ms (1.2%)

prune1.0ms (0%)

localize9.0ms (0.1%)

rewrite474.0ms (4%)

series158.0ms (1.3%)

simplify302.0ms (2.6%)

prune73.0ms (0.6%)

localize11.0ms (0.1%)

rewrite167.0ms (1.4%)

series231.0ms (2%)

simplify245.0ms (2.1%)

prune58.0ms (0.5%)

localize9.0ms (0.1%)

rewrite108.0ms (0.9%)

series147.0ms (1.3%)

simplify158.0ms (1.4%)

prune46.0ms (0.4%)

localize18.0ms (0.2%)

rewrite89.0ms (0.8%)

series233.0ms (2%)

simplify122.0ms (1%)

prune28.0ms (0.2%)

regimes5.6s (48%)

bsearch51.0ms (0.4%)

simplify5.0ms (0%)

end1.0ms (0%)

sample1.7s (14.9%)

Profiling