Details

analyze921.0ms (12.5%)

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)

sample48.0ms (0.6%)

Algorithm

1×

intervals

Results

10.0ms	37×	body	2048	valid
9.0ms	160×	body	128	valid
7.0ms	26×	body	1024	valid
5.0ms	14×	body	4096	valid
2.0ms	13×	body	512	valid
1.0ms	21×	body	128	nan
1.0ms	6×	body	256	valid
1.0ms	11×	body	128	invalid

Compiler

Compiled 36 to 24 computations (33.3% saved)

simplify93.0ms (1.3%)

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 → 1

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	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

33.2b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 45 to 27 computations (40% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
0.5b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
0.6b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
19.9b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite306.0ms (4.2%)

Algorithm

1×	rewrite-expression-head

Error

33.0b

Rules

42×	`add-cube-cbrt_binary64`
21×	`add-sqr-sqrt_binary64`
17×	`flip3--_binary64`
16×	`add-log-exp_binary64`
16×	`pow1_binary64`

Counts

4 → 185

Calls

4 calls:

58.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
20.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))
17.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
16.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Compiler

Compiled 4035 to 676 computations (83.2% saved)

series150.0ms (2%)

Error

5.1b

Counts

4 → 75

Calls

4 calls:

39.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
34.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
32.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
22.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 2780 to 1818 computations (34.6% saved)

simplify206.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

799×	`fma-neg_binary64`
214×	`times-frac_binary64`
191×	`unswap-sqr_binary64`
183×	`sub-neg_binary64`
164×	`associate-r_binary64`

Counts

260 → 168

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	304	4493
1	797	4283
2	3236	3986
3	4684	3982
4	4878	3982

prune82.0ms (1.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	155	13	168
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	156	13	169

Error

6.5b

Counts

169 → 13

Alt Table

Status	Error	Program
▶	32.9b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2) a)) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2) a))) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)))
	38.4b	(/.f64 (-.f64 (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) b_2) a)
	43.6b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 c a (.f64 b_2 b_2))) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a)
	43.4b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	51.0b	(/.f64 (-.f64 (/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)) a) a) (.f64 (/.f64 b_2 a) (/.f64 b_2 a))) (+.f64 (/.f64 b_2 a) (/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) a)))
	35.4b	(/.f64 (-.f64 (.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) b_2) a)
	34.9b	(-.f64 (/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) a) (/.f64 b_2 a))
	36.3b	(/.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2))) (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) b_2) a)
	46.0b	(/.f64 (.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (*.f64 a a))
	42.2b	(/.f64 (-.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)) 3/2)) b_2) a)
	46.7b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	45.4b	(/.f64 (.f64 (/.f64 (.f64 c a) b_2) -1/2) a)
	51.1b	(/.f64 (-.f64 (sqrt.f64 (*.f64 b_2 b_2)) b_2) a)

Compiler

Compiled 3096 to 1010 computations (67.4% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
14.1b	(sqrt.f64 (neg.f64 (*.f64 c a)))
14.1b	(sqrt.f64 (neg.f64 (*.f64 c a)))
14.1b	(sqrt.f64 (neg.f64 (*.f64 c a)))

rewrite122.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

6.5b

Rules

34×	`add-cube-cbrt_binary64`
24×	`add-sqr-sqrt_binary64`
16×	`pow1_binary64`
12×	`add-log-exp_binary64`
12×	`pow1/2_binary64`

Counts

4 → 151

Calls

4 calls:

14.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))
14.0ms	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
13.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))
12.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

Compiler

Compiled 5516 to 727 computations (86.8% saved)

series190.0ms (2.6%)

Error

6.5b

Counts

4 → 33

Calls

4 calls:

100.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))
61.0ms	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
13.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))
11.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

Compiler

Compiled 3374 to 1639 computations (51.4% saved)

simplify98.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

552×	`associate-l_binary64`
468×	`associate-/l*_binary64`
347×	`fma-neg_binary64`
333×	`associate-/r*_binary64`
313×	`fma-def_binary64`

Counts

184 → 65

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	148	2096
1	328	2076
2	1084	1956
3	4438	1950
4	5048	1950

prune45.0ms (0.6%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	64	1	65
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	64	14	78

Error

6.5b

Counts

78 → 14

Alt Table

Status	Error	Program
✓	32.9b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2) a)) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2) a))) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)))
	38.4b	(/.f64 (-.f64 (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) b_2) a)
	43.6b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 c a (.f64 b_2 b_2))) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a)
	43.4b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	51.0b	(/.f64 (-.f64 (/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)) a) a) (.f64 (/.f64 b_2 a) (/.f64 b_2 a))) (+.f64 (/.f64 b_2 a) (/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) a)))
	35.4b	(/.f64 (-.f64 (.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) b_2) a)
▶	32.8b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (.f64 (pow.f64 (neg.f64 (.f64 c a)) 1/4) (pow.f64 (neg.f64 (.f64 c a)) 1/4)) b_2) b_2) a)) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2) a))) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)))
	34.9b	(-.f64 (/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) a) (/.f64 b_2 a))
	36.3b	(/.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2))) (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) b_2) a)
	46.0b	(/.f64 (.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (*.f64 a a))
	42.2b	(/.f64 (-.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)) 3/2)) b_2) a)
	46.7b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	45.4b	(/.f64 (.f64 (/.f64 (.f64 c a) b_2) -1/2) a)
	51.1b	(/.f64 (-.f64 (sqrt.f64 (*.f64 b_2 b_2)) b_2) a)

Compiler

Compiled 2760 to 695 computations (74.8% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

14.1b	(sqrt.f64 (neg.f64 (*.f64 c a)))
14.1b	(sqrt.f64 (neg.f64 (*.f64 c a)))
14.9b	(pow.f64 (neg.f64 (*.f64 c a)) 1/4)
14.9b	(pow.f64 (neg.f64 (*.f64 c a)) 1/4)

rewrite217.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

6.5b

Rules

28×	`add-cube-cbrt_binary64`
20×	`add-sqr-sqrt_binary64`
14×	`pow1_binary64`
12×	`add-cbrt-cube_binary64`
12×	`log1p-expm1-u_binary64`

Counts

4 → 144

Calls

4 calls:

14.0ms	(pow.f64 (neg.f64 (*.f64 c a)) 1/4)
13.0ms	(pow.f64 (neg.f64 (*.f64 c a)) 1/4)
11.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))
11.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

Compiler

Compiled 5439 to 1599 computations (70.6% saved)

series95.0ms (1.3%)

Error

6.5b

Counts

4 → 24

Calls

4 calls:

28.0ms	(pow.f64 (neg.f64 (*.f64 c a)) 1/4)
27.0ms	(pow.f64 (neg.f64 (*.f64 c a)) 1/4)
16.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))
15.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

Compiler

Compiled 3147 to 1590 computations (49.5% saved)

simplify131.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

623×	`log-prod_binary64`
546×	`fma-neg_binary64`
324×	`exp-sum_binary64`
279×	`exp-prod_binary64`
241×	`*-commutative_binary64`

Counts

168 → 96

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	96	1402
1	176	1248
2	298	1224
3	932	1218
4	2577	1218
5	4586	1218
6	4804	1218
7	5370	1218

prune69.0ms (0.9%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	95	1	96
Fresh	0	12	12
Picked	1	0	1
Done	0	1	1
Total	96	14	110

Error

6.5b

Counts

110 → 14

Alt Table

Status	Error	Program
✓	32.9b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2) a)) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2) a))) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)))
	38.4b	(/.f64 (-.f64 (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) b_2) a)
	43.6b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 c a (.f64 b_2 b_2))) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a)
	43.4b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	51.0b	(/.f64 (-.f64 (/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)) a) a) (.f64 (/.f64 b_2 a) (/.f64 b_2 a))) (+.f64 (/.f64 b_2 a) (/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) a)))
	35.4b	(/.f64 (-.f64 (.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) b_2) a)
	34.9b	(-.f64 (/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) a) (/.f64 b_2 a))
	36.3b	(/.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2))) (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) b_2) a)
	46.0b	(/.f64 (.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (*.f64 a a))
	42.2b	(/.f64 (-.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)) 3/2)) b_2) a)
	46.7b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	45.4b	(/.f64 (.f64 (/.f64 (.f64 c a) b_2) -1/2) a)
	51.1b	(/.f64 (-.f64 (sqrt.f64 (*.f64 b_2 b_2)) b_2) a)
▶	33.0b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (.f64 (.f64 (pow.f64 (pow.f64 (exp.f64 2) (log.f64 (cbrt.f64 (.f64 a (neg.f64 c))))) 1/4) (pow.f64 (cbrt.f64 (.f64 a (neg.f64 c))) 1/4)) (pow.f64 (neg.f64 (.f64 c a)) 1/4)) b_2) b_2) a)) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2) a))) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)))

Compiler

Compiled 3778 to 1262 computations (66.6% saved)

localize42.0ms (0.6%)

Local error

Found 4 expressions with local error:

14.1b	(sqrt.f64 (neg.f64 (*.f64 c a)))
14.9b	(pow.f64 (neg.f64 (*.f64 c a)) 1/4)
15.2b	(cbrt.f64 (*.f64 a (neg.f64 c)))
15.2b	(cbrt.f64 (*.f64 a (neg.f64 c)))

rewrite237.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

6.5b

Rules

24×	`add-cube-cbrt_binary64`
18×	`add-sqr-sqrt_binary64`
12×	`pow1/3_binary64`
12×	`log1p-expm1-u_binary64`
12×	`expm1-log1p-u_binary64`

Counts

4 → 134

Calls

4 calls:

15.0ms	(cbrt.f64 (*.f64 a (neg.f64 c)))
14.0ms	(cbrt.f64 (*.f64 a (neg.f64 c)))
13.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))
13.0ms	(pow.f64 (neg.f64 (*.f64 c a)) 1/4)

Compiler

Compiled 5988 to 1954 computations (67.4% saved)

series147.0ms (2%)

Error

6.5b

Counts

4 → 24

Calls

4 calls:

41.0ms	(cbrt.f64 (*.f64 a (neg.f64 c)))
41.0ms	(cbrt.f64 (*.f64 a (neg.f64 c)))
31.0ms	(pow.f64 (neg.f64 (*.f64 c a)) 1/4)
20.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

Compiler

Compiled 4259 to 2303 computations (45.9% saved)

simplify133.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

647×	`log-prod_binary64`
359×	`exp-sum_binary64`
324×	`exp-prod_binary64`
299×	`fma-neg_binary64`
295×	`*-commutative_binary64`

Counts

158 → 72

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	136	1347
1	244	1270
2	412	1211
3	1176	1158
4	3120	1153
5	4788	1149
6	4789	1149
7	5313	1149

prune69.0ms (0.9%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	71	1	72
Fresh	0	12	12
Picked	0	1	1
Done	0	1	1
Total	71	15	86

Error

6.5b

Counts

86 → 15

Alt Table

Status	Error	Program
	32.9b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2) a)) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2) a))) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)))
	38.4b	(/.f64 (-.f64 (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) b_2) a)
	33.2b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (.f64 (.f64 (pow.f64 (pow.f64 (exp.f64 2) (log.f64 (cbrt.f64 (.f64 a (neg.f64 c))))) 1/4) (pow.f64 (cbrt.f64 (.f64 a (neg.f64 c))) 1/4)) (pow.f64 (neg.f64 (.f64 c a)) 1/4)) b_2) b_2) a)) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (expm1.f64 (log1p.f64 (sqrt.f64 (.f64 a (neg.f64 c))))) b_2) b_2) a))) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)))
	43.6b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 c a (.f64 b_2 b_2))) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a)
	43.4b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	51.0b	(/.f64 (-.f64 (/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)) a) a) (.f64 (/.f64 b_2 a) (/.f64 b_2 a))) (+.f64 (/.f64 b_2 a) (/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) a)))
	35.4b	(/.f64 (-.f64 (.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) b_2) a)
	34.9b	(-.f64 (/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) a) (/.f64 b_2 a))
	36.3b	(/.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2))) (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) b_2) a)
	46.0b	(/.f64 (.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (*.f64 a a))
	42.2b	(/.f64 (-.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)) 3/2)) b_2) a)
	46.7b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	45.4b	(/.f64 (.f64 (/.f64 (.f64 c a) b_2) -1/2) a)
	51.1b	(/.f64 (-.f64 (sqrt.f64 (*.f64 b_2 b_2)) b_2) a)
	33.0b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (.f64 (.f64 (pow.f64 (pow.f64 (exp.f64 2) (log.f64 (cbrt.f64 (.f64 a (neg.f64 c))))) 1/4) (pow.f64 (cbrt.f64 (.f64 a (neg.f64 c))) 1/4)) (pow.f64 (neg.f64 (.f64 c a)) 1/4)) b_2) b_2) a)) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2) a))) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)))

Compiler

Compiled 3151 to 1151 computations (63.5% saved)

regimes2.1s (28.6%)

Accuracy

Total 2.7b remaining (26.7%)

Threshold costs 0b (0%)

Compiler

Compiled 14548 to 7666 computations (47.3% saved)

bsearch49.0ms (0.7%)

Steps

Iters	Range		Point
8	6.138019248253232e-64	1.9429164992644433e-60	1.589737063384455e-62
4	-7.421600223359913e+156	-1.7938612902754667e+144	-1.1051034656541905e+145

Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary64`
7×	`+-commutative_binary64`
6×	`sub-neg_binary64`
5×	`neg-sub0_binary64`
5×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	54
1	42	54
2	54	54
3	63	54
4	68	54
5	69	54
6	69	54

end1.0ms (0%)

Compiler: Compiled 40 to 23 computations (42.5% saved)

sample1.8s (23.9%)

Algorithm

1×

intervals

Results

391.0ms	5166×	body	128	valid
330.0ms	1140×	body	2048	valid
197.0ms	739×	body	1024	valid
144.0ms	414×	body	4096	valid
64.0ms	378×	body	512	valid
47.0ms	785×	body	128	nan
21.0ms	283×	body	128	invalid
18.0ms	163×	body	256	valid

Compiler

Compiled 467 to 251 computations (46.3% saved)

Details

analyze921.0ms (12.5%)

sample48.0ms (0.6%)

simplify93.0ms (1.3%)

prune3.0ms (0%)

localize8.0ms (0.1%)

rewrite306.0ms (4.2%)

series150.0ms (2%)

simplify206.0ms (2.8%)

prune82.0ms (1.1%)

localize14.0ms (0.2%)

rewrite122.0ms (1.7%)

series190.0ms (2.6%)

simplify98.0ms (1.3%)

prune45.0ms (0.6%)

localize23.0ms (0.3%)

rewrite217.0ms (2.9%)

series95.0ms (1.3%)

simplify131.0ms (1.8%)

prune69.0ms (0.9%)

localize42.0ms (0.6%)

rewrite237.0ms (3.2%)

series147.0ms (2%)

simplify133.0ms (1.8%)

prune69.0ms (0.9%)

regimes2.1s (28.6%)

bsearch49.0ms (0.7%)

simplify6.0ms (0.1%)

end1.0ms (0%)

sample1.8s (23.9%)

Profiling