Details

analyze218.0ms (4.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
25%	68.7%	6.3%	5
25%	65.6%	9.5%	6
37.5%	39%	23.5%	7
37.5%	36.7%	25.9%	8
43.7%	20.7%	35.6%	9
43.7%	19.3%	37%	10
46.8%	10.6%	42.5%	11
46.8%	9.9%	43.3%	12
48.4%	5.4%	46.2%	13
48.4%	5%	46.6%	14

Compiler

Compiled 19 to 17 computations (10.5% saved)

sample55.0ms (1.1%)

Algorithm

1×

intervals

Results

25.0ms	256×	body	128	valid
2.0ms	21×	body	128	nan

Compiler

Compiled 39 to 35 computations (10.3% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

16×	`fma-def_binary64`
7×	`sub-neg_binary64`
6×	`*-commutative_binary64`
5×	`+-commutative_binary64`
5×	`div-sub_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	26	23
2	40	21
3	49	21
4	56	21
5	63	21
6	74	21
7	73	21
8	62	21

prune3.0ms (0.1%)

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

1.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	1.0b	(*.f64 2 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))

Compiler

Compiled 61 to 49 computations (19.7% saved)

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
✓	1.0b	(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
✓	1.0b	(cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))

series36.0ms (0.7%)

Counts

3 → 72

Calls

3 calls:

22.0ms	(cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
8.0ms	(fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
5.0ms	(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
11×	`add-cube-cbrt_binary64`
9×	`times-frac_binary64`
5×	`add-cbrt-cube_binary64`

Counts

3 → 51

Calls

3 calls:

2.0ms	(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
1.0ms	(cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
0.0ms	(fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))

simplify127.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

516×	`distribute-rgt-in_binary64`
515×	`fma-neg_binary64`
508×	`associate-/l/_binary64`
495×	`distribute-lft-in_binary64`
420×	`distribute-rgt-out_binary64`

Counts

123 → 97

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	105	2186
1	150	2070
2	246	2070
3	411	2070
4	874	2070
5	2199	2070
6	4684	2070
7	5109	2070

prune131.0ms (2.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	93	4	97
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	94	4	98

Error

1.0b

Counts

98 → 4

Alt Table

Status	Error	Program
	1.5b	(.f64 2 (cbrt.f64 (.f64 (*.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))))
	1.0b	(.f64 2 (-.f64 (.f64 (cos.f64 (.f64 (PI.f64) 2/3)) (cos.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (.f64 (sin.f64 (*.f64 (PI.f64) 2/3)) (sin.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))))
	1.0b	(*.f64 2 (log1p.f64 (expm1.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))))
▶	1.0b	(.f64 2 (cos.f64 (cbrt.f64 (.f64 (*.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))))

Compiler

Compiled 2237 to 1273 computations (43.1% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.0b	(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
✓	1.0b	(cos.f64 (cbrt.f64 (.f64 (.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))))
✓	1.0b	(cbrt.f64 (.f64 (.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
✓	1.0b	(*.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))

series51.0ms (1%)

Counts

3 → 72

Calls

3 calls:

23.0ms

(cos.f64 (cbrt.f64 (*.f64 (*.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))))

20.0ms

(*.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))

9.0ms

(cbrt.f64 (*.f64 (*.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))

rewrite10.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`pow1_binary64`
9×	`add-sqr-sqrt_binary64`
7×	`*-un-lft-identity_binary64`
7×	`add-cube-cbrt_binary64`
5×	`add-cbrt-cube_binary64`

Counts

3 → 50

Calls

3 calls:

3.0ms

(cbrt.f64 (*.f64 (*.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))

3.0ms

(*.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))

1.0ms

(cos.f64 (cbrt.f64 (*.f64 (*.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))))

simplify160.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

548×	`unswap-sqr_binary64`
439×	`distribute-rgt-in_binary64`
434×	`distribute-lft-in_binary64`
420×	`exp-prod_binary64`
341×	`fma-def_binary64`

Counts

122 → 81

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	75	3601
1	118	2693
2	351	2383
3	965	2357
4	3108	2258
5	4316	2258
6	4665	2258
7	4897	2258

prune342.0ms (6.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	252	0	252
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	252	4	256

Error

1.0b

Counts

256 → 4

Alt Table

Status	Error	Program
	1.5b	(.f64 2 (cbrt.f64 (.f64 (*.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))))
	1.0b	(.f64 2 (-.f64 (.f64 (cos.f64 (.f64 (PI.f64) 2/3)) (cos.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (.f64 (sin.f64 (*.f64 (PI.f64) 2/3)) (sin.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))))
▶	1.0b	(*.f64 2 (log1p.f64 (expm1.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))))
✓	1.0b	(.f64 2 (cos.f64 (cbrt.f64 (.f64 (*.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))))

Compiler

Compiled 10936 to 5600 computations (48.8% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(expm1.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
	1.0b	(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
	1.0b	(cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
✓	1.0b	(log1p.f64 (expm1.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))))

series50.0ms (1%)

Counts

2 → 48

Calls

2 calls:

27.0ms	(expm1.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
22.0ms	(log1p.f64 (expm1.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))))

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`log1p-expm1-u_binary64`
2×	`*-un-lft-identity_binary64`
2×	`add-sqr-sqrt_binary64`
2×	`add-cube-cbrt_binary64`
2×	`add-cbrt-cube_binary64`

Counts

2 → 22

Calls

2 calls:

0.0ms	(expm1.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
0.0ms	(log1p.f64 (expm1.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))))

simplify246.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

1392×	`sqr-pow_binary64`
724×	`unswap-sqr_binary64`
592×	`cube-prod_binary64`
500×	`fabs-mul_binary64`
470×	`pow-sqr_binary64`

Counts

70 → 42

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	45	1455
1	59	1377
2	74	1377
3	87	1377
4	100	1377
5	122	1377
6	170	1377
7	270	1377
8	614	1377
9	1210	1377
10	1349	1377
11	1612	1377
12	1917	1377
13	2211	1377
14	2613	1377
15	2967	1377
16	3150	1377
17	3407	1377
18	3546	1377
19	3625	1377
20	3705	1377
21	4463	1377
22	4855	1377

prune163.0ms (3.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	117	2	119
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	118	5	123

Error

0.9b

Counts

123 → 5

Alt Table

Status	Error	Program
	1.0b	(*.f64 2 (log1p.f64 (log.f64 (exp.f64 (expm1.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))))))
▶	1.0b	(*.f64 2 (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 2/3 (PI.f64) (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 3))) 3)))
	1.0b	(.f64 2 (-.f64 (.f64 (cos.f64 (.f64 (PI.f64) 2/3)) (cos.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (.f64 (sin.f64 (*.f64 (PI.f64) 2/3)) (sin.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))))
✓	1.0b	(*.f64 2 (log1p.f64 (expm1.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))))
✓	1.0b	(.f64 2 (cos.f64 (cbrt.f64 (.f64 (*.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))))

Compiler

Compiled 2844 to 1738 computations (38.9% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 3)
✓	1.0b	(cos.f64 (fma.f64 2/3 (PI.f64) (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 3)))
✓	1.0b	(cbrt.f64 (pow.f64 (cos.f64 (fma.f64 2/3 (PI.f64) (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 3))) 3))
✓	1.0b	(pow.f64 (cos.f64 (fma.f64 2/3 (PI.f64) (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 3))) 3)

series101.0ms (2%)

Counts

4 → 96

Calls

4 calls:

52.0ms	(pow.f64 (cos.f64 (fma.f64 2/3 (PI.f64) (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 3))) 3)
22.0ms	(cbrt.f64 (pow.f64 (cos.f64 (fma.f64 2/3 (PI.f64) (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 3))) 3))
21.0ms	(cos.f64 (fma.f64 2/3 (PI.f64) (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 3)))
6.0ms	(/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 3)

rewrite11.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`*-un-lft-identity_binary64`
18×	`add-sqr-sqrt_binary64`
18×	`add-cube-cbrt_binary64`
12×	`cbrt-prod_binary64`
9×	`times-frac_binary64`

Counts

4 → 89

Calls

4 calls:

3.0ms	(/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 3)
2.0ms	(pow.f64 (cos.f64 (fma.f64 2/3 (PI.f64) (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 3))) 3)
2.0ms	(cbrt.f64 (pow.f64 (cos.f64 (fma.f64 2/3 (PI.f64) (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 3))) 3))
1.0ms	(cos.f64 (fma.f64 2/3 (PI.f64) (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 3)))

simplify206.0ms (4%)

Algorithm

1×	egg-herbie

Rules

580×	`fma-def_binary64`
459×	`*-commutative_binary64`
441×	`log-prod_binary64`
384×	`exp-prod_binary64`
358×	`sqr-pow_binary64`

Counts

185 → 125

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	137	3920
1	209	3650
2	444	3634
3	1380	3634
4	2627	3631
5	4230	3631
6	4623	3631
7	4807	3631

prune136.0ms (2.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	123	2	125
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	125	5	130

Error

0.0b

Counts

130 → 5

Alt Table

Status	Error	Program
	1.0b	(*.f64 2 (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 2/3 (PI.f64) (/.f64 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) (sqrt.f64 3)) (sqrt.f64 3)))) 3)))
✓	1.0b	(*.f64 2 (log1p.f64 (expm1.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))))
	0.0b	(.f64 2 (.f64 (cbrt.f64 (*.f64 (cos.f64 (fma.f64 2/3 (PI.f64) (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 3))) (cos.f64 (fma.f64 2/3 (PI.f64) (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 3))))) (cbrt.f64 (cos.f64 (fma.f64 2/3 (PI.f64) (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 3))))))
	1.0b	(*.f64 2 (log1p.f64 (log.f64 (exp.f64 (expm1.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))))))
✓	1.0b	(.f64 2 (cos.f64 (cbrt.f64 (.f64 (*.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))))

Compiler

Compiled 3139 to 1954 computations (37.8% saved)

regimes1.8s (34.2%)

Accuracy

Total 0.0b remaining (72.8%)

Threshold costs 0.0b (72.8%)

Counts

163 → 1

Compiler

Compiled 38025 to 30365 computations (20.1% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	65
1	26	65
2	30	65
3	33	65
4	34	65
5	34	65

end1.0ms (0%)

Compiler: Compiled 41 to 27 computations (34.1% saved)

sample1.3s (24.6%)

Algorithm

1×

intervals

Results

840.0ms	8000×	body	128	valid
47.0ms	550×	body	128	nan

Compiler

Compiled 199 to 149 computations (25.1% saved)

Details

analyze218.0ms (4.2%)

sample55.0ms (1.1%)

simplify9.0ms (0.2%)

prune3.0ms (0.1%)

localize11.0ms (0.2%)

series36.0ms (0.7%)

rewrite6.0ms (0.1%)

simplify127.0ms (2.5%)

prune131.0ms (2.5%)

localize15.0ms (0.3%)

series51.0ms (1%)

rewrite10.0ms (0.2%)

simplify160.0ms (3.1%)

prune342.0ms (6.6%)

localize14.0ms (0.3%)

series50.0ms (1%)

rewrite2.0ms (0%)

simplify246.0ms (4.8%)

prune163.0ms (3.2%)

localize12.0ms (0.2%)

series101.0ms (2%)

rewrite11.0ms (0.2%)

simplify206.0ms (4%)

prune136.0ms (2.6%)

regimes1.8s (34.2%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample1.3s (24.6%)

Profiling