Details

analyze870.0ms (8.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)

sample43.0ms (0.4%)

Algorithm

1×

intervals

Results

10.0ms	160×	body	128	valid
7.0ms	35×	body	2048	valid
5.0ms	30×	body	1024	valid
2.0ms	9×	body	4096	valid
2.0ms	15×	body	512	valid
2.0ms	28×	body	128	nan
1.0ms	7×	body	256	valid
0.0ms	8×	body	128	invalid

Compiler

Compiled 36 to 24 computations (33.3% saved)

simplify73.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

518×	`div-sub_binary64`
246×	`associate-/l*_binary64`
183×	`times-frac_binary64`
166×	`associate-/l/_binary64`
154×	`distribute-rgt-in_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	26	20
2	52	20
3	106	20
4	158	20
5	241	20
6	327	20
7	372	20
8	430	20
9	652	20
10	1493	20
11	774	20
12	758	20
13	766	20
14	774	20
15	774	20
16	782	20
17	818	20
18	820	20
19	714	20

prune4.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

36.5b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	36.5b	(/.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)

localize11.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.0b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
1.6b	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
24.7b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite186.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

36.3b

Rules

40×	`add-sqr-sqrt_binary64`
39×	`*-un-lft-identity_binary64`
21×	`times-frac_binary64`
19×	`add-cube-cbrt_binary64`
11×	`sqrt-prod_binary64`

Counts

4 → 96

Calls

4 calls:

11.0ms	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
9.0ms	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
5.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
4.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 1965 to 333 computations (83.1% saved)

series196.0ms (2%)

Error

5.4b

Counts

4 → 64

Calls

4 calls:

50.0ms	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
43.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
43.0ms	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
36.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 2251 to 1469 computations (34.7% saved)

simplify132.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

496×	`associate-/l*_binary64`
418×	`associate-/r*_binary64`
170×	`distribute-rgt-neg-in_binary64`
165×	`distribute-rgt-in_binary64`
148×	`distribute-lft-neg-in_binary64`

Counts

160 → 93

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	209	3355
1	531	3199
2	1535	3177
3	4733	3177
4	4944	3177

prune60.0ms (0.6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	81	12	93
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	81	13	94

Error

8.0b

Counts

94 → 13

Alt Table

Status	Error	Program
	56.7b	(/.f64 (-.f64 (neg.f64 b_2) (neg.f64 b_2)) a)
	37.0b	(.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (cbrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) a))
	57.8b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (sqrt.f64 (neg.f64 b_2))) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (sqrt.f64 (neg.f64 b_2)) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (cbrt.f64 a)))
▶	35.9b	(/.f64 (/.f64 (.f64 a c) (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) a)
	37.6b	(/.f64 (-.f64 (neg.f64 b_2) (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))))) a)
	45.4b	(-.f64 (.f64 -1/2 (/.f64 c b_2)) (.f64 1/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b_2 3))))
	51.4b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a) 3))
	49.9b	(/.f64 (-.f64 (.f64 (neg.f64 b_2) (neg.f64 b_2)) (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)))
	42.9b	(+.f64 (.f64 -2 (/.f64 b_2 a)) (.f64 1/2 (/.f64 c b_2)))
	44.2b	(/.f64 (.f64 (/.f64 (.f64 a c) b_2) -1/2) a)
✓	36.5b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
	42.7b	(/.f64 (*.f64 b_2 -2) a)
	57.8b	(.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (sqrt.f64 (neg.f64 b_2))) (/.f64 (-.f64 (sqrt.f64 (neg.f64 b_2)) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))) a))

Compiler

Compiled 1553 to 546 computations (64.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
3.2b	(/.f64 (/.f64 (.f64 a c) (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) a)
10.2b	(/.f64 (.f64 a c) (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2))
24.7b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite126.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

7.8b

Rules

66×	`times-frac_binary64`
53×	`add-sqr-sqrt_binary64`
40×	`*-un-lft-identity_binary64`
28×	`add-cube-cbrt_binary64`
18×	`add-exp-log_binary64` `add-cbrt-cube_binary64`

Counts

4 → 124

Calls

4 calls:

13.0ms	(/.f64 (/.f64 (.f64 a c) (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) a)
10.0ms	(/.f64 (.f64 a c) (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2))
4.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
4.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 3367 to 497 computations (85.2% saved)

series223.0ms (2.3%)

Error

8.0b

Counts

4 → 71

Calls

4 calls:

64.0ms	(/.f64 (.f64 a c) (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2))
56.0ms	(/.f64 (/.f64 (.f64 a c) (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) a)
45.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
34.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 2995 to 1752 computations (41.5% saved)

simplify133.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

567×	`associate-/r/_binary64`
197×	`associate-/l*_binary64`
195×	`times-frac_binary64`
187×	`distribute-rgt-neg-in_binary64`
180×	`distribute-rgt-in_binary64`

Counts

195 → 122

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	290	5353
1	728	4967
2	2676	4868
3	4989	4868

prune79.0ms (0.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	116	6	122
Fresh	4	7	11
Picked	1	0	1
Done	1	0	1
Total	122	13	135

Error

7.8b

Counts

135 → 13

Alt Table

Status	Error	Program
	56.7b	(/.f64 (-.f64 (neg.f64 b_2) (neg.f64 b_2)) a)
	37.0b	(.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (cbrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) a))
▶	33.2b	(.f64 1 (/.f64 c (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)))
	47.8b	(exp.f64 (log.f64 (/.f64 c (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))))
	45.4b	(-.f64 (.f64 -1/2 (/.f64 c b_2)) (.f64 1/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b_2 3))))
	51.4b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a) 3))
	35.9b	(/.f64 (/.f64 (.f64 (/.f64 a (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))) c) (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2))) a)
	36.2b	(.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (.f64 (/.f64 (/.f64 c (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) (cbrt.f64 a)) a))
	42.9b	(+.f64 (.f64 -2 (/.f64 b_2 a)) (.f64 1/2 (/.f64 c b_2)))
	44.2b	(/.f64 (.f64 (/.f64 (.f64 a c) b_2) -1/2) a)
	49.1b	(/.f64 (.f64 (/.f64 a (sqrt.f64 (neg.f64 (.f64 a c)))) (+.f64 c (/.f64 (.f64 c b_2) (sqrt.f64 (neg.f64 (.f64 a c)))))) a)
	42.7b	(/.f64 (*.f64 b_2 -2) a)
	35.9b	(/.f64 (/.f64 (neg.f64 (.f64 a c)) (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) (neg.f64 a))

Compiler

Compiled 2344 to 715 computations (69.5% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 c (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))
0.4b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
1.0b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
24.7b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite101.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

7.8b

Rules

38×	`add-sqr-sqrt_binary64`
27×	`*-un-lft-identity_binary64`
18×	`times-frac_binary64`
17×	`add-cube-cbrt_binary64`
10×	`difference-of-squares_binary64`

Counts

4 → 85

Calls

4 calls:

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

Compiler

Compiled 1881 to 457 computations (75.7% saved)

series205.0ms (2.1%)

Error

5.4b

Counts

4 → 71

Calls

4 calls:

57.0ms	(/.f64 c (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))
45.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
43.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
34.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 2776 to 1867 computations (32.7% saved)

simplify125.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

695×	`associate-/l*_binary64`
515×	`associate-/r*_binary64`
236×	`associate-*l/_binary64`
189×	`div-sub_binary64`
168×	`cancel-sign-sub-inv_binary64`

Counts

156 → 80

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	210	3291
1	494	3136
2	1473	3133
3	4837	3133
4	5320	3133

prune49.0ms (0.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	79	1	80
Fresh	5	7	12
Picked	0	1	1
Done	0	0	0
Total	84	9	93

Error

5.4b

Counts

93 → 9

Alt Table

Status	Error	Program
	37.0b	(.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (cbrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) a))
✓	33.2b	(.f64 1 (/.f64 c (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)))
	51.4b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a) 3))
	38.2b	(.f64 1 (/.f64 c (.f64 b_2 -2)))
	35.9b	(/.f64 (/.f64 (.f64 (/.f64 a (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))) c) (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2))) a)
	42.9b	(+.f64 (.f64 -2 (/.f64 b_2 a)) (.f64 1/2 (/.f64 c b_2)))
	49.1b	(/.f64 (.f64 (/.f64 a (sqrt.f64 (neg.f64 (.f64 a c)))) (+.f64 c (/.f64 (.f64 c b_2) (sqrt.f64 (neg.f64 (.f64 a c)))))) a)
	42.7b	(/.f64 (*.f64 b_2 -2) a)
▶	35.9b	(/.f64 (/.f64 (neg.f64 (.f64 a c)) (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) (neg.f64 a))

Compiler

Compiled 1251 to 537 computations (57.1% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
3.2b	(/.f64 (/.f64 (neg.f64 (.f64 a c)) (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) (neg.f64 a))
10.4b	(/.f64 (neg.f64 (.f64 a c)) (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2))
24.7b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite416.0ms (4.3%)

Algorithm

1×	rewrite-expression-head

Error

5.4b

Rules

852×	`times-frac_binary64`
584×	`add-sqr-sqrt_binary64`
437×	`*-un-lft-identity_binary64`
291×	`add-cube-cbrt_binary64`
202×	`distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`

Counts

4 → 580

Calls

4 calls:

28.0ms	(/.f64 (/.f64 (neg.f64 (.f64 a c)) (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) (neg.f64 a))
10.0ms	(/.f64 (neg.f64 (.f64 a c)) (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2))
4.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))
4.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Compiler

Compiled 15008 to 1755 computations (88.3% saved)

series236.0ms (2.4%)

Error

5.4b

Counts

4 → 71

Calls

4 calls:

72.0ms	(/.f64 (neg.f64 (.f64 a c)) (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2))
56.0ms	(/.f64 (/.f64 (neg.f64 (.f64 a c)) (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) (neg.f64 a))
47.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
35.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 3172 to 1894 computations (40.3% saved)

simplify497.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

862×	`associate-/l*_binary64`
743×	`times-frac_binary64`
392×	`associate-/l/_binary64`
342×	`div-sub_binary64`
333×	`distribute-frac-neg_binary64`

Counts

651 → 403

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	759	30325
1	1857	29902
2	5979	29902

prune160.0ms (1.6%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	399	4	403
Fresh	4	3	7
Picked	0	1	1
Done	0	1	1
Total	403	9	412

Error

5.4b

Counts

412 → 9

Alt Table

Status	Error	Program
	42.7b	(/.f64 (.f64 (sqrt.f64 (neg.f64 (.f64 a c))) (/.f64 (sqrt.f64 (neg.f64 (.f64 a c))) (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2))) (neg.f64 a))
	33.2b	(.f64 1 (/.f64 c (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)))
	40.9b	(/.f64 (/.f64 a (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))) (.f64 (.f64 1 (/.f64 a c)) (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))))
	43.8b	(/.f64 (-.f64 (.f64 b_2 2) (.f64 1/2 (/.f64 (*.f64 a c) b_2))) (neg.f64 a))
	36.2b	(.f64 (/.f64 (/.f64 a (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)))) (.f64 (cbrt.f64 a) (neg.f64 (cbrt.f64 a)))) (/.f64 (/.f64 (neg.f64 c) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2))) (cbrt.f64 a)))
	38.2b	(.f64 1 (/.f64 c (.f64 b_2 -2)))
	42.9b	(+.f64 (.f64 -2 (/.f64 b_2 a)) (.f64 1/2 (/.f64 c b_2)))
	42.7b	(/.f64 (*.f64 b_2 -2) a)
	35.9b	(/.f64 (/.f64 (neg.f64 (.f64 a c)) (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) (neg.f64 a))

Compiler

Compiled 6554 to 1063 computations (83.8% saved)

regimes4.4s (45.4%)

Accuracy

Total 1.0b remaining (15.9%)

Threshold costs 0b (0%)

Compiler

Compiled 31054 to 15922 computations (48.7% saved)

bsearch84.0ms (0.9%)

Steps

Iters	Range	Point
5	2.5739265328725927e+95	8.706309300977668e+103	2.597222582923894e+99
11	-2.2608956793104863e-288	7.588427159413225e-300	1.0241114256262157e-308
5	-4.62960209365491e+144	-1.4684351634147405e+144	-2.9773530842163696e+144

Iters

Range

Point

2.5739265328725927e+95

8.706309300977668e+103

2.597222582923894e+99

-2.2608956793104863e-288

7.588427159413225e-300

1.0241114256262157e-308

-4.62960209365491e+144

-1.4684351634147405e+144

-2.9773530842163696e+144

Compiler

Compiled 4 to 3 computations (25% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

15×	`sub-neg_binary64` `*-commutative_binary64` `+-commutative_binary64`
10×	`neg-mul-1_binary64` `neg-sub0_binary64`
4×	`cancel-sign-sub-inv_binary64` `distribute-rgt-neg-in_binary64`
3×	`distribute-neg-out_binary64` `distribute-lft-neg-in_binary64`
2×	`*-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	81
1	60	81
2	84	81
3	106	81
4	120	81
5	126	81
6	127	81
7	125	81

end2.0ms (0%)

Compiler: Compiled 57 to 30 computations (47.4% saved)

sample1.3s (13.1%)

Algorithm

1×

intervals

Results

236.0ms	5186×	body	128	valid
233.0ms	1166×	body	2048	valid
114.0ms	717×	body	1024	valid
90.0ms	368×	body	4096	valid
47.0ms	378×	body	512	valid
31.0ms	795×	body	128	nan
14.0ms	185×	body	256	valid
10.0ms	255×	body	128	invalid

Compiler

Compiled 279 to 151 computations (45.9% saved)

Details

analyze870.0ms (8.9%)

sample43.0ms (0.4%)

simplify73.0ms (0.7%)

prune4.0ms (0%)

localize11.0ms (0.1%)

rewrite186.0ms (1.9%)

series196.0ms (2%)

simplify132.0ms (1.4%)

prune60.0ms (0.6%)

localize10.0ms (0.1%)

rewrite126.0ms (1.3%)

series223.0ms (2.3%)

simplify133.0ms (1.4%)

prune79.0ms (0.8%)

localize10.0ms (0.1%)

rewrite101.0ms (1%)

series205.0ms (2.1%)

simplify125.0ms (1.3%)

prune49.0ms (0.5%)

localize12.0ms (0.1%)

rewrite416.0ms (4.3%)

series236.0ms (2.4%)

simplify497.0ms (5.1%)

prune160.0ms (1.6%)

regimes4.4s (45.4%)

bsearch84.0ms (0.9%)

simplify8.0ms (0.1%)

end2.0ms (0%)

sample1.3s (13.1%)

Profiling