Details

analyze570.0ms (7.9%)

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)

sample634.0ms (8.7%)

Algorithm

1×

intervals

Results

10.0ms	38×	body	2048	valid
9.0ms	168×	body	128	valid
7.0ms	21×	body	1024	valid
4.0ms	13×	body	4096	valid
2.0ms	11×	body	512	valid
1.0ms	15×	body	128	nan
1.0ms	12×	body	128	invalid
1.0ms	5×	body	256	valid

Compiler

Compiled 36 to 24 computations (33.3% saved)

simplify83.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

808×	`fma-neg_binary64`
379×	`associate-/l*_binary64`
361×	`div-sub_binary64`
341×	`fma-def_binary64`
224×	`times-frac_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	23	18
2	39	18
3	69	18
4	107	18
5	178	18
6	279	18
7	382	18
8	547	18
9	587	18
10	855	18
11	1247	18
12	1117	18
13	1035	18
14	1043	18
15	1051	18
16	1077	18
17	1093	18
18	1129	18
19	1131	18
20	1143	18
21	1050	18

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

33.0b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 58 to 30 computations (48.3% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
✓	0.8b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
✓	1.0b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
✓	21.6b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series264.0ms (3.6%)

Counts

4 → 96

Calls

4 calls:

118.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
71.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
67.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
8.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

rewrite31.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

52×	`add-sqr-sqrt_binary64`
41×	`*-un-lft-identity_binary64`
31×	`add-cube-cbrt_binary64`
20×	`sqrt-prod_binary64`
19×	`prod-diff_binary64`

Counts

4 → 120

Calls

4 calls:

10.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
7.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
3.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
3.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

simplify277.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

682×	`fma-neg_binary64`
364×	`cancel-sign-sub-inv_binary64`
248×	`distribute-rgt-neg-in_binary64`
220×	`distribute-lft-neg-in_binary64`
172×	`distribute-rgt-in_binary64`

Counts

216 → 237

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	272	5492
1	683	4712
2	2484	4515
3	4521	4514
4	4915	4514
5	4990	4514
6	5000	4514
7	4999	4514
8	4932	4514

prune152.0ms (2.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	225	12	237
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	226	12	238

Error

3.8b

Counts

238 → 12

Alt Table

Status	Error	Program
	33.0b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))
	49.6b	(/.f64 (-.f64 (sqrt.f64 (pow.f64 b_2 2)) b_2) a)
	30.6b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))
	41.9b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 3) (pow.f64 b_2 3)) (+.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (+.f64 (.f64 b_2 b_2) (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)))) a)
	49.0b	(/.f64 (fma.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b_2 5)) -1/16 (fma.f64 (/.f64 (.f64 c a) b_2) -1/2 (.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b_2 3)) -1/8))) a)
	32.6b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) a)
	31.0b	(.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) (cbrt.f64 a)))
▶	30.5b	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)
	42.4b	(/.f64 (*.f64 -2 b_2) a)
	40.2b	(*.f64 -1/2 (/.f64 c b_2))
	42.5b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	43.1b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))

Compiler

Compiled 6041 to 1762 computations (70.8% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)
✓	0.2b	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
✓	9.2b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series473.0ms (6.5%)

Counts

3 → 24

Calls

3 calls:

308.0ms	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)
147.0ms	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
18.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

rewrite17.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`add-sqr-sqrt_binary64`
32×	`*-un-lft-identity_binary64`
22×	`add-cube-cbrt_binary64`
15×	`times-frac_binary64`
9×	`prod-diff_binary64`

Counts

3 → 88

Calls

3 calls:

8.0ms	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)
3.0ms	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
2.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

simplify95.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

515×	`fma-def_binary64`
428×	`fma-neg_binary64`
291×	`cancel-sign-sub-inv_binary64`
277×	`div-sub_binary64`
219×	`associate-/r/_binary64`

Counts

112 → 142

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	228	3125
1	530	2608
2	1783	2484
3	4376	2480
4	5049	2480

prune85.0ms (1.2%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	139	3	142
Fresh	3	8	11
Picked	0	1	1
Done	0	0	0
Total	142	12	154

Error

0.2b

Counts

154 → 12

Alt Table

Status	Error	Program
	46.5b	(/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2) a)
	33.0b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))
▶	30.6b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))
	41.9b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 3) (pow.f64 b_2 3)) (+.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (+.f64 (.f64 b_2 b_2) (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)))) a)
	50.2b	(/.f64 (+.f64 (/.f64 (.f64 -1/2 (.f64 c a)) b_2) (fma.f64 1/16 (/.f64 (pow.f64 (neg.f64 (.f64 c a)) 3) (pow.f64 b_2 5)) (fma.f64 (/.f64 (pow.f64 (neg.f64 (.f64 c a)) 4) (pow.f64 b_2 7)) -5/128 (.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b_2 3)) -1/8)))) a)
✓	30.5b	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)
	31.0b	(.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) (cbrt.f64 a)))
	46.1b	(/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2) a)
	40.2b	(*.f64 -1/2 (/.f64 c b_2))
	49.0b	(/.f64 (fma.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b_2 5)) -1/16 (fma.f64 (/.f64 (.f64 c a) b_2) -1/2 (.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b_2 3)) -1/8))) a)
	42.5b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	43.1b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))

Compiler

Compiled 3964 to 1238 computations (68.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a)
	0.2b	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
✓	0.2b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))
	9.2b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series911.0ms (12.6%)

Counts

2 → 16

Calls

2 calls:

542.0ms

(/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a)

369.0ms

(*.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))

rewrite54.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

68×	`add-sqr-sqrt_binary64`
52×	`times-frac_binary64`
52×	`*-un-lft-identity_binary64`
45×	`sqrt-prod_binary64`
36×	`add-cube-cbrt_binary64`

Counts

2 → 113

Calls

2 calls:

15.0ms

(*.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))

6.0ms

(/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a)

simplify133.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

757×	`times-frac_binary64`
675×	`associate-/l*_binary64`
333×	`fma-neg_binary64`
253×	`fma-def_binary64`
245×	`associate-/l/_binary64`

Counts

129 → 163

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	223	4926
1	535	4396
2	1607	4233
3	4748	4233
4	4948	4233

prune181.0ms (2.5%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	315	0	315
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	315	12	327

Error

0.2b

Counts

327 → 12

Alt Table

Status	Error	Program
	46.5b	(/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2) a)
	33.0b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))
✓	30.6b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))
	41.9b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 3) (pow.f64 b_2 3)) (+.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (+.f64 (.f64 b_2 b_2) (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)))) a)
	50.2b	(/.f64 (+.f64 (/.f64 (.f64 -1/2 (.f64 c a)) b_2) (fma.f64 1/16 (/.f64 (pow.f64 (neg.f64 (.f64 c a)) 3) (pow.f64 b_2 5)) (fma.f64 (/.f64 (pow.f64 (neg.f64 (.f64 c a)) 4) (pow.f64 b_2 7)) -5/128 (.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b_2 3)) -1/8)))) a)
✓	30.5b	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)
▶	31.0b	(.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) (cbrt.f64 a)))
	46.1b	(/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2) a)
	40.2b	(*.f64 -1/2 (/.f64 c b_2))
	49.0b	(/.f64 (fma.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b_2 5)) -1/16 (fma.f64 (/.f64 (.f64 c a) b_2) -1/2 (.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b_2 3)) -1/8))) a)
	42.5b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	43.1b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))

Compiler

Compiled 11765 to 2268 computations (80.7% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
✓	0.5b	(*.f64 (cbrt.f64 a) (cbrt.f64 a))
✓	0.6b	(cbrt.f64 a)
	9.2b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series145.0ms (2%)

Counts

3 → 36

Calls

3 calls:

70.0ms	(/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
40.0ms	(*.f64 (cbrt.f64 a) (cbrt.f64 a))
35.0ms	(cbrt.f64 a)

rewrite16.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64`
19×	`cbrt-prod_binary64`
18×	`pow1_binary64`
16×	`add-exp-log_binary64`
14×	`*-un-lft-identity_binary64`

Counts

3 → 92

Calls

3 calls:

7.0ms	(/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
5.0ms	(*.f64 (cbrt.f64 a) (cbrt.f64 a))
1.0ms	(cbrt.f64 a)

simplify93.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

643×	`fma-def_binary64`
539×	`unswap-sqr_binary64`
532×	`fma-neg_binary64`
525×	`associate-/r/_binary64`
491×	`log-prod_binary64`

Counts

128 → 130

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	91	1271
1	156	995
2	451	888
3	1370	855
4	3222	843
5	4889	843
6	4943	843

prune93.0ms (1.3%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	185	2	187
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	185	14	199

Error

0.2b

Counts

199 → 14

Alt Table

Status	Error	Program
	46.5b	(/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2) a)
	33.0b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))
	46.1b	(/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2) a)
	46.4b	(.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2) (cbrt.f64 a)))
	46.8b	(.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2) (cbrt.f64 a)))
✓	30.6b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))
	41.9b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 3) (pow.f64 b_2 3)) (+.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (+.f64 (.f64 b_2 b_2) (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)))) a)
	50.2b	(/.f64 (+.f64 (/.f64 (.f64 -1/2 (.f64 c a)) b_2) (fma.f64 1/16 (/.f64 (pow.f64 (neg.f64 (.f64 c a)) 3) (pow.f64 b_2 5)) (fma.f64 (/.f64 (pow.f64 (neg.f64 (.f64 c a)) 4) (pow.f64 b_2 7)) -5/128 (.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b_2 3)) -1/8)))) a)
✓	30.5b	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)
✓	31.0b	(.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) (cbrt.f64 a)))
	40.2b	(*.f64 -1/2 (/.f64 c b_2))
	49.0b	(/.f64 (fma.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b_2 5)) -1/16 (fma.f64 (/.f64 (.f64 c a) b_2) -1/2 (.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b_2 3)) -1/8))) a)
	42.5b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	43.1b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))

Compiler

Compiled 4800 to 1400 computations (70.8% saved)

regimes1.2s (16.6%)

Accuracy

Total 10.0b remaining (98.4%)

Threshold costs 0b (0%)

Counts

91 → 3

Compiler

Compiled 8284 to 4510 computations (45.6% saved)

bsearch49.0ms (0.7%)

Steps

Iters	Range		Point
9	8.320499659696152e-106	9.582872702869621e-98	7.291536803373925e-98
3	-1.810814865475224e+58	-1.485318800970554e+58	-1.7904713614436823e+58

Compiler

Compiled 4 to 3 computations (25% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	56
1	43	56
2	63	56
3	75	56
4	83	56
5	85	56
6	84	56

end1.0ms (0%)

Compiler: Compiled 41 to 24 computations (41.5% saved)

sample1.6s (22.7%)

Algorithm

1×

intervals

Results

370.0ms	5207×	body	128	valid
348.0ms	1125×	body	2048	valid
152.0ms	735×	body	1024	valid
140.0ms	414×	body	4096	valid
53.0ms	347×	body	512	valid
38.0ms	718×	body	128	nan
20.0ms	172×	body	256	valid
16.0ms	241×	body	128	invalid

Compiler

Compiled 397 to 230 computations (42.1% saved)

Details

analyze570.0ms (7.9%)

sample634.0ms (8.7%)

simplify83.0ms (1.1%)

prune3.0ms (0%)

localize8.0ms (0.1%)

series264.0ms (3.6%)

rewrite31.0ms (0.4%)

simplify277.0ms (3.8%)

prune152.0ms (2.1%)

localize7.0ms (0.1%)

series473.0ms (6.5%)

rewrite17.0ms (0.2%)

simplify95.0ms (1.3%)

prune85.0ms (1.2%)

localize10.0ms (0.1%)

series911.0ms (12.6%)

rewrite54.0ms (0.7%)

simplify133.0ms (1.8%)

prune181.0ms (2.5%)

localize12.0ms (0.2%)

series145.0ms (2%)

rewrite16.0ms (0.2%)

simplify93.0ms (1.3%)

prune93.0ms (1.3%)

regimes1.2s (16.6%)

bsearch49.0ms (0.7%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample1.6s (22.7%)

Profiling