Details

analyze705.0ms (9.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
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	68.6%	6.4%	7
31.2%	62.4%	6.4%	8
36.7%	54.6%	8.7%	9
38.2%	48.4%	13.4%	10
42.7%	42.3%	15%	11
47.8%	34.1%	18.1%	12
49.1%	30.3%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample50.0ms (0.6%)

Algorithm

1×

intervals

Results

12.0ms	33×	body	2048	valid
11.0ms	166×	body	128	valid
5.0ms	14×	body	4096	valid
5.0ms	21×	body	1024	valid
3.0ms	14×	body	512	valid
1.0ms	19×	body	128	nan
1.0ms	8×	body	256	valid
0.0ms	6×	body	128	invalid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify367.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

1968×	`fma-neg_binary64`
1363×	`fma-def_binary64`
898×	`div-sub_binary64`
743×	`associate-/l*_binary64`
567×	`times-frac_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	26
1	30	22
2	64	22
3	135	22
4	201	22
5	335	22
6	554	22
7	929	22
8	1477	22
9	2115	22
10	2599	22
11	2554	22
12	2602	22
13	2671	22
14	3117	22
15	2327	22
16	2375	22
17	2383	22
18	2389	22
19	2395	22
20	2397	22
21	2397	22
22	2585	22
23	2685	22
24	2619	22
25	2631	22
26	2661	22
27	2677	22
28	2707	22
29	2707	22
30	2751	22
31	2851	22
32	2827	22
33	2827	22
34	2638	22

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

31.9b

Counts

3 → 2

Alt Table

Status	Error	Program
	32.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
▶	32.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 3 a) c)
✓	0.6b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
✓	0.9b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
✓	20.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

rewrite22.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64`
10×	`fma-def_binary64`
10×	`add-sqr-sqrt_binary64`
10×	`add-log-exp_binary64`
10×	`pow1_binary64`

Counts

4 → 80

Calls

4 calls:

7.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
4.0ms	(.f64 (.f64 3 a) c)
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
3.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

series144.0ms (1.9%)

Counts

4 → 100

Calls

4 calls:

50.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
38.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
31.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
24.0ms	(.f64 (.f64 3 a) c)

simplify144.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

677×	`fma-def_binary64`
621×	`fma-neg_binary64`
305×	`cancel-sign-sub-inv_binary64`
228×	`distribute-rgt-neg-in_binary64`
197×	`distribute-lft-neg-in_binary64`

Counts

180 → 308

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	201	2955
1	523	2836
2	1806	2732
3	4518	2728
4	4998	2728
5	4919	2728

prune153.0ms (2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	298	10	308
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	299	11	310

Error

9.8b

Counts

310 → 11

Alt Table

Status	Error	Program
	32.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	32.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (.f64 3 a))
	33.6b	(/.f64 (fma.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (*.f64 3 a))
	35.3b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))
	55.9b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
	42.5b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))))) (.f64 3 a))
▶	30.7b	(/.f64 (.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (.f64 3 a))
	41.5b	(/.f64 (cbrt.f64 (pow.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) 3)) (*.f64 3 a))
	32.6b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (*.f64 3 a))
	47.2b	(/.f64 (.f64 -2 b) (.f64 3 a))
	44.9b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 3 a))

Compiler

Compiled 4660 to 2726 computations (41.5% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)
✓	0.3b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) b) b)))
	11.2b	(sqrt.f64 (.f64 c (.f64 a -3)))
✓	11.2b	(sqrt.f64 (.f64 c (.f64 a -3)))

rewrite26.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

45×	`add-sqr-sqrt_binary64`
35×	`*-un-lft-identity_binary64`
31×	`sqrt-prod_binary64`
24×	`pow1_binary64`
19×	`add-cube-cbrt_binary64`

Counts

3 → 113

Calls

3 calls:

12.0ms

(*.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -3))) b) b)) (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -3))) b) b)))

3.0ms

(-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -3))) b) b)

3.0ms

(sqrt.f64 (*.f64 c (*.f64 a -3)))

series356.0ms (4.6%)

Counts

3 → 24

Calls

3 calls:

189.0ms

(*.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -3))) b) b)) (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -3))) b) b)))

149.0ms

(-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -3))) b) b)

17.0ms

(sqrt.f64 (*.f64 c (*.f64 a -3)))

simplify156.0ms (2%)

Algorithm

1×	egg-herbie

Rules

591×	`fma-neg_binary64`
520×	`associate-/l*_binary64`
399×	`associate-/r*_binary64`
362×	`fma-def_binary64`
254×	`*-commutative_binary64`

Counts

137 → 255

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	192	3618
1	356	3303
2	1225	3116
3	4393	3045
4	4982	3045
5	4888	3045

prune227.0ms (2.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	275	5	280
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	279	12	291

Error

9.8b

Counts

291 → 12

Alt Table

Status	Error	Program
	32.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
▶	30.5b	(/.f64 (fabs.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)) (*.f64 3 a))
	33.6b	(/.f64 (fma.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (*.f64 3 a))
	30.7b	(/.f64 (.f64 (sqrt.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)))) (.f64 (sqrt.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)))) (.f64 3 a))
	32.6b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (*.f64 3 a))
	44.9b	(/.f64 (/.f64 -3/2 (/.f64 b (.f64 c a))) (.f64 3 a))
	55.9b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
	30.6b	(/.f64 (.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)) (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (.f64 3 a))
	41.5b	(/.f64 (cbrt.f64 (pow.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) 3)) (*.f64 3 a))
	54.9b	(/.f64 (.f64 1/2 (/.f64 (pow.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) 2) b)) (.f64 3 a))
	47.2b	(/.f64 (.f64 -2 b) (.f64 3 a))
	44.9b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 3 a))

Compiler

Compiled 8170 to 5379 computations (34.2% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (fabs.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)) (*.f64 3 a))
✓	0.2b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)
✓	0.3b	(.f64 -3 (.f64 c a))
✓	11.2b	(sqrt.f64 (.f64 -3 (.f64 c a)))

rewrite20.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64`
23×	`*-un-lft-identity_binary64`
17×	`add-cube-cbrt_binary64`
15×	`pow1_binary64`
14×	`add-cbrt-cube_binary64`

Counts

4 → 101

Calls

4 calls:

6.0ms	(/.f64 (fabs.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)) (*.f64 3 a))
4.0ms	(.f64 -3 (.f64 c a))
3.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)
3.0ms	(sqrt.f64 (.f64 -3 (.f64 c a)))

series252.0ms (3.2%)

Counts

4 → 48

Calls

4 calls:

152.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)
62.0ms	(/.f64 (fabs.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)) (*.f64 3 a))
21.0ms	(.f64 -3 (.f64 c a))
18.0ms	(sqrt.f64 (.f64 -3 (.f64 c a)))

simplify101.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

871×	`associate-/l*_binary64`
652×	`associate-/r*_binary64`
372×	`fma-def_binary64`
182×	`cancel-sign-sub-inv_binary64`
139×	`fma-neg_binary64`

Counts

149 → 226

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	240	3769
1	508	3165
2	1664	3109
3	5128	3109

prune158.0ms (2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	220	6	226
Fresh	4	7	11
Picked	1	0	1
Done	0	0	0
Total	225	13	238

Error

9.7b

Counts

238 → 13

Alt Table

Status	Error	Program
	47.0b	(/.f64 (fabs.f64 (.f64 -2 b)) (.f64 3 a))
	32.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
▶	30.5b	(/.f64 (/.f64 (fabs.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)) 3) a)
	33.6b	(/.f64 (fma.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (*.f64 3 a))
	30.9b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b))) 3) (/.f64 (fabs.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b))) a))
	32.6b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (*.f64 3 a))
	44.9b	(/.f64 (/.f64 -3/2 (/.f64 b (.f64 c a))) (.f64 3 a))
	30.9b	(.f64 (.f64 (cbrt.f64 (/.f64 (fabs.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)) (.f64 3 a))) (cbrt.f64 (/.f64 (fabs.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)) (.f64 3 a)))) (cbrt.f64 (/.f64 (fabs.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)) (*.f64 3 a))))
	49.6b	(exp.f64 (-.f64 (log.f64 (fabs.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b))) (log.f64 (*.f64 3 a))))
	30.5b	(.f64 (fabs.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)) (/.f64 1 (.f64 3 a)))
	54.9b	(/.f64 (.f64 1/2 (/.f64 (pow.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) 2) b)) (.f64 3 a))
	47.2b	(/.f64 (.f64 -2 b) (.f64 3 a))
	44.9b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 3 a))

Compiler

Compiled 4572 to 2833 computations (38% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (fabs.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)) 3)
	0.2b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)
	0.3b	(.f64 -3 (.f64 c a))
	11.2b	(sqrt.f64 (.f64 -3 (.f64 c a)))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-sqr-sqrt_binary64`
27×	`*-un-lft-identity_binary64`
27×	`times-frac_binary64`
20×	`fabs-mul_binary64`
19×	`add-cube-cbrt_binary64`

Counts

1 → 55

Calls

1 calls:

5.0ms

(/.f64 (fabs.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 -3 (*.f64 c a))) b) b)) 3)

series28.0ms (0.4%)

Counts

1 → 36

Calls

1 calls:

28.0ms

(/.f64 (fabs.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 -3 (*.f64 c a))) b) b)) 3)

simplify150.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

484×	`associate-/l/_binary64`
412×	`neg-mul-1_binary64`
402×	`neg-sub0_binary64`
382×	`unsub-neg_binary64`
374×	`div-sub_binary64`

Counts

91 → 128

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	122	2681
1	195	2599
2	352	2588
3	615	2588
4	1321	2588
5	3378	2588
6	4573	2588
7	5057	2588

prune169.0ms (2.2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	238	5	243
Fresh	2	10	12
Picked	1	0	1
Done	0	0	0
Total	241	15	256

Error

9.7b

Counts

256 → 15

Alt Table

Status	Error	Program
	47.0b	(/.f64 (fabs.f64 (.f64 -2 b)) (.f64 3 a))
	32.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	32.6b	(/.f64 (/.f64 (fabs.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)))) 3) a)
	44.9b	(/.f64 (/.f64 -3/2 (/.f64 b (.f64 c a))) (.f64 3 a))
	47.0b	(/.f64 (/.f64 (fabs.f64 (*.f64 b -2)) 3) a)
	54.9b	(/.f64 (.f64 1/2 (/.f64 (pow.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) 2) b)) (.f64 3 a))
	30.5b	(/.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (fabs.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)) (cbrt.f64 3))) a)
	33.6b	(/.f64 (fma.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (*.f64 3 a))
	30.9b	(.f64 (.f64 (cbrt.f64 (/.f64 (fabs.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)) (.f64 3 a))) (cbrt.f64 (/.f64 (fabs.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)) (.f64 3 a)))) (cbrt.f64 (/.f64 (fabs.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)) (*.f64 3 a))))
	49.6b	(exp.f64 (-.f64 (log.f64 (fabs.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b))) (log.f64 (*.f64 3 a))))
	30.6b	(/.f64 (/.f64 (fabs.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 (sqrt.f64 (.f64 -3 (.f64 c a)))) (sqrt.f64 (sqrt.f64 (.f64 -3 (*.f64 c a))))) b) b)) 3) a)
	51.6b	(/.f64 (/.f64 (fabs.f64 (/.f64 -3/2 (/.f64 b (*.f64 c a)))) 3) a)
	30.5b	(.f64 (fabs.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)) (/.f64 1 (.f64 3 a)))
	47.2b	(/.f64 (.f64 -2 b) (.f64 3 a))
	44.9b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 3 a))

Compiler

Compiled 4850 to 3038 computations (37.4% saved)

regimes2.6s (33.2%)

Accuracy

Total 4.1b remaining (28.5%)

Threshold costs 0b (0%)

Compiler

Compiled 31777 to 22415 computations (29.5% saved)

bsearch73.0ms (0.9%)

Steps

Iters	Range		Point
9	2.1099586016003383e-100	1.4640050268977364e-94	7.630379190543333e-98
8	-2.8553222764732017e+58	-5.407592748083512e+54	-1.68191977281259e+58

Compiler

Compiled 4 to 3 computations (25% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64`
7×	`+-commutative_binary64`
6×	`distribute-rgt-neg-in_binary64`
6×	`sub-neg_binary64`
5×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	32	66
1	53	64
2	67	64
3	80	64
4	87	64
5	91	64
6	92	64
7	88	64

end1.0ms (0%)

Compiler: Compiled 46 to 32 computations (30.4% saved)

sample1.8s (23.4%)

Algorithm

1×

intervals

Results

370.0ms	5170×	body	128	valid
369.0ms	1075×	body	2048	valid
204.0ms	739×	body	1024	valid
162.0ms	407×	body	4096	valid
78.0ms	412×	body	512	valid
48.0ms	722×	body	128	nan
28.0ms	197×	body	256	valid
26.0ms	358×	body	128	invalid

Compiler

Compiled 376 to 273 computations (27.4% saved)

Details

analyze705.0ms (9.1%)

sample50.0ms (0.6%)

simplify367.0ms (4.7%)

prune4.0ms (0.1%)

localize13.0ms (0.2%)

rewrite22.0ms (0.3%)

series144.0ms (1.9%)

simplify144.0ms (1.9%)

prune153.0ms (2%)

localize13.0ms (0.2%)

rewrite26.0ms (0.3%)

series356.0ms (4.6%)

simplify156.0ms (2%)

prune227.0ms (2.9%)

localize11.0ms (0.1%)

rewrite20.0ms (0.3%)

series252.0ms (3.2%)

simplify101.0ms (1.3%)

prune158.0ms (2%)

localize11.0ms (0.1%)

rewrite9.0ms (0.1%)

series28.0ms (0.4%)

simplify150.0ms (1.9%)

prune169.0ms (2.2%)

regimes2.6s (33.2%)

bsearch73.0ms (0.9%)

simplify9.0ms (0.1%)

end1.0ms (0%)

sample1.8s (23.4%)

Profiling