Details

analyze642.0ms (6.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
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
34.7%	55.4%	9.9%	9
36.1%	51.1%	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)

sample2.1s (21.1%)

Symmetry

(sort a b_2 c)

Results

726.0ms	5387×	body	128	valid
519.0ms	1163×	body	2048	valid
267.0ms	730×	body	1024	valid
234.0ms	432×	body	4096	valid
122.0ms	1110×	body	128	invalid
99.0ms	359×	body	512	valid
37.0ms	185×	body	256	valid

Compiler

Compiled 50 to 32 computations (36% saved)

simplify24.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

324×	`fma-neg_binary64`
199×	`rules-11_binary64`
187×	`rules-40_binary64`
187×	`rules-41_binary64`
187×	`rules-42_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	65	20
2	200	20
3	699	20
4	18	20

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

54.9b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 48 to 30 computations (37.5% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(+.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
✓	0.2b	(/.f64 (+.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
✓	0.6b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
✓	18.1b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series194.0ms (1.9%)

Counts

4 → 96

Calls

4 calls:

92.0ms	(/.f64 (+.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
50.0ms	(+.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
43.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
9.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

rewrite89.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

606×	`log-prod_binary64`
217×	`expm1-udef_binary64`
217×	`log1p-udef_binary64`
198×	`log-div_binary64`
197×	`log-pow_binary64`

Counts

4 → 189

Calls

4 calls:

85.0ms	(+.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
85.0ms	(/.f64 (+.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
85.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))
85.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	59
1	271	59
2	3592	52
3	5721	52
0	0	0
1	0	0

simplify116.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

417×	`rules-21_binary64`
302×	`fma-neg_binary64`
232×	`rules-7-rev_binary64`
221×	`rules-18_binary64`
205×	`rules-40_binary64`

Counts

285 → 256

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	120	2209
1	861	2191
2	3998	2191
3	5009	2191

prune199.0ms (2%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	231	25	256
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	232	25	257

Error

43.8b

Counts

257 → 25

Alt Table

Status	Error	Program
	55.7b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (.f64 a c)))) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (*.f64 a c)))) b_2)) a))
	58.0b	(-.f64 (fma.f64 1/2 (/.f64 (.f64 b_2 b_2) (.f64 a (sqrt.f64 (neg.f64 (.f64 c a))))) (/.f64 (sqrt.f64 (neg.f64 (.f64 c a))) a)) (fma.f64 1/8 (/.f64 (pow.f64 b_2 4) (.f64 a (pow.f64 (sqrt.f64 (neg.f64 (.f64 c a))) 3))) (/.f64 b_2 a)))
	61.9b	(/.f64 (.f64 -1/2 (/.f64 (.f64 c a) b_2)) a)
	56.2b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (*.f64 a c)))) b_2))) a)
	57.0b	(/.f64 (+.f64 (neg.f64 b_2) (cbrt.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 3/2))) a)
	57.7b	(/.f64 (-.f64 (fma.f64 1/2 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (neg.f64 (.f64 c a)))) (fma.f64 1/8 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (neg.f64 (.f64 c a))) 3)) b_2)) a)
	55.3b	(/.f64 (+.f64 (neg.f64 b_2) (sqrt.f64 (expm1.f64 (log1p.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) a)
	56.3b	(/.f64 (-.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) a)
	55.8b	(/.f64 (+.f64 (neg.f64 b_2) (pow.f64 (cbrt.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (*.f64 a c))))) 3)) a)
	62.5b	(-.f64 (fma.f64 1/2 (/.f64 c b_2) (.f64 1/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b_2 3)))) (.f64 2 (/.f64 b_2 a)))
	55.3b	(/.f64 (+.f64 (neg.f64 b_2) (sqrt.f64 (fma.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 2) (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (fma.f64 (neg.f64 c) a (*.f64 a c))))) a)
	55.1b	(/.f64 (+.f64 (neg.f64 b_2) (sqrt.f64 (.f64 (cbrt.f64 (.f64 a c)) (-.f64 (/.f64 (.f64 b_2 b_2) (cbrt.f64 (.f64 a c))) (pow.f64 (cbrt.f64 (*.f64 a c)) 2))))) a)
	57.4b	(/.f64 (+.f64 (neg.f64 b_2) (pow.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 3/2) 1/3)) a)
	60.9b	(-.f64 (.f64 1/2 (/.f64 c b_2)) (.f64 2 (/.f64 b_2 a)))
	58.8b	(*.f64 -2 (/.f64 b_2 a))
	55.5b	(/.f64 (+.f64 (neg.f64 b_2) b_2) a)
	63.9b	(neg.f64 (fma.f64 1/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b_2 5)) (fma.f64 1/2 (/.f64 c b_2) (.f64 1/8 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3))))))
	62.5b	(fabs.f64 (/.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (*.f64 a c)))) b_2) a))
	63.1b	(/.f64 (+.f64 (neg.f64 b_2) (sqrt.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (cbrt.f64 (exp.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))))))) a)
▶	54.6b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (sqrt.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a)))) a)
	61.3b	(*.f64 -1/2 (/.f64 c b_2))
	55.8b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (.f64 a c)))) b_2)) 2) (/.f64 (cbrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (*.f64 a c)))) b_2)) a))
	61.4b	(/.f64 (-.f64 (.f64 1/2 (/.f64 (.f64 c a) b_2)) (*.f64 2 b_2)) a)
	56.5b	(/.f64 (-.f64 (fma.f64 1/2 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (neg.f64 (*.f64 c a)))) b_2) a)
	63.6b	(neg.f64 (fma.f64 1/2 (/.f64 c b_2) (.f64 1/8 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)))))

Compiler

Compiled 6544 to 2463 computations (62.4% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (sqrt.f64 c) (sqrt.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a)))
✓	1.5b	(+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (sqrt.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a))))
✓	2.1b	(sqrt.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a))
✓	5.8b	(/.f64 (*.f64 b_2 b_2) c)

series171.0ms (1.7%)

Counts

4 → 88

Calls

4 calls:

60.0ms	(+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (sqrt.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a))))
53.0ms	(.f64 (sqrt.f64 c) (sqrt.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a)))
40.0ms	(sqrt.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a))
18.0ms	(/.f64 (*.f64 b_2 b_2) c)

rewrite91.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

227×	`expm1-udef_binary64`
227×	`log1p-udef_binary64`
222×	`log-div_binary64`
213×	`log-pow_binary64`
151×	`egg-rr`

Counts

4 → 151

Calls

4 calls:

88.0ms	(.f64 (sqrt.f64 c) (sqrt.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a)))
88.0ms	(+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (sqrt.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a))))
88.0ms	(sqrt.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a))
88.0ms	(/.f64 (*.f64 b_2 b_2) c)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	54
1	294	48
2	3847	46
3	5064	46
0	0	0
1	0	0

simplify103.0ms (1%)

Algorithm

1×	egg-herbie

Rules

416×	`rules-21_binary64`
309×	`fma-neg_binary64`
235×	`rules-7-rev_binary64`
210×	`rules-40_binary64`
210×	`rules-41_binary64`

Counts

239 → 221

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	128	2285
1	907	2265
2	4083	2248
3	4989	2248

prune252.0ms (2.5%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	207	14	221
Fresh	7	17	24
Picked	1	0	1
Done	0	0	0
Total	215	31	246

Error

43.7b

Counts

246 → 31

Alt Table

Status	Error	Program
	55.7b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (.f64 a c)))) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (*.f64 a c)))) b_2)) a))
	58.0b	(-.f64 (fma.f64 1/2 (/.f64 (.f64 b_2 b_2) (.f64 a (sqrt.f64 (neg.f64 (.f64 c a))))) (/.f64 (sqrt.f64 (neg.f64 (.f64 c a))) a)) (fma.f64 1/8 (/.f64 (pow.f64 b_2 4) (.f64 a (pow.f64 (sqrt.f64 (neg.f64 (.f64 c a))) 3))) (/.f64 b_2 a)))
	55.8b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (.f64 a c)))) b_2)) 2) (/.f64 (cbrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (*.f64 a c)))) b_2)) a))
	58.2b	(/.f64 (+.f64 (neg.f64 b_2) (-.f64 (fma.f64 1/2 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (fabs.f64 (.f64 c a)))) (fma.f64 1/16 (/.f64 (pow.f64 b_2 6) (pow.f64 (sqrt.f64 (fabs.f64 (.f64 c a))) 5)) (sqrt.f64 (fabs.f64 (.f64 c a))))) (.f64 1/8 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (fabs.f64 (.f64 c a))) 3))))) a)
	61.9b	(/.f64 (.f64 -1/2 (/.f64 (.f64 c a) b_2)) a)
▶	54.9b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (pow.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/4) 2))) a)
	56.3b	(/.f64 (-.f64 (fma.f64 1/2 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (fabs.f64 (.f64 c a)))) (sqrt.f64 (fabs.f64 (*.f64 c a)))) b_2) a)
	56.2b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (*.f64 a c)))) b_2))) a)
	57.7b	(/.f64 (-.f64 (fma.f64 1/2 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (neg.f64 (.f64 c a)))) (fma.f64 1/8 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (neg.f64 (.f64 c a))) 3)) b_2)) a)
	55.0b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a))) 3))) a)
	55.8b	(/.f64 (+.f64 (neg.f64 b_2) (pow.f64 (cbrt.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (*.f64 a c))))) 3)) a)
	62.5b	(-.f64 (fma.f64 1/2 (/.f64 c b_2) (.f64 1/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b_2 3)))) (.f64 2 (/.f64 b_2 a)))
	55.7b	(/.f64 (.f64 (sqrt.f64 c) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 c a))) b_2) (sqrt.f64 c))) a)
	56.2b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (/.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 3/2) (+.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) (+.f64 0 (.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a)) 0)))))) a)
	57.4b	(/.f64 (+.f64 (neg.f64 b_2) (pow.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 3/2) 1/3)) a)
	60.9b	(-.f64 (.f64 1/2 (/.f64 c b_2)) (.f64 2 (/.f64 b_2 a)))
	55.5b	(/.f64 (.f64 (neg.f64 b_2) (+.f64 1 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 c a))) (neg.f64 b_2)))) a)
	62.2b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (-.f64 (.f64 1/2 (.f64 (sqrt.f64 c) (/.f64 a b_2))) (.f64 (sqrt.f64 (/.f64 1 c)) b_2)))) a)
	58.8b	(*.f64 -2 (/.f64 b_2 a))
	55.5b	(/.f64 (+.f64 (neg.f64 b_2) b_2) a)
	58.2b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (.f64 (sqrt.f64 (/.f64 1 c)) b_2))) a)
	63.9b	(neg.f64 (fma.f64 1/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b_2 5)) (fma.f64 1/2 (/.f64 c b_2) (.f64 1/8 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3))))))
	54.9b	(/.f64 (+.f64 (neg.f64 b_2) (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a)))) a)
	62.5b	(fabs.f64 (/.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (*.f64 a c)))) b_2) a))
	63.6b	(neg.f64 (fma.f64 1/2 (/.f64 c b_2) (.f64 1/8 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)))))
	57.5b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a)))) 1))) a)
	63.1b	(/.f64 (+.f64 (neg.f64 b_2) (sqrt.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (cbrt.f64 (exp.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))))))) a)
	61.3b	(*.f64 -1/2 (/.f64 c b_2))
	62.6b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (log.f64 (exp.f64 (sqrt.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a)))))) a)
	61.7b	(/.f64 (.f64 -1/2 (.f64 c (/.f64 a b_2))) a)
	56.9b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (pow.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 3/2) 1/3))) a)

Compiler

Compiled 6394 to 2724 computations (57.4% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (pow.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a) 1/4) 2)
✓	2.2b	(+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (pow.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/4) 2)))
✓	3.0b	(pow.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a) 1/4)
	5.8b	(/.f64 (*.f64 b_2 b_2) c)

series222.0ms (2.2%)

Counts

3 → 92

Calls

3 calls:

94.0ms

(pow.f64 (pow.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a) 1/4) 2)

66.0ms

(+.f64 (neg.f64 b_2) (*.f64 (sqrt.f64 c) (pow.f64 (pow.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a) 1/4) 2)))

62.0ms

(pow.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a) 1/4)

rewrite145.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

268×	`expm1-udef_binary64`
268×	`log1p-udef_binary64`
153×	`log1p-expm1-u_binary64`
153×	`expm1-log1p-u_binary64`
151×	`add-sqr-sqrt_binary64`

Counts

3 → 115

Calls

3 calls:

90.0ms

(pow.f64 (pow.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a) 1/4) 2)

90.0ms

(+.f64 (neg.f64 b_2) (*.f64 (sqrt.f64 c) (pow.f64 (pow.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a) 1/4) 2)))

90.0ms

(pow.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a) 1/4)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	49
1	368	43
2	4416	43
3	5058	43
0	0	0
1	0	0

simplify111.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

893×	`fma-neg_binary64`
680×	`rules-41_binary64`
680×	`rules-43_binary64`
678×	`rules-40_binary64`
678×	`rules-42_binary64`

Counts

207 → 240

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	386	4853
1	2618	4853
2	5187	4853

prune273.0ms (2.7%)

Pruning

36 alts after pruning (35 fresh and 1 done)

	Pruned	Kept	Total
New	263	9	272
Fresh	4	26	30
Picked	0	1	1
Done	0	0	0
Total	267	36	303

Error

43.7b

Counts

303 → 36

Alt Table

Status	Error	Program
	55.8b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (.f64 a c)))) b_2)) 2) (/.f64 (cbrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (*.f64 a c)))) b_2)) a))
	57.2b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (pow.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/4))) 1) 2))) a)
	58.2b	(/.f64 (+.f64 (neg.f64 b_2) (-.f64 (fma.f64 1/2 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (fabs.f64 (.f64 c a)))) (fma.f64 1/16 (/.f64 (pow.f64 b_2 6) (pow.f64 (sqrt.f64 (fabs.f64 (.f64 c a))) 5)) (sqrt.f64 (fabs.f64 (.f64 c a))))) (.f64 1/8 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (fabs.f64 (.f64 c a))) 3))))) a)
	58.1b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (-.f64 (sqrt.f64 (.f64 -1 a)) (fma.f64 1/8 (/.f64 (.f64 (pow.f64 b_2 4) (sqrt.f64 (.f64 -1 a))) (.f64 (.f64 c c) (.f64 a a))) (.f64 1/2 (/.f64 (.f64 (.f64 b_2 b_2) (sqrt.f64 (.f64 -1 a))) (.f64 a c))))))) a)
	62.6b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (log.f64 (exp.f64 (sqrt.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a)))))) a)
	61.9b	(/.f64 (.f64 -1/2 (/.f64 (.f64 c a) b_2)) a)
✓	54.9b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (pow.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/4) 2))) a)
	56.3b	(/.f64 (-.f64 (fma.f64 1/2 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (fabs.f64 (.f64 c a)))) (sqrt.f64 (fabs.f64 (*.f64 c a)))) b_2) a)
	56.2b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (*.f64 a c)))) b_2))) a)
	61.7b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (pow.f64 (.f64 (pow.f64 (/.f64 1 c) 1/4) (sqrt.f64 b_2)) 2))) a)
	57.7b	(/.f64 (-.f64 (fma.f64 1/2 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (neg.f64 (.f64 c a)))) (fma.f64 1/8 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (neg.f64 (.f64 c a))) 3)) b_2)) a)
	55.0b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a))) 3))) a)
	63.1b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (-.f64 (pow.f64 (pow.f64 (exp.f64 1/4) (-.f64 (neg.f64 (log.f64 c)) (.f64 2 (log.f64 (/.f64 -1 b_2))))) 2) (.f64 1/2 (.f64 (pow.f64 (pow.f64 (exp.f64 1/4) (-.f64 (neg.f64 (log.f64 c)) (.f64 2 (log.f64 (/.f64 -1 b_2))))) 2) (/.f64 (.f64 a c) (*.f64 b_2 b_2))))))) a)
	61.2b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (pow.f64 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (/.f64 1 c)) (*.f64 2 (log.f64 (/.f64 -1 b_2)))))) 2))) a)
	62.5b	(-.f64 (fma.f64 1/2 (/.f64 c b_2) (.f64 1/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b_2 3)))) (.f64 2 (/.f64 b_2 a)))
	56.2b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (/.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 3/2) (+.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) (+.f64 0 (.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a)) 0)))))) a)
	62.6b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (pow.f64 (pow.f64 (exp.f64 1/4) (-.f64 (neg.f64 (log.f64 c)) (.f64 2 (neg.f64 (log.f64 b_2))))) 2))) a)
	57.4b	(/.f64 (+.f64 (neg.f64 b_2) (pow.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 3/2) 1/3)) a)
	60.9b	(-.f64 (.f64 1/2 (/.f64 c b_2)) (.f64 2 (/.f64 b_2 a)))
	55.5b	(/.f64 (.f64 (neg.f64 b_2) (+.f64 1 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 c a))) (neg.f64 b_2)))) a)
	62.2b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (-.f64 (.f64 1/2 (.f64 (sqrt.f64 c) (/.f64 a b_2))) (.f64 (sqrt.f64 (/.f64 1 c)) b_2)))) a)
	62.7b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (pow.f64 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (/.f64 1 c)) (*.f64 2 (log.f64 (/.f64 1 b_2)))))) 2))) a)
	58.8b	(*.f64 -2 (/.f64 b_2 a))
	55.5b	(/.f64 (+.f64 (neg.f64 b_2) b_2) a)
	58.2b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (.f64 (sqrt.f64 (/.f64 1 c)) b_2))) a)
	63.9b	(neg.f64 (fma.f64 1/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b_2 5)) (fma.f64 1/2 (/.f64 c b_2) (.f64 1/8 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3))))))
	62.5b	(fabs.f64 (/.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (*.f64 a c)))) b_2) a))
	63.6b	(neg.f64 (fma.f64 1/2 (/.f64 c b_2) (.f64 1/8 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)))))
	57.5b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a)))) 1))) a)
	63.1b	(/.f64 (+.f64 (neg.f64 b_2) (sqrt.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (cbrt.f64 (exp.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))))))) a)
	61.3b	(*.f64 -1/2 (/.f64 c b_2))
	55.7b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (.f64 a c)))) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (*.f64 a c)))) b_2)) a))
	55.0b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (-.f64 (sqrt.f64 (.f64 -1 a)) (.f64 1/2 (/.f64 (.f64 (pow.f64 b_2 2) (sqrt.f64 (/.f64 -1 a))) c))))) a)
	61.7b	(/.f64 (.f64 -1/2 (.f64 c (/.f64 a b_2))) a)
	56.9b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (pow.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 3/2) 1/3))) a)
▶	54.6b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/8) (.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/4) (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/8))))) a)

Compiler

Compiled 11238 to 6307 computations (43.9% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.8b	(+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/8) (.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/4) (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/8)))))
	3.0b	(pow.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a) 1/4)
✓	3.0b	(pow.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a) 1/8)
	5.8b	(/.f64 (*.f64 b_2 b_2) c)

series141.0ms (1.4%)

Counts

2 → 56

Calls

2 calls:

77.0ms

(+.f64 (neg.f64 b_2) (*.f64 (sqrt.f64 c) (*.f64 (pow.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a) 1/8) (*.f64 (pow.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a) 1/4) (pow.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a) 1/8)))))

63.0ms

(pow.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a) 1/8)

rewrite86.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

499×	`prod-diff_binary64`
175×	`log1p-expm1-u_binary64`
175×	`expm1-log1p-u_binary64`
170×	`add-sqr-sqrt_binary64`
167×	`add-cbrt-cube_binary64`

Counts

2 → 81

Calls

2 calls:

84.0ms

(+.f64 (neg.f64 b_2) (*.f64 (sqrt.f64 c) (*.f64 (pow.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a) 1/8) (*.f64 (pow.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a) 1/4) (pow.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a) 1/8)))))

84.0ms

(pow.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a) 1/8)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	51
1	420	33
2	4543	33
3	5378	33
0	0	0
1	0	0

simplify72.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

525×	`fma-neg_binary64`
427×	`rules-20_binary64`
395×	`rules-41_binary64`
395×	`rules-43_binary64`
393×	`rules-40_binary64`

Counts

137 → 153

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	238	2784
1	1640	2784
2	5052	2784

prune529.0ms (5.3%)

Pruning

41 alts after pruning (40 fresh and 1 done)

	Pruned	Kept	Total
New	392	9	401
Fresh	3	31	34
Picked	1	0	1
Done	0	1	1
Total	396	41	437

Error

43.7b

Counts

437 → 41

Alt Table

Status	Error	Program
	55.0b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (-.f64 (sqrt.f64 (.f64 -1 a)) (.f64 1/2 (/.f64 (.f64 (pow.f64 b_2 2) (sqrt.f64 (/.f64 -1 a))) c))))) a)
	57.6b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/8) (.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/4) (-.f64 (pow.f64 (.f64 -1 a) 1/8) (.f64 1/8 (.f64 (pow.f64 (/.f64 -1 (pow.f64 a 7)) 1/8) (/.f64 (pow.f64 b_2 2) c)))))))) a)
	55.8b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (.f64 a c)))) b_2)) 2) (/.f64 (cbrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (*.f64 a c)))) b_2)) a))
	57.2b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (pow.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/4))) 1) 2))) a)
	55.1b	(/.f64 (pow.f64 (sqrt.f64 (fma.f64 (sqrt.f64 c) (sqrt.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a)) (neg.f64 b_2))) 2) a)
	58.2b	(/.f64 (+.f64 (neg.f64 b_2) (-.f64 (fma.f64 1/2 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (fabs.f64 (.f64 c a)))) (fma.f64 1/16 (/.f64 (pow.f64 b_2 6) (pow.f64 (sqrt.f64 (fabs.f64 (.f64 c a))) 5)) (sqrt.f64 (fabs.f64 (.f64 c a))))) (.f64 1/8 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (fabs.f64 (.f64 c a))) 3))))) a)
	58.1b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (-.f64 (sqrt.f64 (.f64 -1 a)) (fma.f64 1/8 (/.f64 (.f64 (pow.f64 b_2 4) (sqrt.f64 (.f64 -1 a))) (.f64 (.f64 c c) (.f64 a a))) (.f64 1/2 (/.f64 (.f64 (.f64 b_2 b_2) (sqrt.f64 (.f64 -1 a))) (.f64 a c))))))) a)
	62.6b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (log.f64 (exp.f64 (sqrt.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a)))))) a)
	60.6b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/8) (.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/4) (exp.f64 (.f64 1/8 (-.f64 (log.f64 (pow.f64 b_2 2)) (log.f64 c)))))))) a)
	61.9b	(/.f64 (.f64 -1/2 (/.f64 (.f64 c a) b_2)) a)
✓	54.9b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (pow.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/4) 2))) a)
	56.3b	(/.f64 (-.f64 (fma.f64 1/2 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (fabs.f64 (.f64 c a)))) (sqrt.f64 (fabs.f64 (*.f64 c a)))) b_2) a)
	62.8b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/8) (.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/4) (.f64 (pow.f64 (/.f64 1 c) 1/8) (pow.f64 b_2 1/4)))))) a)
	56.2b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (*.f64 a c)))) b_2))) a)
	60.7b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/8) (.f64 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (.f64 b_2 b_2)) (log.f64 c)))) (pow.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a) 1/8))))) a)
	61.7b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (pow.f64 (.f64 (pow.f64 (/.f64 1 c) 1/4) (sqrt.f64 b_2)) 2))) a)
	57.7b	(/.f64 (-.f64 (fma.f64 1/2 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (neg.f64 (.f64 c a)))) (fma.f64 1/8 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (neg.f64 (.f64 c a))) 3)) b_2)) a)
	61.2b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (pow.f64 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (/.f64 1 c)) (*.f64 2 (log.f64 (/.f64 -1 b_2)))))) 2))) a)
	62.5b	(-.f64 (fma.f64 1/2 (/.f64 c b_2) (.f64 1/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b_2 3)))) (.f64 2 (/.f64 b_2 a)))
	56.2b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (/.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 3/2) (+.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) (+.f64 0 (.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a)) 0)))))) a)
	62.6b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (pow.f64 (pow.f64 (exp.f64 1/4) (-.f64 (neg.f64 (log.f64 c)) (.f64 2 (neg.f64 (log.f64 b_2))))) 2))) a)
	57.4b	(/.f64 (+.f64 (neg.f64 b_2) (pow.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 3/2) 1/3)) a)
	60.9b	(-.f64 (.f64 1/2 (/.f64 c b_2)) (.f64 2 (/.f64 b_2 a)))
	55.5b	(/.f64 (.f64 (neg.f64 b_2) (+.f64 1 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 c a))) (neg.f64 b_2)))) a)
	62.2b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (-.f64 (.f64 1/2 (.f64 (sqrt.f64 c) (/.f64 a b_2))) (.f64 (sqrt.f64 (/.f64 1 c)) b_2)))) a)
	62.7b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (pow.f64 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (/.f64 1 c)) (*.f64 2 (log.f64 (/.f64 1 b_2)))))) 2))) a)
	58.8b	(*.f64 -2 (/.f64 b_2 a))
	55.5b	(/.f64 (+.f64 (neg.f64 b_2) b_2) a)
	58.2b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (.f64 (sqrt.f64 (/.f64 1 c)) b_2))) a)
	63.9b	(neg.f64 (fma.f64 1/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b_2 5)) (fma.f64 1/2 (/.f64 c b_2) (.f64 1/8 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3))))))
	62.5b	(fabs.f64 (/.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (*.f64 a c)))) b_2) a))
	59.5b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/8) (.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/4) (-.f64 (pow.f64 (.f64 -1 a) 1/8) (fma.f64 1/8 (.f64 (pow.f64 (/.f64 -1 (pow.f64 a 7)) 1/8) (/.f64 (.f64 b_2 b_2) c)) (.f64 7/128 (.f64 (pow.f64 (/.f64 -1 (pow.f64 a 15)) 1/8) (/.f64 (pow.f64 b_2 4) (*.f64 c c)))))))))) a)
	63.1b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/8) (.f64 (pow.f64 (exp.f64 1/4) (-.f64 (neg.f64 (log.f64 c)) (.f64 2 (neg.f64 (log.f64 b_2))))) (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/8))))) a)
	63.6b	(neg.f64 (fma.f64 1/2 (/.f64 c b_2) (.f64 1/8 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)))))
	57.5b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a)))) 1))) a)
	63.1b	(/.f64 (+.f64 (neg.f64 b_2) (sqrt.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (cbrt.f64 (exp.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))))))) a)
	61.3b	(*.f64 -1/2 (/.f64 c b_2))
	63.8b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/8) (.f64 (-.f64 (pow.f64 (exp.f64 1/4) (-.f64 (neg.f64 (log.f64 c)) (.f64 2 (log.f64 (/.f64 -1 b_2))))) (.f64 1/4 (.f64 (pow.f64 (exp.f64 1/4) (-.f64 (neg.f64 (log.f64 c)) (.f64 2 (log.f64 (/.f64 -1 b_2))))) (/.f64 (.f64 a c) (.f64 b_2 b_2))))) (pow.f64 (-.f64 (/.f64 (*.f64 b_2 b_2) c) a) 1/8))))) a)
	55.7b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (.f64 a c)))) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (*.f64 a c)))) b_2)) a))
	61.7b	(/.f64 (.f64 -1/2 (.f64 c (/.f64 a b_2))) a)
	56.3b	(/.f64 (+.f64 (neg.f64 b_2) (.f64 (sqrt.f64 c) (.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/8) (.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/4) (-.f64 (exp.f64 (log1p.f64 (pow.f64 (-.f64 (/.f64 (.f64 b_2 b_2) c) a) 1/8))) 1))))) a)

Compiler

Compiled 21126 to 9788 computations (53.7% saved)

regimes3.6s (36%)

Accuracy

Total 39.3b remaining (92.7%)

Threshold costs 0b (0%)

Counts

385 → 3

Compiler

Compiled 47312 to 27566 computations (41.7% saved)

bsearch17.0ms (0.2%)

Compiler: Compiled 16 to 10 computations (37.5% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`
1×	`unpow1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	89
1	30	89
2	29	89

end765.0ms (7.6%)

Remove: (sort a b_2 c)
Compiler: Compiled 1431 to 844 computations (41% saved)

Details

analyze642.0ms (6.4%)

sample2.1s (21.1%)

simplify24.0ms (0.2%)

prune2.0ms (0%)

localize11.0ms (0.1%)

series194.0ms (1.9%)

rewrite89.0ms (0.9%)

simplify116.0ms (1.2%)

prune199.0ms (2%)

localize11.0ms (0.1%)

series171.0ms (1.7%)

rewrite91.0ms (0.9%)

simplify103.0ms (1%)

prune252.0ms (2.5%)

localize14.0ms (0.1%)

series222.0ms (2.2%)

rewrite145.0ms (1.4%)

simplify111.0ms (1.1%)

prune273.0ms (2.7%)

localize20.0ms (0.2%)

series141.0ms (1.4%)

rewrite86.0ms (0.9%)

simplify72.0ms (0.7%)

prune529.0ms (5.3%)

regimes3.6s (36%)

bsearch17.0ms (0.2%)

simplify2.0ms (0%)

end765.0ms (7.6%)

Profiling