Details

analyze900.0ms (11.1%)

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)

sample2.2s (27%)

Results

1.8s	8256×	body	128	valid
263.0ms	1052×	body	128	invalid

Compiler

Compiled 125 to 80 computations (36% saved)

simplify130.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

1002×	`fma-def_binary64`
782×	`fma-neg_binary64`
748×	`distribute-rgt-in_binary64`
560×	`div-sub_binary64`
469×	`associate-/l*_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	22	58
1	44	52
2	94	52
3	211	50
4	341	50
5	594	50
6	1082	50
7	1702	50
8	2066	50
9	2870	50
10	3495	50
11	3501	50
12	3503	50
13	4196	50
14	4249	50
15	4881	50

prune8.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

20.1b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	20.2b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))
	20.3b	(if (>=.f64 b 0) (.f64 c (/.f64 -2 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))))) (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b) (/.f64 1/2 a)))

Status

Error

Program

▶

20.2b

(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)))

20.3b

(if (>=.f64 b 0) (*.f64 c (/.f64 -2 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))))) (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a)))

Compiler

Compiled 231 to 143 computations (38.1% saved)

localize21.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
✓	1.3b	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
✓	1.7b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
✓	23.5b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 1536 to 1280 computations (16.7% saved)

series276.0ms (3.4%)

Counts

4 → 80

Calls

4 calls:

109.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
65.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
57.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
44.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite49.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

69×	`*-un-lft-identity_binary64`
60×	`prod-diff_binary64`
58×	`add-sqr-sqrt_binary64`
53×	`add-cube-cbrt_binary64`
37×	`sqrt-prod_binary64`

Counts

4 → 169

Calls

4 calls:

9.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
8.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
7.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

simplify219.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

465×	`fma-neg_binary64`
405×	`cancel-sign-sub-inv_binary64`
186×	`associate-r_binary64`
177×	`sub-neg_binary64`
170×	`unswap-sqr_binary64`

Counts

249 → 280

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	310	8186
1	821	6808
2	2950	5670
3	4825	5670
4	4999	5670
5	4877	5670

prune531.0ms (6.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	317	11	328
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	318	12	330

Error

5.0b

Counts

330 → 12

Alt Table

Status	Error	Program
	20.2b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))))
▶	16.7b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (-.f64 (/.f64 c b) (/.f64 b a)))
	34.3b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (/.f64 (.f64 4 (.f64 c a)) (-.f64 (hypot.f64 (sqrt.f64 (.f64 (.f64 c a) -4)) b) b))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (*.f64 2 a)))
	24.4b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) b)) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (*.f64 2 a)))
	20.3b	(if (>=.f64 b 0) (.f64 c (/.f64 -2 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))))) (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b) (/.f64 1/2 a)))
	26.1b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a)))
	28.4b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (/.f64 (sqrt.f64 (-.f64 (pow.f64 (.f64 b b) 3) (pow.f64 (.f64 (.f64 4 a) c) 3))) (sqrt.f64 (+.f64 (.f64 (.f64 b b) (.f64 b b)) (+.f64 (.f64 (.f64 (.f64 4 a) c) (.f64 (.f64 4 a) c)) (.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a)))
	20.5b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (/.f64 (.f64 2 a) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))))
	31.4b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 (.f64 c a) -4)) b)) (.f64 a 2))))
	27.2b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (.f64 (.f64 c a) -4)) b))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (*.f64 2 a)))
	16.8b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (.f64 -1 b)) (.f64 2 a)))
	26.4b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 (.f64 c a) -4)) b))) (cbrt.f64 (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 (.f64 c a) -4)) b)))) (cbrt.f64 (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 (.f64 c a) -4)) b))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (*.f64 2 a)))

Compiler

Compiled 19294 to 11038 computations (42.8% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (/.f64 c b) (/.f64 b a))
✓	0.1b	(/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))
	1.3b	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
	23.5b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 1536 to 1280 computations (16.7% saved)

series293.0ms (3.6%)

Counts

2 → 29

Calls

2 calls:

281.0ms	(/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))
12.0ms	(-.f64 (/.f64 c b) (/.f64 b a))

rewrite71.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

265×	`times-frac_binary64`
220×	`add-sqr-sqrt_binary64`
214×	`*-un-lft-identity_binary64`
200×	`add-cube-cbrt_binary64`
169×	`prod-diff_binary64`

Counts

2 → 248

Calls

2 calls:

25.0ms	(-.f64 (/.f64 c b) (/.f64 b a))
9.0ms	(/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))

simplify209.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

459×	`fma-neg_binary64`
332×	`associate-/l/_binary64`
175×	`distribute-rgt-neg-in_binary64`
163×	`sub-neg_binary64`
156×	`fma-udef_binary64`

Counts

277 → 308

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	429	8755
1	1031	6629
2	2621	5171
3	4896	5171
4	4931	5171

prune924.0ms (11.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	460	4	464
Fresh	2	9	11
Picked	1	0	1
Done	0	0	0
Total	463	13	476

Error

5.0b

Counts

476 → 13

Alt Table

Status	Error	Program
	22.8b	(if (>=.f64 b 0) (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 c 2) (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -4))))))) (cbrt.f64 (/.f64 (.f64 c 2) (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -4)))))))) (cbrt.f64 (/.f64 (.f64 c 2) (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -4)))))))) (-.f64 (/.f64 c b) (/.f64 b a)))
	28.4b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (/.f64 (sqrt.f64 (-.f64 (pow.f64 (.f64 b b) 3) (pow.f64 (.f64 (.f64 4 a) c) 3))) (sqrt.f64 (+.f64 (.f64 (.f64 b b) (.f64 b b)) (+.f64 (.f64 (.f64 (.f64 4 a) c) (.f64 (.f64 4 a) c)) (.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a)))
▶	16.7b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (+.f64 (-.f64 (pow.f64 (/.f64 (cbrt.f64 c) (cbrt.f64 b)) 3) (/.f64 b a)) 0))
	20.2b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))))
	20.9b	(if (>=.f64 b 0) (*.f64 -1 (/.f64 c b)) (-.f64 (/.f64 c b) (/.f64 b a)))
	34.3b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (/.f64 (.f64 4 (.f64 c a)) (-.f64 (hypot.f64 (sqrt.f64 (.f64 (.f64 c a) -4)) b) b))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (*.f64 2 a)))
	20.3b	(if (>=.f64 b 0) (.f64 c (/.f64 -2 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))))) (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b) (/.f64 1/2 a)))
	26.1b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a)))
	24.0b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (expm1.f64 (log1p.f64 (-.f64 (/.f64 c b) (/.f64 b a)))))
	20.5b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (/.f64 (.f64 2 a) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))))
	31.4b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 (.f64 c a) -4)) b)) (.f64 a 2))))
	27.2b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (.f64 (.f64 c a) -4)) b))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (*.f64 2 a)))
	16.8b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (.f64 -1 b)) (.f64 2 a)))

Compiler

Compiled 26148 to 10976 computations (58% saved)

localize26.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(cbrt.f64 b)
✓	0.6b	(cbrt.f64 c)
	1.3b	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
	23.5b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 1536 to 1280 computations (16.7% saved)

series63.0ms (0.8%)

Counts

2 → 24

Calls

2 calls:

34.0ms	(cbrt.f64 c)
29.0ms	(cbrt.f64 b)

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`cbrt-prod_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`
2×	`add-cbrt-cube_binary64`

Counts

2 → 26

Calls

2 calls:

1.0ms	(cbrt.f64 c)
1.0ms	(cbrt.f64 b)

simplify33.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

422×	`distribute-rgt-in_binary64`
414×	`distribute-lft-in_binary64`
409×	`associate-l_binary64`
378×	`unswap-sqr_binary64`
274×	`associate-r_binary64`

Counts

50 → 36

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	42	286
1	64	274
2	148	274
3	384	274
4	1209	266
5	4945	266

prune448.0ms (5.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	190	2	192
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	192	13	205

Error

5.0b

Counts

205 → 13

Alt Table

Status	Error	Program
	22.8b	(if (>=.f64 b 0) (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 c 2) (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -4))))))) (cbrt.f64 (/.f64 (.f64 c 2) (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -4)))))))) (cbrt.f64 (/.f64 (.f64 c 2) (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -4)))))))) (-.f64 (/.f64 c b) (/.f64 b a)))
	28.4b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (/.f64 (sqrt.f64 (-.f64 (pow.f64 (.f64 b b) 3) (pow.f64 (.f64 (.f64 4 a) c) 3))) (sqrt.f64 (+.f64 (.f64 (.f64 b b) (.f64 b b)) (+.f64 (.f64 (.f64 (.f64 4 a) c) (.f64 (.f64 4 a) c)) (.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a)))
	20.9b	(if (>=.f64 b 0) (*.f64 -1 (/.f64 c b)) (-.f64 (/.f64 c b) (/.f64 b a)))
	34.3b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (/.f64 (.f64 4 (.f64 c a)) (-.f64 (hypot.f64 (sqrt.f64 (.f64 (.f64 c a) -4)) b) b))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (*.f64 2 a)))
	20.3b	(if (>=.f64 b 0) (.f64 c (/.f64 -2 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))))) (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b) (/.f64 1/2 a)))
	26.1b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a)))
	27.4b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (+.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 c 1/3) (cbrt.f64 b)) 3) (/.f64 b a)) 0))
	20.5b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (/.f64 (.f64 2 a) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))))
	31.4b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 (.f64 c a) -4)) b)) (.f64 a 2))))
	27.2b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (.f64 (.f64 c a) -4)) b))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (*.f64 2 a)))
	20.2b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))))
	16.8b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (.f64 -1 b)) (.f64 2 a)))
▶	16.7b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (+.f64 (-.f64 (pow.f64 (/.f64 (cbrt.f64 c) (.f64 (pow.f64 (.f64 -1 b) 1/3) (cbrt.f64 -1))) 3) (/.f64 b a)) 0))

Compiler

Compiled 11981 to 6604 computations (44.9% saved)

localize32.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(cbrt.f64 c)
	1.3b	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
✓	2.0b	(pow.f64 (*.f64 -1 b) 1/3)
	23.5b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 1536 to 1280 computations (16.7% saved)

series23.0ms (0.3%)

Counts

1 → 8

Calls

1 calls:

23.0ms

(pow.f64 (*.f64 -1 b) 1/3)

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`add-exp-log_binary64`
4×	`pow1_binary64`
3×	`pow-unpow_binary64`
2×	`pow-exp_binary64`
2×	`pow-pow_binary64`

Counts

1 → 20

Calls

1 calls:

2.0ms

(pow.f64 (*.f64 -1 b) 1/3)

simplify55.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

538×	`fma-def_binary64`
526×	`log-prod_binary64`
432×	`fma-neg_binary64`
346×	`associate-l_binary64`
253×	`associate-r_binary64`

Counts

28 → 32

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	43	207
1	87	175
2	152	171
3	437	171
4	1654	171
5	4539	171
6	4847	171

prune515.0ms (6.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	205	1	206
Fresh	0	12	12
Picked	1	0	1
Done	0	0	0
Total	206	13	219

Error

5.0b

Counts

219 → 13

Alt Table

Status	Error	Program
	22.8b	(if (>=.f64 b 0) (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 c 2) (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -4))))))) (cbrt.f64 (/.f64 (.f64 c 2) (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -4)))))))) (cbrt.f64 (/.f64 (.f64 c 2) (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -4)))))))) (-.f64 (/.f64 c b) (/.f64 b a)))
	28.4b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (/.f64 (sqrt.f64 (-.f64 (pow.f64 (.f64 b b) 3) (pow.f64 (.f64 (.f64 4 a) c) 3))) (sqrt.f64 (+.f64 (.f64 (.f64 b b) (.f64 b b)) (+.f64 (.f64 (.f64 (.f64 4 a) c) (.f64 (.f64 4 a) c)) (.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a)))
	20.9b	(if (>=.f64 b 0) (*.f64 -1 (/.f64 c b)) (-.f64 (/.f64 c b) (/.f64 b a)))
	34.3b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (/.f64 (.f64 4 (.f64 c a)) (-.f64 (hypot.f64 (sqrt.f64 (.f64 (.f64 c a) -4)) b) b))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (*.f64 2 a)))
	20.3b	(if (>=.f64 b 0) (.f64 c (/.f64 -2 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))))) (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b) (/.f64 1/2 a)))
	26.1b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a)))
	27.4b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (+.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 c 1/3) (cbrt.f64 b)) 3) (/.f64 b a)) 0))
	20.5b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (/.f64 (.f64 2 a) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))))
	31.4b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 (.f64 c a) -4)) b)) (.f64 a 2))))
	27.2b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (.f64 (.f64 c a) -4)) b))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (*.f64 2 a)))
	20.2b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))))
	16.8b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (.f64 -1 b)) (.f64 2 a)))
	16.7b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (+.f64 (-.f64 (pow.f64 (/.f64 (cbrt.f64 c) (.f64 (pow.f64 (pow.f64 (neg.f64 b) (.f64 (cbrt.f64 1/3) (cbrt.f64 1/3))) (cbrt.f64 1/3)) (cbrt.f64 -1))) 3) (/.f64 b a)) 0))

Compiler

Compiled 13069 to 8062 computations (38.3% saved)

regimes605.0ms (7.5%)

Accuracy

Total 1.1b remaining (15.8%)

Threshold costs 0b (0%)

Counts

72 → 3

Compiler

Compiled 12774 to 8094 computations (36.6% saved)

bsearch79.0ms (1%)

Steps

Iters	Range		Point
9	9.317915900075717e+54	6.212821628630246e+62	6.108410036495975e+62
8	-1.3016370291905524e+112	-7.914045696574179e+108	-1.8019041569772403e+111

Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	43	132
1	65	130
2	95	130
3	114	130
4	125	130
5	128	130
6	127	130

end356.0ms (4.4%)

Compiler: Compiled 851 to 534 computations (37.3% saved)

Details

analyze900.0ms (11.1%)

sample2.2s (27%)

simplify130.0ms (1.6%)

prune8.0ms (0.1%)

localize21.0ms (0.3%)

series276.0ms (3.4%)

rewrite49.0ms (0.6%)

simplify219.0ms (2.7%)

prune531.0ms (6.6%)

localize23.0ms (0.3%)

series293.0ms (3.6%)

rewrite71.0ms (0.9%)

simplify209.0ms (2.6%)

prune924.0ms (11.4%)

localize26.0ms (0.3%)

series63.0ms (0.8%)

rewrite2.0ms (0%)

simplify33.0ms (0.4%)

prune448.0ms (5.5%)

localize32.0ms (0.4%)

series23.0ms (0.3%)

rewrite3.0ms (0%)

simplify55.0ms (0.7%)

prune515.0ms (6.4%)

regimes605.0ms (7.5%)

bsearch79.0ms (1%)

simplify6.0ms (0.1%)

end356.0ms (4.4%)

Profiling