Details

analyze684.0ms (7.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
12.5%	87.4%	0.1%	5
18.7%	81.1%	0.1%	6
21.8%	71.8%	6.4%	7
31.2%	62.4%	6.4%	8
35.9%	55.4%	8.7%	9
37.8%	48.8%	13.4%	10
42.7%	42.3%	15%	11
47.7%	34.2%	18.1%	12
49.1%	30.4%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample133.0ms (1.5%)

Algorithm

1×

intervals

Results

13.0ms	183×	body	128	valid
10.0ms	30×	body	2048	valid
6.0ms	11×	body	4096	valid
5.0ms	21×	body	1024	valid
3.0ms	21×	body	128	nan
1.0ms	6×	body	512	valid
1.0ms	5×	body	256	valid
0.0ms	7×	body	128	invalid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify262.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

1743×	`fma-neg_binary64`
1393×	`fma-def_binary64`
800×	`div-sub_binary64`
619×	`times-frac_binary64`
473×	`associate-/r/_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	33	22
2	67	22
3	138	22
4	204	22
5	338	22
6	558	22
7	924	22
8	1388	22
9	1604	22
10	2375	22
11	2742	22
12	2533	22
13	2621	22
14	3171	22
15	3313	22
16	3873	22
17	3679	22
18	4029	22
19	4317	22
20	4485	22
21	4561	22
22	4805	22
23	4793	22
24	4797	22
25	4797	22
26	4948	22

prune4.0ms (0%)

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

27.8b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	27.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
	27.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
✓	0.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
✓	1.1b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
✓	17.7b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

series257.0ms (2.9%)

Counts

4 → 96

Calls

4 calls:

102.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
96.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
46.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
13.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

rewrite32.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
10×	`fma-def_binary64`
10×	`add-cube-cbrt_binary64`
10×	`add-log-exp_binary64`

Counts

4 → 90

Calls

4 calls:

10.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
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)))
3.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

simplify126.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

701×	`fma-neg_binary64`
314×	`cancel-sign-sub-inv_binary64`
215×	`distribute-rgt-neg-in_binary64`
159×	`associate-r_binary64`
150×	`distribute-rgt-neg-out_binary64`

Counts

186 → 207

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	243	4178
1	695	3846
2	2512	3724
3	4692	3704
4	5031	3704

prune189.0ms (2.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	197	10	207
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	198	11	209

Error

4.5b

Counts

209 → 11

Alt Table

Status	Error	Program
	33.0b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	43.8b	(/.f64 (neg.f64 b) a)
	49.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 (.f64 b b) 3) (pow.f64 (.f64 (.f64 4 a) c) 3)) (+.f64 (.f64 (.f64 b b) (.f64 b b)) (+.f64 (.f64 (.f64 (.f64 4 a) c) (.f64 (.f64 4 a) c)) (.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a))
	28.0b	(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (.f64 2 a) (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))))
	44.0b	(neg.f64 (/.f64 c b))
	28.0b	(.f64 (/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) 2) (/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))) a))
	27.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	45.9b	(.f64 (sqrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) (.f64 a 2))) (sqrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) (*.f64 a 2))))
	44.0b	(-.f64 (/.f64 c b) (/.f64 b a))
▶	27.9b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	31.6b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (*.f64 2 a))

Compiler

Compiled 5819 to 3407 computations (41.5% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))
✓	0.2b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.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))))
	17.7b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

series380.0ms (4.3%)

Counts

2 → 40

Calls

2 calls:

286.0ms	(/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))
93.0ms	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))

rewrite33.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`times-frac_binary64`
48×	`*-un-lft-identity_binary64`
28×	`add-exp-log_binary64`
24×	`add-sqr-sqrt_binary64`
24×	`add-cube-cbrt_binary64`

Counts

2 → 103

Calls

2 calls:

11.0ms	(/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))
11.0ms	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))

simplify127.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

522×	`fma-def_binary64`
330×	`fma-neg_binary64`
303×	`div-sub_binary64`
273×	`distribute-rgt-in_binary64`
218×	`distribute-lft-in_binary64`

Counts

143 → 184

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	214	4744
1	599	4117
2	2129	3867
3	4543	3867
4	5220	3867

prune239.0ms (2.7%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	285	5	290
Fresh	5	5	10
Picked	0	1	1
Done	0	0	0
Total	290	11	301

Error

4.5b

Counts

301 → 11

Alt Table

Status	Error	Program
	33.0b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	43.8b	(/.f64 (neg.f64 b) a)
	28.0b	(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (.f64 2 a) (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))))
	44.0b	(neg.f64 (/.f64 c b))
▶	27.9b	(.f64 (/.f64 1 (.f64 2 a)) (/.f64 1 (/.f64 1 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))))
	32.4b	(.f64 (.f64 (.f64 4 (.f64 c a)) (/.f64 1/2 a)) (/.f64 1 (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -4)))))))
	31.6b	(/.f64 1 (/.f64 (.f64 2 a) (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)))))
	44.0b	(-.f64 (/.f64 c b) (/.f64 b a))
	43.8b	(/.f64 1 (neg.f64 (/.f64 a b)))
✓	27.9b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	44.0b	(/.f64 1 (-.f64 (/.f64 a b) (/.f64 b c)))

Compiler

Compiled 8928 to 5516 computations (38.2% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 1 (/.f64 1 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
✓	0.2b	(.f64 (/.f64 1 (.f64 2 a)) (/.f64 1 (/.f64 1 (+.f64 (neg.f64 b) (sqrt.f64 (-.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))))
	17.7b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

series146.0ms (1.6%)

Counts

2 → 40

Calls

2 calls:

88.0ms

(*.f64 (/.f64 1 (*.f64 2 a)) (/.f64 1 (/.f64 1 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))))

58.0ms

(/.f64 1 (/.f64 1 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))

rewrite106.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

317×	`add-exp-log_binary64`
244×	`times-frac_binary64`
200×	`*-un-lft-identity_binary64`
164×	`div-exp_binary64`
130×	`add-sqr-sqrt_binary64`

Counts

2 → 319

Calls

2 calls:

32.0ms

(*.f64 (/.f64 1 (*.f64 2 a)) (/.f64 1 (/.f64 1 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))))

13.0ms

(/.f64 1 (/.f64 1 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))

simplify242.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

596×	`fma-def_binary64`
414×	`fma-neg_binary64`
399×	`distribute-rgt-in_binary64`
159×	`cancel-sign-sub-inv_binary64`
129×	`*-commutative_binary64`

Counts

359 → 404

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	277	9955
1	674	8669
2	2440	8214
3	4803	8214
4	4938	8214

prune407.0ms (4.6%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	510	0	510
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	510	11	521

Error

4.5b

Counts

521 → 11

Alt Table

Status	Error	Program
	33.0b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	43.8b	(/.f64 (neg.f64 b) a)
▶	28.0b	(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (.f64 2 a) (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))))
	44.0b	(neg.f64 (/.f64 c b))
✓	27.9b	(.f64 (/.f64 1 (.f64 2 a)) (/.f64 1 (/.f64 1 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))))
	32.4b	(.f64 (.f64 (.f64 4 (.f64 c a)) (/.f64 1/2 a)) (/.f64 1 (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -4)))))))
	31.6b	(/.f64 1 (/.f64 (.f64 2 a) (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)))))
	44.0b	(-.f64 (/.f64 c b) (/.f64 b a))
	43.8b	(/.f64 1 (neg.f64 (/.f64 a b)))
✓	27.9b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	44.0b	(/.f64 1 (-.f64 (/.f64 a b) (/.f64 b c)))

Compiler

Compiled 17880 to 11882 computations (33.5% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (.f64 2 a) (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
✓	0.3b	(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (.f64 2 a) (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.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))))
	17.7b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

series882.0ms (9.9%)

Counts

2 → 24

Calls

2 calls:

794.0ms

(/.f64 (*.f64 2 a) (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))

88.0ms

(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (*.f64 2 a) (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))))

rewrite76.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

192×	`times-frac_binary64`
167×	`*-un-lft-identity_binary64`
130×	`sqrt-prod_binary64`
63×	`add-sqr-sqrt_binary64`
63×	`add-cube-cbrt_binary64`

Counts

2 → 190

Calls

2 calls:

22.0ms

(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (*.f64 2 a) (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))))

10.0ms

(/.f64 (*.f64 2 a) (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))

simplify264.0ms (3%)

Algorithm

1×	egg-herbie

Rules

668×	`associate-/r/_binary64`
409×	`div-sub_binary64`
379×	`fma-def_binary64`
306×	`fma-neg_binary64`
140×	`cancel-sign-sub-inv_binary64`

Counts

214 → 239

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	279	13665
1	701	11375
2	2316	10414
3	4588	9808
4	5588	9808

prune402.0ms (4.5%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	451	0	451
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	451	11	462

Error

4.5b

Counts

462 → 11

Alt Table

Status	Error	Program
	33.0b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	43.8b	(/.f64 (neg.f64 b) a)
✓	28.0b	(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (.f64 2 a) (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))))
	44.0b	(neg.f64 (/.f64 c b))
✓	27.9b	(.f64 (/.f64 1 (.f64 2 a)) (/.f64 1 (/.f64 1 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))))
	32.4b	(.f64 (.f64 (.f64 4 (.f64 c a)) (/.f64 1/2 a)) (/.f64 1 (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -4)))))))
	31.6b	(/.f64 1 (/.f64 (.f64 2 a) (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)))))
	44.0b	(-.f64 (/.f64 c b) (/.f64 b a))
	43.8b	(/.f64 1 (neg.f64 (/.f64 a b)))
✓	27.9b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	44.0b	(/.f64 1 (-.f64 (/.f64 a b) (/.f64 b c)))

Compiler

Compiled 21226 to 12507 computations (41.1% saved)

regimes2.1s (23.1%)

Accuracy

Total 3.6b remaining (39.4%)

Threshold costs 0b (0%)

Counts

226 → 4

Compiler

Compiled 22853 to 16431 computations (28.1% saved)

bsearch73.0ms (0.8%)

Steps

Iters	Range	Point
6	3.6696017627942624e+35	2.340832439645857e+36	2.258064133565435e+36
7	3.3022087754599802e-87	1.3214269837451072e-85	3.3445021699402826e-87
2	-4.403920044906212e+136	-1.2773442230667882e+136	-1.7992336626316105e+136

Iters

Range

Point

3.6696017627942624e+35

2.340832439645857e+36

2.258064133565435e+36

3.3022087754599802e-87

1.3214269837451072e-85

3.3445021699402826e-87

-4.403920044906212e+136

-1.2773442230667882e+136

-1.7992336626316105e+136

Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

15×	`*-commutative_binary64`
12×	`+-commutative_binary64`
10×	`sub-neg_binary64`
8×	`neg-sub0_binary64`
8×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	40	95
1	64	91
2	90	91
3	105	91
4	112	91
5	114	91
6	113	91

end1.0ms (0%)

Compiler: Compiled 64 to 43 computations (32.8% saved)

sample1.7s (19.5%)

Algorithm

1×

intervals

Results

380.0ms	5238×	body	128	valid
369.0ms	1109×	body	2048	valid
216.0ms	762×	body	1024	valid
141.0ms	349×	body	4096	valid
72.0ms	356×	body	512	valid
49.0ms	673×	body	128	nan
29.0ms	393×	body	128	invalid
24.0ms	186×	body	256	valid

Compiler

Compiled 288 to 203 computations (29.5% saved)

Details

analyze684.0ms (7.7%)

sample133.0ms (1.5%)

simplify262.0ms (2.9%)

prune4.0ms (0%)

localize11.0ms (0.1%)

series257.0ms (2.9%)

rewrite32.0ms (0.4%)

simplify126.0ms (1.4%)

prune189.0ms (2.1%)

localize13.0ms (0.1%)

series380.0ms (4.3%)

rewrite33.0ms (0.4%)

simplify127.0ms (1.4%)

prune239.0ms (2.7%)

localize15.0ms (0.2%)

series146.0ms (1.6%)

rewrite106.0ms (1.2%)

simplify242.0ms (2.7%)

prune407.0ms (4.6%)

localize13.0ms (0.1%)

series882.0ms (9.9%)

rewrite76.0ms (0.9%)

simplify264.0ms (3%)

prune402.0ms (4.5%)

regimes2.1s (23.1%)

bsearch73.0ms (0.8%)

simplify6.0ms (0.1%)

end1.0ms (0%)

sample1.7s (19.5%)

Profiling