Details

analyze840.0ms (9.2%)

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)

sample42.0ms (0.5%)

Algorithm

1×

intervals

Results

25.0ms	256×	body	128	valid
1.0ms	12×	body	128	invalid
1.0ms	13×	body	128	nan

Compiler

Compiled 86 to 56 computations (34.9% saved)

simplify613.0ms (6.7%)

Algorithm

1×	egg-herbie

Rules

1534×	`div-sub_binary64`
1283×	`associate-/l*_binary64`
1224×	`distribute-rgt-in_binary64`
767×	`associate-/r*_binary64`
744×	`distribute-lft-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	22	58
1	43	56
2	91	56
3	198	54
4	309	54
5	519	54
6	918	54
7	1356	54
8	1505	54
9	2181	54
10	2806	54
11	2812	54
12	2814	54
13	2776	54
14	2800	54
15	3982	54
16	3118	54
17	3126	54
18	3134	54
19	3134	54
20	3142	54
21	3142	54
22	3944	54
23	2934	54
24	3120	54
25	3086	54
26	3090	54
27	3102	54
28	3106	54
29	3106	54
30	3268	54
31	3196	54
32	3324	54
33	3428	54
34	3532	54
35	3636	54
36	3036	54
37	3036	54
38	3056	54
39	3092	54
40	3094	54
41	3094	54
42	2785	54

prune10.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

23.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	23.0b	(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)))

Status

Error

Program

▶

23.0b

(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)))

Compiler

Compiled 121 to 77 computations (36.4% saved)

localize32.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
1.1b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
25.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
25.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 1530 to 1275 computations (16.7% saved)

rewrite191.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

23.0b

Rules

10×	`add-log-exp_binary64` `*-un-lft-identity_binary64`
8×	`add-sqr-sqrt_binary64`
6×	`pow1_binary64` `add-cube-cbrt_binary64` `sqrt-prod_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-div_binary64`
3×	`flip3--_binary64` `flip--_binary64`

Counts

4 → 57

Calls

4 calls:

8.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
6.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 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))

Compiler

Compiled 2620 to 1477 computations (43.6% saved)

series226.0ms (2.5%)

Error

6.9b

Counts

4 → 57

Calls

4 calls:

62.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
53.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
41.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
41.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 4679 to 3119 computations (33.3% saved)

simplify116.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

487×	`div-sub_binary64`
415×	`unsub-neg_binary64`
357×	`times-frac_binary64`
241×	`neg-sub0_binary64`
234×	`neg-mul-1_binary64`

Counts

114 → 84

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	112	1889
1	287	1759
2	932	1744
3	3391	1744
4	4391	1744
5	5133	1744

prune128.0ms (1.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	77	7	84
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	78	7	85

Error

9.7b

Counts

85 → 7

Alt Table

Status	Error	Program
	23.2b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (.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)))))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))
	23.3b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (.f64 (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))
	23.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 (neg.f64 b) (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))) (.f64 2 a)))
▶	22.0b	(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) (neg.f64 b)) (*.f64 2 a)))
	33.3b	(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 4 (.f64 a c)) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 2 a)))
	28.0b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (-.f64 b (.f64 2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))
	32.8b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (.f64 a (.f64 c -4))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (*.f64 2 a)))

Compiler

Compiled 2954 to 1662 computations (43.7% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))
0.5b	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
25.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 1530 to 1275 computations (16.7% saved)

rewrite190.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

9.7b

Rules

22×	`add-sqr-sqrt_binary64`
21×	`*-un-lft-identity_binary64`
10×	`add-log-exp_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `sqrt-prod_binary64`
7×	`cancel-sign-sub-inv_binary64` `times-frac_binary64` `associate-/r*_binary64`

Counts

4 → 81

Calls

4 calls:

12.0ms	(/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))
9.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)))
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

Compiler

Compiled 3039 to 1608 computations (47.1% saved)

series303.0ms (3.3%)

Error

6.8b

Counts

4 → 71

Calls

4 calls:

89.0ms	(/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))
61.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
53.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
49.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

Compiler

Compiled 4819 to 3170 computations (34.2% saved)

simplify100.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

755×	`associate-/l*_binary64`
225×	`cancel-sign-sub-inv_binary64`
194×	`associate-/r/_binary64`
183×	`distribute-rgt-neg-in_binary64`
167×	`associate-/l/_binary64`

Counts

152 → 131

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	211	3438
1	554	3159
2	1820	3119
3	5046	3119

prune142.0ms (1.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	126	5	131
Fresh	3	3	6
Picked	1	0	1
Done	0	0	0
Total	130	8	138

Error

6.8b

Counts

138 → 8

Alt Table

Status	Error	Program
	23.2b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (.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)))))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))
	22.1b	(if (>=.f64 b 0) (/.f64 2 (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) c)) (/.f64 (+.f64 (neg.f64 b) (neg.f64 b)) (.f64 2 a)))
	23.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 (neg.f64 b) (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))) (.f64 2 a)))
	33.3b	(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 4 (.f64 a c)) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 2 a)))
▶	22.0b	(if (>=.f64 b 0) (.f64 (.f64 2 c) (/.f64 1 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))) (/.f64 (+.f64 (neg.f64 b) (neg.f64 b)) (.f64 2 a)))
	27.0b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (.f64 2 (-.f64 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) b))) (/.f64 (+.f64 (neg.f64 b) (neg.f64 b)) (*.f64 2 a)))
	22.7b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (.f64 b -2)) (/.f64 (+.f64 (neg.f64 b) (neg.f64 b)) (*.f64 2 a)))
	22.3b	(if (>=.f64 b 0) (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 c 2) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))) (cbrt.f64 (/.f64 (.f64 c 2) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))) (cbrt.f64 (/.f64 (.f64 c 2) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))) (/.f64 (+.f64 (neg.f64 b) (neg.f64 b)) (*.f64 2 a)))

Compiler

Compiled 3374 to 1758 computations (47.9% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 2 c) (/.f64 1 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))
0.5b	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
0.8b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
25.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 1530 to 1275 computations (16.7% saved)

rewrite246.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

6.8b

Rules

35×	`add-sqr-sqrt_binary64`
34×	`*-un-lft-identity_binary64`
27×	`associate-r_binary64`
26×	`add-exp-log_binary64`
21×	`times-frac_binary64`

Counts

4 → 102

Calls

4 calls:

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

Compiler

Compiled 3946 to 2047 computations (48.1% saved)

series303.0ms (3.3%)

Error

6.8b

Counts

4 → 71

Calls

4 calls:

84.0ms	(.f64 (.f64 2 c) (/.f64 1 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))
61.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
55.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
50.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 5019 to 3370 computations (32.9% saved)

simplify168.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

612×	`associate-/l*_binary64`
190×	`cancel-sign-sub-inv_binary64`
187×	`associate-l_binary64`
168×	`associate-r_binary64`
162×	`distribute-rgt-neg-in_binary64`

Counts

173 → 133

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	223	3849
1	588	3467
2	1878	3427
3	4629	3427
4	4986	3427
5	4920	3427

prune143.0ms (1.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	133	0	133
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	133	8	141

Error

6.8b

Counts

141 → 8

Alt Table

Status	Error	Program
	23.2b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (.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)))))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))
▶	22.1b	(if (>=.f64 b 0) (/.f64 2 (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) c)) (/.f64 (+.f64 (neg.f64 b) (neg.f64 b)) (.f64 2 a)))
	23.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 (neg.f64 b) (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))) (.f64 2 a)))
	33.3b	(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 4 (.f64 a c)) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 2 a)))
✓	22.0b	(if (>=.f64 b 0) (.f64 (.f64 2 c) (/.f64 1 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))) (/.f64 (+.f64 (neg.f64 b) (neg.f64 b)) (.f64 2 a)))
	27.0b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (.f64 2 (-.f64 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) b))) (/.f64 (+.f64 (neg.f64 b) (neg.f64 b)) (*.f64 2 a)))
	22.7b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (.f64 b -2)) (/.f64 (+.f64 (neg.f64 b) (neg.f64 b)) (*.f64 2 a)))
	22.3b	(if (>=.f64 b 0) (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 c 2) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))) (cbrt.f64 (/.f64 (.f64 c 2) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))) (cbrt.f64 (/.f64 (.f64 c 2) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))) (/.f64 (+.f64 (neg.f64 b) (neg.f64 b)) (*.f64 2 a)))

Compiler

Compiled 3215 to 1716 computations (46.6% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 2 (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) c))
0.5b	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
0.8b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
25.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 1530 to 1275 computations (16.7% saved)

rewrite335.0ms (3.7%)

Algorithm

1×	rewrite-expression-head

Error

6.8b

Rules

159×	`times-frac_binary64`
130×	`add-sqr-sqrt_binary64`
129×	`*-un-lft-identity_binary64`
77×	`add-cube-cbrt_binary64`
26×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`

Counts

4 → 168

Calls

4 calls:

17.0ms	(/.f64 2 (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) c))
10.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
7.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 5970 to 2967 computations (50.3% saved)

series299.0ms (3.3%)

Error

6.8b

Counts

4 → 71

Calls

4 calls:

84.0ms	(/.f64 2 (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) c))
61.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
53.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
48.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 4819 to 3170 computations (34.2% saved)

simplify293.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

312×	`associate-/l/_binary64`
192×	`cancel-sign-sub-inv_binary64`
169×	`distribute-rgt-neg-in_binary64`
164×	`associate-/r/_binary64`
162×	`*-commutative_binary64`

Counts

239 → 176

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	325	7826
1	794	7526
2	2399	7491
3	4557	7491
4	4979	7491
5	4952	7491

prune190.0ms (2.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	175	1	176
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	176	8	184

Error

6.8b

Counts

184 → 8

Alt Table

Status	Error	Program
	23.2b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (.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)))))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))
	22.3b	(if (>=.f64 b 0) (.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (sqrt.f64 2)) (/.f64 (sqrt.f64 2) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (cbrt.f64 c)))) (/.f64 (+.f64 (neg.f64 b) (neg.f64 b)) (*.f64 2 a)))
	22.1b	(if (>=.f64 b 0) (/.f64 2 (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) c)) (/.f64 (+.f64 (neg.f64 b) (neg.f64 b)) (.f64 2 a)))
	23.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 (neg.f64 b) (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))) (.f64 2 a)))
	33.3b	(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 4 (.f64 a c)) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 2 a)))
	22.0b	(if (>=.f64 b 0) (.f64 (.f64 2 c) (/.f64 1 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))) (/.f64 (+.f64 (neg.f64 b) (neg.f64 b)) (.f64 2 a)))
	27.0b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (.f64 2 (-.f64 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) b))) (/.f64 (+.f64 (neg.f64 b) (neg.f64 b)) (*.f64 2 a)))
	22.7b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (.f64 b -2)) (/.f64 (+.f64 (neg.f64 b) (neg.f64 b)) (*.f64 2 a)))

Compiler

Compiled 3812 to 1921 computations (49.6% saved)

regimes2.6s (28.3%)

Accuracy

Total 1.7b remaining (23.8%)

Threshold costs 0b (0%)

Compiler

Compiled 30102 to 19410 computations (35.5% saved)

bsearch13.0ms (0.1%)

Compiler: Compiled 41 to 26 computations (36.6% saved)

simplify17.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative_binary64` `+-commutative_binary64`
11×	`sub-neg_binary64`
9×	`neg-mul-1_binary64` `neg-sub0_binary64`
4×	`distribute-rgt-neg-in_binary64`
3×	`unsub-neg_binary64` `distribute-neg-out_binary64` `distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	47	494
1	62	482
2	89	482
3	108	482
4	120	482
5	124	482
6	122	482

end6.0ms (0.1%)

Compiler: Compiled 319 to 187 computations (41.4% saved)

sample1.5s (16.7%)

Algorithm

1×

intervals

Results

721.0ms	8000×	body	128	valid
53.0ms	656×	body	128	nan
37.0ms	393×	body	128	invalid

Compiler

Compiled 695 to 424 computations (39% saved)

Details

analyze840.0ms (9.2%)

sample42.0ms (0.5%)

simplify613.0ms (6.7%)

prune10.0ms (0.1%)

localize32.0ms (0.3%)

rewrite191.0ms (2.1%)

series226.0ms (2.5%)

simplify116.0ms (1.3%)

prune128.0ms (1.4%)

localize21.0ms (0.2%)

rewrite190.0ms (2.1%)

series303.0ms (3.3%)

simplify100.0ms (1.1%)

prune142.0ms (1.6%)

localize23.0ms (0.2%)

rewrite246.0ms (2.7%)

series303.0ms (3.3%)

simplify168.0ms (1.8%)

prune143.0ms (1.6%)

localize21.0ms (0.2%)

rewrite335.0ms (3.7%)

series299.0ms (3.3%)

simplify293.0ms (3.2%)

prune190.0ms (2.1%)

regimes2.6s (28.3%)

bsearch13.0ms (0.1%)

simplify17.0ms (0.2%)

end6.0ms (0.1%)

sample1.5s (16.7%)

Profiling