Details

analyze6.0s (34.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
12.5%	87.3%	0.2%	9
12.5%	87.3%	0.2%	10
18.7%	81.1%	0.2%	11
18.7%	81.1%	0.2%	12
18.7%	81.1%	0.2%	13
20.5%	79.3%	0.2%	14

Compiler

Compiled 35 to 24 computations (31.4% saved)

sample109.0ms (0.6%)

Algorithm

1×

intervals

Results

57.0ms	248×	body	128	valid
5.0ms	4×	body	1024	valid
3.0ms	4×	body	512	valid
2.0ms	10×	body	128	invalid
1.0ms	1×	body	1024	invalid
1.0ms	2×	body	256	invalid
1.0ms	1×	body	512	invalid

Compiler

Compiled 74 to 52 computations (29.7% saved)

simplify75.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

691×	`exp-prod_binary64`
507×	`exp-sum_binary64`
446×	`fma-neg_binary64`
375×	`associate-l_binary64`
251×	`times-frac_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	22	45
1	58	45
2	129	43
3	384	43
4	1266	43
5	4023	43
6	4945	43
7	5019	43

prune8.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

21.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	21.2b	(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M)) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))

Compiler

Compiled 128 to 80 computations (37.5% saved)

localize40.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
✓	0.0b	(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M)) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
✓	0.0b	(-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)
✓	40.3b	(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))

series833.0ms (4.8%)

Counts

4 → 192

Calls

4 calls:

715.0ms	(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M)) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
48.0ms	(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))
34.0ms	(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
34.0ms	(-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)

rewrite161.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

88×	`*-un-lft-identity_binary64`
78×	`prod-diff_binary64`
77×	`add-sqr-sqrt_binary64`
56×	`add-cube-cbrt_binary64`
44×	`associate-r_binary64`

Counts

4 → 166

Calls

4 calls:

61.0ms	(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M)) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
19.0ms	(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))
17.0ms	(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
14.0ms	(-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)

simplify697.0ms (4%)

Algorithm

1×	egg-herbie

Rules

920×	`fma-def_binary64`
454×	`*-commutative_binary64`
304×	`associate-r_binary64`
168×	`+-commutative_binary64`
156×	`cancel-sign-sub-inv_binary64`

Counts

358 → 341

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	976	21127
1	2605	17883
2	4938	17883
3	4971	17883

prune1.2s (7.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	335	6	341
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	336	6	342

Error

1.5b

Counts

342 → 6

Alt Table

Status	Error	Program
	21.1b	(*.f64 (cos.f64 (fma.f64 (/.f64 K (sqrt.f64 2)) (/.f64 (+.f64 m n) (sqrt.f64 2)) (neg.f64 M))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	21.2b	(.f64 (.f64 (.f64 (cbrt.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M)))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M)))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
▶	1.8b	(*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	21.1b	(.f64 (cos.f64 (fma.f64 (/.f64 K (.f64 (cbrt.f64 2) (cbrt.f64 2))) (/.f64 (+.f64 m n) (cbrt.f64 2)) (neg.f64 M))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	21.2b	(.f64 (cos.f64 (fma.f64 (.f64 (cbrt.f64 (/.f64 (.f64 K (+.f64 m n)) 2)) (cbrt.f64 (/.f64 (.f64 K (+.f64 m n)) 2))) (cbrt.f64 (/.f64 (*.f64 K (+.f64 m n)) 2)) (neg.f64 M))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	13.9b	(.f64 (cos.f64 (.f64 1/2 (*.f64 n K))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))

Compiler

Compiled 27089 to 13291 computations (50.9% saved)

localize27.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(cos.f64 M)
	0.0b	(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)

series3.0ms (0%)

Counts

1 → 4

Calls

1 calls:

3.0ms

(cos.f64 M)

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 9

Calls

1 calls:

2.0ms

(cos.f64 M)

simplify92.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

1004×	`fma-neg_binary64`
777×	`cancel-sign-sub-inv_binary64`
308×	`distribute-rgt-neg-in_binary64`
286×	`unswap-sqr_binary64`
275×	`unsub-neg_binary64`

Counts

13 → 17

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	30	116
1	64	105
2	138	101
3	368	99
4	1252	99
5	3986	99
6	4702	99
7	5057	99

prune279.0ms (1.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	79	0	79
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	79	6	85

Error

1.5b

Counts

85 → 6

Alt Table

Status	Error	Program
	21.1b	(*.f64 (cos.f64 (fma.f64 (/.f64 K (sqrt.f64 2)) (/.f64 (+.f64 m n) (sqrt.f64 2)) (neg.f64 M))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	21.2b	(.f64 (.f64 (.f64 (cbrt.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M)))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M)))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
✓	1.8b	(*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	21.1b	(.f64 (cos.f64 (fma.f64 (/.f64 K (.f64 (cbrt.f64 2) (cbrt.f64 2))) (/.f64 (+.f64 m n) (cbrt.f64 2)) (neg.f64 M))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	21.2b	(.f64 (cos.f64 (fma.f64 (.f64 (cbrt.f64 (/.f64 (.f64 K (+.f64 m n)) 2)) (cbrt.f64 (/.f64 (.f64 K (+.f64 m n)) 2))) (cbrt.f64 (/.f64 (*.f64 K (+.f64 m n)) 2)) (neg.f64 M))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
▶	13.9b	(.f64 (cos.f64 (.f64 1/2 (*.f64 n K))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))

Compiler

Compiled 2529 to 1339 computations (47.1% saved)

localize35.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.0b	(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
✓	34.0b	(cos.f64 (.f64 1/2 (.f64 n K)))

series12.0ms (0.1%)

Counts

1 → 8

Calls

1 calls:

12.0ms

(cos.f64 (*.f64 1/2 (*.f64 n K)))

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 9

Calls

1 calls:

3.0ms

(cos.f64 (*.f64 1/2 (*.f64 n K)))

simplify97.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

611×	`distribute-rgt-neg-in_binary64`
528×	`distribute-lft-neg-in_binary64`
489×	`fma-def_binary64`
393×	`unsub-neg_binary64`
369×	`*-commutative_binary64`

Counts

17 → 17

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	40	316
1	93	289
2	242	281
3	960	277
4	2431	265
5	3705	259
6	4723	241
7	5139	241

prune257.0ms (1.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	79	0	79
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	79	6	85

Error

1.5b

Counts

85 → 6

Alt Table

Status	Error	Program
	21.1b	(*.f64 (cos.f64 (fma.f64 (/.f64 K (sqrt.f64 2)) (/.f64 (+.f64 m n) (sqrt.f64 2)) (neg.f64 M))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	21.2b	(.f64 (.f64 (.f64 (cbrt.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M)))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M)))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
✓	1.8b	(*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
▶	21.1b	(.f64 (cos.f64 (fma.f64 (/.f64 K (.f64 (cbrt.f64 2) (cbrt.f64 2))) (/.f64 (+.f64 m n) (cbrt.f64 2)) (neg.f64 M))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	21.2b	(.f64 (cos.f64 (fma.f64 (.f64 (cbrt.f64 (/.f64 (.f64 K (+.f64 m n)) 2)) (cbrt.f64 (/.f64 (.f64 K (+.f64 m n)) 2))) (cbrt.f64 (/.f64 (*.f64 K (+.f64 m n)) 2)) (neg.f64 M))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
✓	13.9b	(.f64 (cos.f64 (.f64 1/2 (*.f64 n K))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))

Compiler

Compiled 2844 to 1573 computations (44.7% saved)

localize42.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (+.f64 m n) (cbrt.f64 2))
✓	0.5b	(/.f64 K (*.f64 (cbrt.f64 2) (cbrt.f64 2)))
✓	1.0b	(cbrt.f64 2)
✓	40.4b	(cos.f64 (fma.f64 (/.f64 K (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (/.f64 (+.f64 m n) (cbrt.f64 2)) (neg.f64 M)))

series212.0ms (1.2%)

Counts

4 → 84

Calls

4 calls:

99.0ms	(/.f64 K (*.f64 (cbrt.f64 2) (cbrt.f64 2)))
76.0ms	(cos.f64 (fma.f64 (/.f64 K (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (/.f64 (+.f64 m n) (cbrt.f64 2)) (neg.f64 M)))
37.0ms	(/.f64 (+.f64 m n) (cbrt.f64 2))
0.0ms	(cbrt.f64 2)

rewrite85.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`*-un-lft-identity_binary64`
27×	`times-frac_binary64`
24×	`add-sqr-sqrt_binary64`
24×	`add-cube-cbrt_binary64`
18×	`cbrt-prod_binary64`

Counts

4 → 96

Calls

4 calls:

67.0ms	(/.f64 K (*.f64 (cbrt.f64 2) (cbrt.f64 2)))
8.0ms	(/.f64 (+.f64 m n) (cbrt.f64 2))
2.0ms	(cos.f64 (fma.f64 (/.f64 K (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (/.f64 (+.f64 m n) (cbrt.f64 2)) (neg.f64 M)))
1.0ms	(cbrt.f64 2)

simplify224.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

841×	`times-frac_binary64`
465×	`cancel-sign-sub-inv_binary64`
371×	`fma-neg_binary64`
221×	`associate-r_binary64`
184×	`distribute-rgt-neg-in_binary64`

Counts

180 → 178

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	259	3748
1	636	3523
2	2052	3023
3	4434	3013
4	5706	3013

prune859.0ms (4.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	203	5	208
Fresh	1	2	3
Picked	1	0	1
Done	1	1	2
Total	206	8	214

Error

1.5b

Counts

214 → 8

Alt Table

Status	Error	Program
	21.1b	(.f64 (cos.f64 (fma.f64 (/.f64 K (.f64 (cbrt.f64 2) (cbrt.f64 2))) (/.f64 (+.f64 m n) (pow.f64 2 1/3)) (neg.f64 M))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	52.7b	(.f64 (cos.f64 (fma.f64 (/.f64 K (.f64 (cbrt.f64 2) (cbrt.f64 2))) (log.f64 (exp.f64 (/.f64 (+.f64 m n) (cbrt.f64 2)))) (neg.f64 M))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	21.1b	(*.f64 (cos.f64 (fma.f64 (/.f64 (/.f64 K (cbrt.f64 2)) (cbrt.f64 2)) (/.f64 (+.f64 m n) (cbrt.f64 2)) (neg.f64 M))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	21.2b	(.f64 (.f64 (.f64 (cbrt.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M)))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M)))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
✓	1.8b	(*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	21.2b	(.f64 (cos.f64 (fma.f64 (.f64 (cbrt.f64 (/.f64 (.f64 K (+.f64 m n)) 2)) (cbrt.f64 (/.f64 (.f64 K (+.f64 m n)) 2))) (cbrt.f64 (/.f64 (*.f64 K (+.f64 m n)) 2)) (neg.f64 M))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	21.1b	(.f64 (cos.f64 (fma.f64 (/.f64 K (.f64 (cbrt.f64 2) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 2) 2)) (cbrt.f64 (cbrt.f64 2))))) (/.f64 (+.f64 m n) (cbrt.f64 2)) (neg.f64 M))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	21.1b	(.f64 (cbrt.f64 (.f64 (.f64 (cos.f64 (fma.f64 (/.f64 K (.f64 (cbrt.f64 2) (cbrt.f64 2))) (/.f64 (+.f64 m n) (cbrt.f64 2)) (neg.f64 M))) (cos.f64 (fma.f64 (/.f64 K (.f64 (cbrt.f64 2) (cbrt.f64 2))) (/.f64 (+.f64 m n) (cbrt.f64 2)) (neg.f64 M)))) (cos.f64 (fma.f64 (/.f64 K (.f64 (cbrt.f64 2) (cbrt.f64 2))) (/.f64 (+.f64 m n) (cbrt.f64 2)) (neg.f64 M))))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))

Compiler

Compiled 9341 to 5434 computations (41.8% saved)

regimes2.4s (13.8%)

Accuracy

Total 0.2b remaining (16.3%)

Threshold costs 0.2b (16.3%)

Counts

151 → 1

Compiler

Compiled 35984 to 24162 computations (32.9% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	31
1	28	31
2	45	31
3	60	31
4	69	31
5	72	31
6	72	31

end15.0ms (0.1%)

Remove: (sort m n)
Compiler: Compiled 75 to 54 computations (28% saved)

sample3.6s (20.8%)

Algorithm

1×

intervals

Results

2.1s	7838×	body	128	valid
100.0ms	85×	body	1024	invalid
82.0ms	70×	body	1024	valid
73.0ms	298×	body	128	invalid
58.0ms	77×	body	512	invalid
48.0ms	60×	body	512	valid
29.0ms	56×	body	256	invalid
28.0ms	16×	body	2048	invalid
16.0ms	31×	body	256	valid
2.0ms	1×	body	2048	valid

Compiler

Compiled 447 to 311 computations (30.4% saved)

Details

analyze6.0s (34.4%)

sample109.0ms (0.6%)

simplify75.0ms (0.4%)

prune8.0ms (0%)

localize40.0ms (0.2%)

series833.0ms (4.8%)

rewrite161.0ms (0.9%)

simplify697.0ms (4%)

prune1.2s (7.1%)

localize27.0ms (0.2%)

series3.0ms (0%)

rewrite2.0ms (0%)

simplify92.0ms (0.5%)

prune279.0ms (1.6%)

localize35.0ms (0.2%)

series12.0ms (0.1%)

rewrite4.0ms (0%)

simplify97.0ms (0.6%)

prune257.0ms (1.5%)

localize42.0ms (0.2%)

series212.0ms (1.2%)

rewrite85.0ms (0.5%)

simplify224.0ms (1.3%)

prune859.0ms (4.9%)

regimes2.4s (13.8%)

simplify6.0ms (0%)

end15.0ms (0.1%)

sample3.6s (20.8%)

Profiling