Details

analyze634.0ms (7.2%)

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)

sample2.6s (29.7%)

Results

808.0ms	5429×	body	128	valid
634.0ms	1153×	body	2048	valid
541.0ms	715×	body	1024	valid
251.0ms	396×	body	4096	valid
141.0ms	1110×	body	128	invalid
118.0ms	371×	body	512	valid
43.0ms	192×	body	256	valid

Compiler

Compiled 62 to 44 computations (29% saved)

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

33.0b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
✓	0.4b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
✓	0.9b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
✓	24.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

series211.0ms (2.4%)

Counts

4 → 96

Calls

4 calls:

82.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
70.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
47.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
11.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

rewrite29.0ms (0.3%)

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:

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

simplify122.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

701×	`fma-neg_binary64`
334×	`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	4208
1	695	3858
2	2512	3724
3	4694	3704
4	5031	3704

prune174.0ms (2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	196	11	207
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	197	12	209

Error

6.1b

Counts

209 → 12

Alt Table

Status	Error	Program
	37.0b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b)))) (*.f64 2 a))
	33.1b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	37.4b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	45.4b	(-.f64 (/.f64 c b) (/.f64 b a))
	57.0b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
▶	32.0b	(/.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) 2) a)
	33.9b	(/.f64 (+.f64 (neg.f64 b) (.f64 (fabs.f64 (cbrt.f64 (fma.f64 (.f64 c a) -4 (.f64 b b)))) (sqrt.f64 (cbrt.f64 (fma.f64 (.f64 c a) -4 (.f64 b b)))))) (.f64 2 a))
	45.1b	(/.f64 (neg.f64 b) a)
	42.5b	(neg.f64 (/.f64 c b))
	45.0b	(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (.f64 (.f64 2 a) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))))
	32.2b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)) a))
	47.3b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) (*.f64 a 2)) 3))

Compiler

Compiled 5807 to 3399 computations (41.5% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) 2) a)
✓	0.7b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
✓	12.1b	(sqrt.f64 (.f64 c (.f64 a -4)))

series409.0ms (4.6%)

Counts

3 → 24

Calls

3 calls:

236.0ms	(/.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) 2) a)
150.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
23.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))

rewrite27.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

117×	`times-frac_binary64`
93×	`*-un-lft-identity_binary64`
93×	`add-sqr-sqrt_binary64`
67×	`add-cube-cbrt_binary64`
19×	`associate-/l*_binary64`

Counts

3 → 141

Calls

3 calls:

8.0ms	(/.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) 2) a)
3.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
3.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))

simplify151.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

545×	`fma-def_binary64`
329×	`cancel-sign-sub-inv_binary64`
324×	`fma-neg_binary64`
299×	`neg-mul-1_binary64`
289×	`div-sub_binary64`

Counts

165 → 263

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	343	5821
1	811	5233
2	2650	5137
3	4338	5132
4	4989	5132

prune235.0ms (2.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	259	4	263
Fresh	4	7	11
Picked	1	0	1
Done	0	0	0
Total	264	11	275

Error

2.8b

Counts

275 → 11

Alt Table

Status	Error	Program
	37.4b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	57.0b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
▶	32.2b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)) a))
	32.3b	(.f64 (/.f64 1 (sqrt.f64 2)) (/.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (*.f64 c a))) b) b) (sqrt.f64 2)) a))
	33.1b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	45.1b	(/.f64 (neg.f64 b) a)
	58.8b	(log.f64 (exp.f64 (/.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) 2) a)))
	42.5b	(neg.f64 (/.f64 c b))
	33.9b	(/.f64 (+.f64 (neg.f64 b) (.f64 (fabs.f64 (cbrt.f64 (fma.f64 (.f64 c a) -4 (.f64 b b)))) (sqrt.f64 (cbrt.f64 (fma.f64 (.f64 c a) -4 (.f64 b b)))))) (.f64 2 a))
	32.8b	(/.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)) (cbrt.f64 2))))
	45.7b	(/.f64 (/.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -4))) b) b) 2) a)

Compiler

Compiled 8214 to 5218 computations (36.5% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) a)
✓	0.2b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)) a))
	0.7b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
	12.1b	(sqrt.f64 (.f64 c (.f64 a -4)))

series728.0ms (8.2%)

Counts

2 → 16

Calls

2 calls:

490.0ms

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

238.0ms

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

rewrite48.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

99×	`add-sqr-sqrt_binary64`
84×	`times-frac_binary64`
69×	`*-un-lft-identity_binary64`
56×	`sqrt-prod_binary64`
49×	`add-cube-cbrt_binary64`

Counts

2 → 138

Calls

2 calls:

21.0ms

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

7.0ms

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

simplify178.0ms (2%)

Algorithm

1×	egg-herbie

Rules

719×	`times-frac_binary64`
381×	`associate-/l/_binary64`
367×	`fma-neg_binary64`
276×	`fma-def_binary64`
186×	`associate-*r/_binary64`

Counts

154 → 230

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	270	6206
1	705	5899
2	2076	5685
3	4636	5491
4	4985	5491
5	4944	5491

prune361.0ms (4.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	396	0	396
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	396	11	407

Error

2.8b

Counts

407 → 11

Alt Table

Status	Error	Program
	37.4b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	57.0b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
✓	32.2b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)) a))
▶	32.3b	(.f64 (/.f64 1 (sqrt.f64 2)) (/.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (*.f64 c a))) b) b) (sqrt.f64 2)) a))
	33.1b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	45.1b	(/.f64 (neg.f64 b) a)
	58.8b	(log.f64 (exp.f64 (/.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) 2) a)))
	42.5b	(neg.f64 (/.f64 c b))
	33.9b	(/.f64 (+.f64 (neg.f64 b) (.f64 (fabs.f64 (cbrt.f64 (fma.f64 (.f64 c a) -4 (.f64 b b)))) (sqrt.f64 (cbrt.f64 (fma.f64 (.f64 c a) -4 (.f64 b b)))))) (.f64 2 a))
	32.8b	(/.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)) (cbrt.f64 2))))
	45.7b	(/.f64 (/.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -4))) b) b) 2) a)

Compiler

Compiled 16405 to 10648 computations (35.1% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b) (sqrt.f64 2))
✓	0.7b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)
✓	1.0b	(/.f64 1 (sqrt.f64 2))
✓	12.1b	(sqrt.f64 (.f64 -4 (.f64 c a)))

series357.0ms (4%)

Counts

4 → 24

Calls

4 calls:

190.0ms	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b) (sqrt.f64 2))
147.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)
20.0ms	(sqrt.f64 (.f64 -4 (.f64 c a)))
0.0ms	(/.f64 1 (sqrt.f64 2))

rewrite25.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

62×	`*-un-lft-identity_binary64`
62×	`add-sqr-sqrt_binary64`
48×	`times-frac_binary64`
46×	`add-cube-cbrt_binary64`
31×	`sqrt-prod_binary64`

Counts

4 → 149

Calls

4 calls:

6.0ms	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b) (sqrt.f64 2))
4.0ms	(sqrt.f64 (.f64 -4 (.f64 c a)))
3.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)
3.0ms	(/.f64 1 (sqrt.f64 2))

simplify126.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

531×	`fma-def_binary64`
427×	`fma-neg_binary64`
365×	`associate-*l/_binary64`
287×	`associate-/r/_binary64`
274×	`cancel-sign-sub-inv_binary64`

Counts

173 → 200

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	256	4592
1	574	3985
2	1896	3899
3	4695	3895
4	4882	3895

prune168.0ms (1.9%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	200	0	200
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	200	11	211

Error

2.8b

Counts

211 → 11

Alt Table

Status	Error	Program
	37.4b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	57.0b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
✓	32.2b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)) a))
✓	32.3b	(.f64 (/.f64 1 (sqrt.f64 2)) (/.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (*.f64 c a))) b) b) (sqrt.f64 2)) a))
	33.1b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	45.1b	(/.f64 (neg.f64 b) a)
	58.8b	(log.f64 (exp.f64 (/.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) 2) a)))
	42.5b	(neg.f64 (/.f64 c b))
	33.9b	(/.f64 (+.f64 (neg.f64 b) (.f64 (fabs.f64 (cbrt.f64 (fma.f64 (.f64 c a) -4 (.f64 b b)))) (sqrt.f64 (cbrt.f64 (fma.f64 (.f64 c a) -4 (.f64 b b)))))) (.f64 2 a))
	32.8b	(/.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)) (cbrt.f64 2))))
	45.7b	(/.f64 (/.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -4))) b) b) 2) a)

Compiler

Compiled 6762 to 4758 computations (29.6% saved)

regimes1.7s (18.9%)

Accuracy

Total 7.4b remaining (72.5%)

Threshold costs 0b (0%)

Counts

162 → 3

Compiler

Compiled 15461 to 11069 computations (28.4% saved)

bsearch89.0ms (1%)

Steps

Iters	Range		Point
9	3.2067924523174545e-41	2.4190282902010186e-35	9.407427085893267e-41
8	-3.0054071990655414e+53	-7.973999190487984e+48	-2.9485189597382724e+53

Compiler

Compiled 4 to 3 computations (25% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

10×	`+-commutative_binary64`
9×	`*-commutative_binary64`
9×	`sub-neg_binary64`
7×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	26	54
1	44	52
2	69	52
3	81	52
4	87	52
5	88	52
6	87	52

end168.0ms (1.9%)

Compiler: Compiled 313 to 214 computations (31.6% saved)

Details

analyze634.0ms (7.2%)

sample2.6s (29.7%)

simplify257.0ms (2.9%)

prune4.0ms (0%)

localize13.0ms (0.1%)

series211.0ms (2.4%)

rewrite29.0ms (0.3%)

simplify122.0ms (1.4%)

prune174.0ms (2%)

localize10.0ms (0.1%)

series409.0ms (4.6%)

rewrite27.0ms (0.3%)

simplify151.0ms (1.7%)

prune235.0ms (2.6%)

localize11.0ms (0.1%)

series728.0ms (8.2%)

rewrite48.0ms (0.5%)

simplify178.0ms (2%)

prune361.0ms (4.1%)

localize15.0ms (0.2%)

series357.0ms (4%)

rewrite25.0ms (0.3%)

simplify126.0ms (1.4%)

prune168.0ms (1.9%)

regimes1.7s (18.9%)

bsearch89.0ms (1%)

simplify4.0ms (0%)

end168.0ms (1.9%)

Profiling