Details

analyze3.7s (20.4%)

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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
37.4%	62.4%	0.1%	7
37.4%	62.4%	0.1%	8
43.7%	56.2%	0.1%	9
43.7%	56.2%	0.1%	10
43.7%	56.2%	0.1%	11
46.8%	53%	0.1%	12
46.8%	53%	0.1%	13
46.8%	53%	0.1%	14

Compiler

Compiled 34 to 19 computations (44.1% saved)

sample7.2s (39.7%)

Results

3.9s	2119×	body	1024	valid
1.6s	4610×	body	128	valid
1.1s	985×	body	512	valid
365.0ms	539×	body	256	valid
10.0ms	3×	body	2048	valid

Compiler

Compiled 101 to 56 computations (44.6% saved)

simplify414.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

1350×	`fma-def_binary64`
1306×	`fma-neg_binary64`
889×	`div-sub_binary64`
757×	`associate-/r/_binary64`
558×	`associate-/l*_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	50
1	44	50
2	109	50
3	229	50
4	333	50
5	515	50
6	717	50
7	984	50
8	1308	50
9	1633	50
10	1589	50
11	1591	50
12	1623	50
13	1671	50
14	1671	50
15	2103	50
16	2591	50
17	2559	50
18	2615	50
19	2783	50
20	2879	50
21	2927	50
22	3351	50
23	3319	50
24	3319	50
25	2487	50
26	2863	50
27	2591	50
28	2591	50
29	2591	50
30	2591	50
31	2376	50

prune4.0ms (0%)

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

0.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Status

Error

Program

▶

0.1b

(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 99 to 54 computations (45.5% saved)

localize40.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (neg.f64 eh) (tan.f64 t))
✓	0.1b	(*.f64 eh (sin.f64 t))
✓	2.3b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	19.5b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series183.0ms (1%)

Counts

4 → 120

Calls

4 calls:

83.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
46.0ms	(*.f64 (neg.f64 eh) (tan.f64 t))
37.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
15.0ms	(*.f64 eh (sin.f64 t))

rewrite113.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64`
13×	`associate-l_binary64`
13×	`add-cbrt-cube_binary64`
13×	`add-exp-log_binary64`
12×	`*-un-lft-identity_binary64`

Counts

4 → 85

Calls

4 calls:

81.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
10.0ms	(*.f64 eh (sin.f64 t))
9.0ms	(*.f64 (neg.f64 eh) (tan.f64 t))
2.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

simplify193.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

776×	`times-frac_binary64`
641×	`fma-def_binary64`
349×	`div-sub_binary64`
186×	`fma-neg_binary64`
182×	`distribute-lft-neg-out_binary64`

Counts

205 → 155

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	188	2842
1	468	2661
2	1674	2646
3	4204	2644
4	5113	2644

prune633.0ms (3.5%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	255	5	260
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	256	5	261

Error

0.1b

Counts

261 → 5

Alt Table

Status	Error	Program
	32.7b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 eh (sqrt.f64 (sin.f64 t))) (sqrt.f64 (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	32.9b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (sqrt.f64 eh) (.f64 (sqrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.5b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (cbrt.f64 eh) (cbrt.f64 eh)) (.f64 (cbrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	23.3b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (cbrt.f64 (.f64 (.f64 (.f64 eh eh) eh) (.f64 (.f64 (sin.f64 t) (sin.f64 t)) (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
▶	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (/.f64 1 (hypot.f64 1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 9689 to 2169 computations (77.6% saved)

localize52.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(*.f64 eh (sin.f64 t))
✓	0.6b	(/.f64 1 (hypot.f64 1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
	2.3b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	2.3b	(/.f64 (*.f64 (tan.f64 t) eh) ew)

series425.0ms (2.3%)

Counts

2 → 72

Calls

2 calls:

325.0ms	(/.f64 1 (hypot.f64 1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
99.0ms	(/.f64 (*.f64 (tan.f64 t) eh) ew)

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64`
12×	`times-frac_binary64`
12×	`add-sqr-sqrt_binary64`
12×	`add-cube-cbrt_binary64`
11×	`add-exp-log_binary64`

Counts

2 → 57

Calls

2 calls:

4.0ms	(/.f64 (*.f64 (tan.f64 t) eh) ew)
2.0ms	(/.f64 1 (hypot.f64 1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))

simplify270.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

361×	`associate-/r/_binary64`
361×	`fma-neg_binary64`
331×	`fma-def_binary64`
302×	`associate-/l/_binary64`
234×	`cancel-sign-sub-inv_binary64`

Counts

129 → 125

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	220	3357
1	599	3198
2	2331	3153
3	4701	3153
4	4984	3153
5	4999	3153
6	4997	3153
7	4958	3153

prune563.0ms (3.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	203	0	203
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	203	5	208

Error

0.1b

Counts

208 → 5

Alt Table

Status	Error	Program
	32.7b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 eh (sqrt.f64 (sin.f64 t))) (sqrt.f64 (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	32.9b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (sqrt.f64 eh) (.f64 (sqrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
▶	0.5b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (cbrt.f64 eh) (cbrt.f64 eh)) (.f64 (cbrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	23.3b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (cbrt.f64 (.f64 (.f64 (.f64 eh eh) eh) (.f64 (.f64 (sin.f64 t) (sin.f64 t)) (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (/.f64 1 (hypot.f64 1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 8699 to 3102 computations (64.3% saved)

localize55.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 eh) (cbrt.f64 eh))
✓	0.6b	(cbrt.f64 eh)
	2.3b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	19.5b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series114.0ms (0.6%)

Counts

2 → 24

Calls

2 calls:

76.0ms	(cbrt.f64 eh)
38.0ms	(*.f64 (cbrt.f64 eh) (cbrt.f64 eh))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
19×	`cbrt-prod_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
9×	`pow1_binary64`

Counts

2 → 55

Calls

2 calls:

6.0ms	(*.f64 (cbrt.f64 eh) (cbrt.f64 eh))
1.0ms	(cbrt.f64 eh)

simplify76.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

577×	`distribute-rgt-in_binary64`
561×	`log-prod_binary64`
538×	`distribute-lft-in_binary64`
525×	`unswap-sqr_binary64`
384×	`fma-def_binary64`

Counts

79 → 74

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	58	610
1	98	554
2	296	516
3	769	502
4	1799	410
5	4642	410
6	4805	410

prune597.0ms (3.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	226	3	229
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	227	7	234

Error

0.1b

Counts

234 → 7

Alt Table

Status	Error	Program
✓	0.5b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (cbrt.f64 eh) (cbrt.f64 eh)) (.f64 (cbrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.7b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (cbrt.f64 eh) (.f64 (.f64 (cbrt.f64 (cbrt.f64 eh)) (cbrt.f64 (cbrt.f64 eh))) (cbrt.f64 (cbrt.f64 eh)))) (.f64 (cbrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	23.3b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (cbrt.f64 (.f64 (.f64 (.f64 eh eh) eh) (.f64 (.f64 (sin.f64 t) (sin.f64 t)) (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
▶	0.6b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 eh) (cbrt.f64 eh))) (.f64 (cbrt.f64 (cbrt.f64 eh)) (cbrt.f64 eh))) (.f64 (cbrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	32.7b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 eh (sqrt.f64 (sin.f64 t))) (sqrt.f64 (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	32.9b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 eh)) (sqrt.f64 eh)) (.f64 (cbrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (/.f64 1 (hypot.f64 1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 10163 to 1913 computations (81.2% saved)

localize55.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(cbrt.f64 eh)
✓	0.6b	(cbrt.f64 (cbrt.f64 eh))
	2.3b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	19.5b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series477.0ms (2.6%)

Counts

1 → 12

Calls

1 calls:

477.0ms

(cbrt.f64 (cbrt.f64 eh))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`cbrt-prod_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`

Counts

1 → 16

Calls

1 calls:

2.0ms

(cbrt.f64 (cbrt.f64 eh))

simplify190.0ms (1%)

Algorithm

1×	egg-herbie

Rules

952×	`unswap-sqr_binary64`
687×	`sqr-pow_binary64`
466×	`*-commutative_binary64`
325×	`cube-prod_binary64`
311×	`associate-/l/_binary64`

Counts

28 → 21

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	33	234
1	51	234
2	89	234
3	160	230
4	410	226
5	652	226
6	1364	226
7	1508	226
8	1713	226
9	1972	226
10	2408	226
11	3558	226
12	3799	226
13	4679	226
14	4777	226

prune542.0ms (3%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	230	0	230
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	230	7	237

Error

0.1b

Counts

237 → 7

Alt Table

Status	Error	Program
✓	0.5b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (cbrt.f64 eh) (cbrt.f64 eh)) (.f64 (cbrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.7b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (cbrt.f64 eh) (.f64 (.f64 (cbrt.f64 (cbrt.f64 eh)) (cbrt.f64 (cbrt.f64 eh))) (cbrt.f64 (cbrt.f64 eh)))) (.f64 (cbrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	23.3b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (cbrt.f64 (.f64 (.f64 (.f64 eh eh) eh) (.f64 (.f64 (sin.f64 t) (sin.f64 t)) (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.6b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 eh) (cbrt.f64 eh))) (.f64 (cbrt.f64 (cbrt.f64 eh)) (cbrt.f64 eh))) (.f64 (cbrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	32.7b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 eh (sqrt.f64 (sin.f64 t))) (sqrt.f64 (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	32.9b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 eh)) (sqrt.f64 eh)) (.f64 (cbrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (/.f64 1 (hypot.f64 1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 11827 to 1937 computations (83.6% saved)

regimes1.9s (10.6%)

Accuracy

Total 0.0b remaining (28.7%)

Threshold costs 0.0b (28.7%)

Counts

141 → 1

Compiler

Compiled 25759 to 15813 computations (38.6% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

19×	`*-commutative_binary64`
15×	`+-commutative_binary64`
15×	`sub-neg_binary64`
13×	`neg-sub0_binary64`
12×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	50
1	40	50
2	69	50
3	96	50
4	117	50
5	128	50
6	130	50
7	130	50

end304.0ms (1.7%)

Compiler: Compiled 360 to 195 computations (45.8% saved)

Details

analyze3.7s (20.4%)

sample7.2s (39.7%)

simplify414.0ms (2.3%)

prune4.0ms (0%)

localize40.0ms (0.2%)

series183.0ms (1%)

rewrite113.0ms (0.6%)

simplify193.0ms (1.1%)

prune633.0ms (3.5%)

localize52.0ms (0.3%)

series425.0ms (2.3%)

rewrite10.0ms (0.1%)

simplify270.0ms (1.5%)

prune563.0ms (3.1%)

localize55.0ms (0.3%)

series114.0ms (0.6%)

rewrite9.0ms (0.1%)

simplify76.0ms (0.4%)

prune597.0ms (3.3%)

localize55.0ms (0.3%)

series477.0ms (2.6%)

rewrite3.0ms (0%)

simplify190.0ms (1%)

prune542.0ms (3%)

regimes1.9s (10.6%)

simplify9.0ms (0.1%)

end304.0ms (1.7%)

Profiling