Details

analyze740.0ms (7%)

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)

sample53.0ms (0.5%)

Algorithm

1×

intervals

Results

13.0ms	167×	body	128	valid
10.0ms	32×	body	2048	valid
7.0ms	17×	body	4096	valid
7.0ms	25×	body	1024	valid
2.0ms	9×	body	512	valid
1.0ms	20×	body	128	nan
1.0ms	6×	body	256	valid
1.0ms	8×	body	128	invalid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify404.0ms (3.8%)

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

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

prune5.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

34.0b

Counts

2 → 2

Alt Table

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

Compiler

Compiled 94 to 64 computations (31.9% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
0.4b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
0.7b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
23.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

rewrite329.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

33.7b

Rules

28×	`add-cube-cbrt_binary64`
19×	`add-sqr-sqrt_binary64`
16×	`add-log-exp_binary64`
16×	`pow1_binary64`
16×	`add-cbrt-cube_binary64`

Counts

4 → 187

Calls

4 calls:

21.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
21.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
17.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
15.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

Compiler

Compiled 4678 to 2670 computations (42.9% saved)

series176.0ms (1.7%)

Error

5.3b

Counts

4 → 71

Calls

4 calls:

50.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
36.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
34.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
32.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

Compiler

Compiled 3039 to 2190 computations (27.9% saved)

simplify168.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

521×	`fma-neg_binary64`
205×	`exp-prod_binary64`
203×	`div-sub_binary64`
195×	`associate-r_binary64`
175×	`associate-l_binary64`

Counts

258 → 175

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	305	4942
1	835	4396
2	3110	4174
3	4531	4174
4	4822	4174

prune114.0ms (1.1%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	161	14	175
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	163	14	177

Error

6.7b

Counts

177 → 14

Alt Table

Status	Error	Program
	34.0b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) a) 3)
	44.3b	(.f64 1/3 (/.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) a))
▶	34.0b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) 3) a)
	50.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (.f64 b b))) (.f64 3 a))
	34.3b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (*.f64 3 a))
	44.9b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
	34.5b	(/.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))))) (/.f64 3 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (*.f64 a -3)))) b)) a)))
	43.7b	(/.f64 (.f64 b -2) (.f64 3 a))
	34.1b	(/.f64 1 (/.f64 (.f64 3 a) (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (*.f64 a -3)))) b)))
	46.5b	(/.f64 (.f64 (/.f64 (.f64 c a) b) -3/2) (*.f64 3 a))
	49.7b	(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) (exp.f64 (+.f64 (log.f64 3) (log.f64 a))))
	35.6b	(/.f64 (+.f64 (neg.f64 b) (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (cbrt.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (cbrt.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))))) (*.f64 3 a))
	37.1b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))))) (*.f64 3 a))
	43.6b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))

Compiler

Compiled 3586 to 2180 computations (39.2% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 c (.f64 a -3))
0.5b	(fma.f64 b b (.f64 c (.f64 a -3)))
0.7b	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b)
23.4b	(sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))

rewrite196.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

6.7b

Rules

31×	`add-cube-cbrt_binary64`
28×	`pow1_binary64`
24×	`add-sqr-sqrt_binary64`
14×	`add-exp-log_binary64`
14×	`add-cbrt-cube_binary64`

Counts

4 → 150

Calls

4 calls:

16.0ms	(.f64 c (.f64 a -3))
15.0ms	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b)
12.0ms	(fma.f64 b b (.f64 c (.f64 a -3)))
10.0ms	(sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))

Compiler

Compiled 3294 to 1938 computations (41.2% saved)

series136.0ms (1.3%)

Error

6.7b

Counts

4 → 60

Calls

4 calls:

40.0ms	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b)
39.0ms	(sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))
32.0ms	(fma.f64 b b (.f64 c (.f64 a -3)))
10.0ms	(.f64 c (.f64 a -3))

Compiler

Compiled 2394 to 1702 computations (28.9% saved)

simplify118.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

739×	`fma-def_binary64`
632×	`times-frac_binary64`
603×	`fma-neg_binary64`
215×	`unswap-sqr_binary64`
167×	`associate-r_binary64`

Counts

210 → 126

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	201	2777
1	489	2705
2	1865	2647
3	4834	2647
4	4967	2647

prune69.0ms (0.7%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	122	4	126
Fresh	4	9	13
Picked	0	1	1
Done	0	0	0
Total	126	14	140

Error

6.7b

Counts

140 → 14

Alt Table

Status	Error	Program
	43.6b	(/.f64 (/.f64 (*.f64 b -2) 3) a)
	34.3b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (*.f64 3 a))
▶	34.0b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) a) 3)
	44.3b	(.f64 1/3 (/.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) a))
✓	34.0b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) 3) a)
	50.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (.f64 b b))) (.f64 3 a))
	46.4b	(/.f64 (/.f64 (.f64 (/.f64 (.f64 c a) b) -3/2) 3) a)
	34.1b	(/.f64 1 (/.f64 (.f64 3 a) (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (*.f64 a -3)))) b)))
	37.1b	(/.f64 (/.f64 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))))) b) 3) a)
	49.7b	(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) (exp.f64 (+.f64 (log.f64 3) (log.f64 a))))
	44.9b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
	34.0b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) b) 3) a)
	35.6b	(/.f64 (+.f64 (neg.f64 b) (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (cbrt.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (cbrt.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))))) (*.f64 3 a))
	43.6b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))

Compiler

Compiled 2353 to 1307 computations (44.5% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 c (.f64 a -3))
0.5b	(fma.f64 b b (.f64 c (.f64 a -3)))
0.7b	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b)
23.4b	(sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))

rewrite140.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

6.7b

Rules

31×	`add-cube-cbrt_binary64`
28×	`pow1_binary64`
24×	`add-sqr-sqrt_binary64`
14×	`add-exp-log_binary64`
14×	`add-cbrt-cube_binary64`

Counts

4 → 150

Calls

4 calls:

17.0ms	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b)
16.0ms	(.f64 c (.f64 a -3))
11.0ms	(fma.f64 b b (.f64 c (.f64 a -3)))
10.0ms	(sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))

Compiler

Compiled 3294 to 1938 computations (41.2% saved)

series131.0ms (1.2%)

Error

6.7b

Counts

4 → 60

Calls

4 calls:

36.0ms	(sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))
36.0ms	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b)
34.0ms	(fma.f64 b b (.f64 c (.f64 a -3)))
10.0ms	(.f64 c (.f64 a -3))

Compiler

Compiled 2394 to 1702 computations (28.9% saved)

simplify122.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

739×	`fma-def_binary64`
632×	`times-frac_binary64`
603×	`fma-neg_binary64`
215×	`unswap-sqr_binary64`
167×	`associate-r_binary64`

Counts

210 → 126

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	201	2777
1	489	2705
2	1865	2647
3	4834	2647
4	4967	2647

prune70.0ms (0.7%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	124	2	126
Fresh	2	10	12
Picked	1	0	1
Done	0	1	1
Total	127	13	140

Error

6.7b

Counts

140 → 13

Alt Table

Status	Error	Program
	43.6b	(/.f64 (/.f64 (*.f64 b -2) 3) a)
	34.3b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (*.f64 3 a))
	46.4b	(/.f64 (/.f64 (.f64 (/.f64 (.f64 c a) b) -3/2) 3) a)
	34.1b	(/.f64 1 (/.f64 (.f64 3 a) (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (*.f64 a -3)))) b)))
	50.2b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (*.f64 b b)) b) a) 3)
	37.1b	(/.f64 (/.f64 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))))) b) 3) a)
	49.7b	(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) (exp.f64 (+.f64 (log.f64 3) (log.f64 a))))
	44.9b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
▶	34.0b	(/.f64 (/.f64 (+.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) (neg.f64 b)) a) 3)
	44.3b	(.f64 1/3 (/.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) a))
✓	34.0b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) 3) a)
	35.6b	(/.f64 (+.f64 (neg.f64 b) (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (cbrt.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (cbrt.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))))) (*.f64 3 a))
	43.6b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))

Compiler

Compiled 2317 to 1283 computations (44.6% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (/.f64 (+.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) (neg.f64 b)) a) 3)
0.5b	(fma.f64 (.f64 c a) -3 (.f64 b b))
0.7b	(+.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) (neg.f64 b))
23.4b	(sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))

rewrite146.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

6.7b

Rules

33×	`add-cube-cbrt_binary64`
18×	`add-sqr-sqrt_binary64`
16×	`pow1_binary64`
16×	`add-cbrt-cube_binary64`
14×	`add-exp-log_binary64`

Counts

4 → 167

Calls

4 calls:

16.0ms	(/.f64 (/.f64 (+.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) (neg.f64 b)) a) 3)
13.0ms	(+.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) (neg.f64 b))
10.0ms	(sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))
10.0ms	(fma.f64 (.f64 c a) -3 (.f64 b b))

Compiler

Compiled 3683 to 1781 computations (51.6% saved)

series169.0ms (1.6%)

Error

6.7b

Counts

4 → 71

Calls

4 calls:

47.0ms	(/.f64 (/.f64 (+.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) (neg.f64 b)) a) 3)
37.0ms	(+.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) (neg.f64 b))
36.0ms	(sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))
30.0ms	(fma.f64 (.f64 c a) -3 (.f64 b b))

Compiler

Compiled 3039 to 2190 computations (27.9% saved)

simplify148.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

904×	`fma-neg_binary64`
329×	`cancel-sign-sub-inv_binary64`
178×	`distribute-rgt-neg-out_binary64`
146×	`associate-r_binary64`
141×	`associate-l_binary64`

Counts

238 → 159

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	270	4111
1	758	3833
2	2658	3716
3	4902	3710
4	5265	3710

prune78.0ms (0.7%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	156	3	159
Fresh	1	10	11
Picked	0	1	1
Done	1	0	1
Total	158	14	172

Error

6.6b

Counts

172 → 14

Alt Table

Status	Error	Program
	43.6b	(/.f64 (/.f64 (*.f64 b -2) 3) a)
	34.3b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (*.f64 3 a))
	46.4b	(/.f64 (/.f64 (.f64 (/.f64 (.f64 c a) b) -3/2) 3) a)
	50.2b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (*.f64 b b)) b) a) 3)
	37.1b	(/.f64 (/.f64 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))))) b) 3) a)
	49.7b	(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) (exp.f64 (+.f64 (log.f64 3) (log.f64 a))))
	34.3b	(/.f64 (/.f64 (/.f64 (+.f64 (.f64 c (.f64 a -3)) 0) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) a) 3)
	44.9b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
	34.0b	(/.f64 (/.f64 (+.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) (neg.f64 b)) a) 3)
	44.3b	(.f64 1/3 (/.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) a))
	34.0b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) a)))
	52.8b	(sqrt.f64 (/.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) a)) 6) 3) 3))
	35.6b	(/.f64 (+.f64 (neg.f64 b) (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (cbrt.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (cbrt.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))))) (*.f64 3 a))
	43.6b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))

Compiler

Compiled 2756 to 1663 computations (39.7% saved)

regimes4.9s (46.8%)

Accuracy

Total 3.0b remaining (29.4%)

Threshold costs 0b (0%)

Compiler

Compiled 27946 to 19373 computations (30.7% saved)

bsearch72.0ms (0.7%)

Steps

Iters	Range		Point
10	5.11128899652485e-91	1.2649058088524743e-73	1.9180183270872948e-83
4	-4.563320901526093e+138	-2.4582645971659436e+138	-4.153332913727811e+138

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
3×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	53
1	35	53
2	40	53
3	42	53
4	43	53
5	43	53

end1.0ms (0%)

Compiler: Compiled 39 to 27 computations (30.8% saved)

sample2.0s (18.6%)

Algorithm

1×

intervals

Results

456.0ms	5233×	body	128	valid
396.0ms	1114×	body	2048	valid
194.0ms	709×	body	1024	valid
173.0ms	434×	body	4096	valid
68.0ms	340×	body	512	valid
49.0ms	702×	body	128	nan
27.0ms	394×	body	128	invalid
23.0ms	170×	body	256	valid

Compiler

Compiled 342 to 241 computations (29.5% saved)

Details

analyze740.0ms (7%)

sample53.0ms (0.5%)

simplify404.0ms (3.8%)

prune5.0ms (0.1%)

localize12.0ms (0.1%)

rewrite329.0ms (3.1%)

series176.0ms (1.7%)

simplify168.0ms (1.6%)

prune114.0ms (1.1%)

localize12.0ms (0.1%)

rewrite196.0ms (1.9%)

series136.0ms (1.3%)

simplify118.0ms (1.1%)

prune69.0ms (0.7%)

localize12.0ms (0.1%)

rewrite140.0ms (1.3%)

series131.0ms (1.2%)

simplify122.0ms (1.2%)

prune70.0ms (0.7%)

localize12.0ms (0.1%)

rewrite146.0ms (1.4%)

series169.0ms (1.6%)

simplify148.0ms (1.4%)

prune78.0ms (0.7%)

regimes4.9s (46.8%)

bsearch72.0ms (0.7%)

simplify5.0ms (0%)

end1.0ms (0%)

sample2.0s (18.6%)

Profiling