Details

analyze968.0ms (5.9%)

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%	62.4%	12.6%	5
25%	56.2%	18.8%	6
28.1%	46.8%	25.1%	7
28.1%	43.7%	28.2%	8
29.7%	34.3%	36%	9
29.7%	31.6%	38.7%	10
31.1%	25.8%	43.1%	11
31.1%	24.6%	44.3%	12
31.5%	21.9%	46.6%	13
31.5%	21%	47.5%	14

Compiler

Compiled 16 to 12 computations (25% saved)

sample8.5s (51.8%)

Results

2.2s	2695×	body	1024	valid
2.0s	1769×	body	1024	invalid
1.6s	1789×	body	2048	valid
892.0ms	1304×	body	512	valid
747.0ms	955×	body	512	invalid
338.0ms	1857×	body	128	valid
271.0ms	611×	body	256	valid
218.0ms	533×	body	256	invalid
193.0ms	1061×	body	128	invalid
20.0ms	12×	body	2048	invalid

Compiler

Compiled 47 to 35 computations (25.5% saved)

simplify60.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

436×	`unswap-sqr_binary64`
377×	`fma-def_binary64`
359×	`sub-neg_binary64`
289×	`unsub-neg_binary64`
253×	`distribute-rgt-neg-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	20	19
2	41	19
3	102	19
4	248	19
5	790	19
6	2110	19
7	4405	19
8	5048	19

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

31.6b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	31.6b	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))

Compiler

Compiled 45 to 33 computations (26.7% saved)

localize7.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	2.3b	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))

series33.0ms (0.2%)

Counts

1 → 24

Calls

1 calls:

33.0ms

(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))

rewrite20.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

69×	`unpow-prod-down_binary64`
58×	`*-un-lft-identity_binary64`
56×	`prod-diff_binary64`
47×	`add-sqr-sqrt_binary64`
35×	`add-cube-cbrt_binary64`

Counts

1 → 96

Calls

1 calls:

10.0ms

(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))

simplify166.0ms (1%)

Algorithm

1×	egg-herbie

Rules

677×	`fma-neg_binary64`
428×	`cancel-sign-sub-inv_binary64`
331×	`sub-neg_binary64`
201×	`sqr-pow_binary64`
199×	`neg-mul-1_binary64`

Counts

120 → 142

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	333	7264
1	816	5604
2	2852	3731
3	3955	3731
4	4834	3731
5	4751	3731

prune202.0ms (1.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	137	5	142
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	138	5	143

Error

0.8b

Counts

143 → 5

Alt Table

Status	Error	Program
	33.0b	(-.f64 (+.f64 (.f64 1/2 (/.f64 (exp.f64 (.f64 -1 (/.f64 (log.f64 (/.f64 1 x)) n))) (.f64 (pow.f64 n 2) (pow.f64 x 2)))) (/.f64 (exp.f64 (.f64 -1 (/.f64 (log.f64 (/.f64 1 x)) n))) (.f64 n x))) (.f64 1/2 (/.f64 (exp.f64 (.f64 -1 (/.f64 (log.f64 (/.f64 1 x)) n))) (.f64 n (pow.f64 x 2)))))
	24.7b	(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 2) (pow.f64 n 2))) (/.f64 (log.f64 (+.f64 1 x)) n)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (pow.f64 n 2))) (/.f64 (log.f64 x) n)))
▶	19.6b	(/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)
	31.1b	(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (exp.f64 (/.f64 (log.f64 x) n)))
	36.1b	(-.f64 (+.f64 (+.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 x n)) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 (.f64 x x) (.f64 n n))) (fma.f64 1/24 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 (pow.f64 x 4) (pow.f64 n 4))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (pow.f64 x 3)) (+.f64 (/.f64 1/3 n) (/.f64 1/6 (pow.f64 n 3))))))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (pow.f64 x 4)) (-.f64 (/.f64 11/24 (.f64 n n)) (/.f64 1/4 (pow.f64 n 3))))) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 n (.f64 n (pow.f64 x 3)))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) n) (+.f64 (/.f64 1/2 (.f64 x x)) (/.f64 1/4 (pow.f64 x 4))))))

Compiler

Compiled 6580 to 4510 computations (31.5% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)
✓	3.9b	(-.f64 (log1p.f64 x) (log.f64 x))

series474.0ms (2.9%)

Counts

2 → 36

Calls

2 calls:

471.0ms	(/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)
3.0ms	(-.f64 (log1p.f64 x) (log.f64 x))

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`*-un-lft-identity_binary64`
33×	`add-sqr-sqrt_binary64`
23×	`add-cube-cbrt_binary64`
18×	`times-frac_binary64`
12×	`prod-diff_binary64`

Counts

2 → 83

Calls

2 calls:

5.0ms	(/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)
4.0ms	(-.f64 (log1p.f64 x) (log.f64 x))

simplify123.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

869×	`fma-neg_binary64`
399×	`fma-def_binary64`
386×	`associate-l_binary64`
296×	`associate-r_binary64`
171×	`associate-/l*_binary64`

Counts

119 → 118

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	189	2225
1	426	1862
2	1217	1802
3	4071	1801
4	4962	1801
5	4971	1801
6	4934	1801

prune118.0ms (0.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	110	8	118
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	112	11	123

Error

0.1b

Counts

123 → 11

Alt Table

Status	Error	Program
	38.5b	(/.f64 (+.f64 (/.f64 1/3 (pow.f64 x 3)) (-.f64 (/.f64 1 x) (/.f64 1/2 (*.f64 x x)))) n)
	20.1b	(/.f64 (-.f64 (pow.f64 (log1p.f64 x) 3) (pow.f64 (log.f64 x) 3)) (.f64 n (+.f64 (.f64 (log1p.f64 x) (log1p.f64 x)) (+.f64 (.f64 (log.f64 x) (log.f64 x)) (.f64 (log1p.f64 x) (log.f64 x))))))
	19.7b	(/.f64 (cbrt.f64 (.f64 (.f64 (-.f64 (log1p.f64 x) (log.f64 x)) (-.f64 (log1p.f64 x) (log.f64 x))) (-.f64 (log1p.f64 x) (log.f64 x)))) n)
▶	19.5b	(/.f64 (log.f64 (/.f64 (+.f64 1 x) x)) n)
	19.6b	(*.f64 (-.f64 (log1p.f64 x) (log.f64 x)) (/.f64 1 n))
	24.7b	(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 2) (pow.f64 n 2))) (/.f64 (log.f64 (+.f64 1 x)) n)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (pow.f64 n 2))) (/.f64 (log.f64 x) n)))
	19.6b	(*.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) (/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) n))
	19.6b	(/.f64 1 (/.f64 n (-.f64 (log1p.f64 x) (log.f64 x))))
	35.0b	(/.f64 (-.f64 (-.f64 (log1p.f64 x) (log.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))) (log.f64 (cbrt.f64 x))) n)
	31.1b	(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (exp.f64 (/.f64 (log.f64 x) n)))
	36.1b	(-.f64 (+.f64 (+.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 x n)) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 (.f64 x x) (.f64 n n))) (fma.f64 1/24 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 (pow.f64 x 4) (pow.f64 n 4))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (pow.f64 x 3)) (+.f64 (/.f64 1/3 n) (/.f64 1/6 (pow.f64 n 3))))))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (pow.f64 x 4)) (-.f64 (/.f64 11/24 (.f64 n n)) (/.f64 1/4 (pow.f64 n 3))))) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 n (.f64 n (pow.f64 x 3)))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) n) (+.f64 (/.f64 1/2 (.f64 x x)) (/.f64 1/4 (pow.f64 x 4))))))

Compiler

Compiled 2556 to 952 computations (62.8% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 1 x) x)
✓	0.1b	(/.f64 (log.f64 (/.f64 (+.f64 1 x) x)) n)
✓	4.4b	(log.f64 (/.f64 (+.f64 1 x) x))

series375.0ms (2.3%)

Counts

3 → 36

Calls

3 calls:

369.0ms	(/.f64 (log.f64 (/.f64 (+.f64 1 x) x)) n)
4.0ms	(log.f64 (/.f64 (+.f64 1 x) x))
2.0ms	(/.f64 (+.f64 1 x) x)

rewrite18.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

43×	`*-un-lft-identity_binary64`
36×	`times-frac_binary64`
29×	`add-sqr-sqrt_binary64`
29×	`add-cube-cbrt_binary64`
16×	`log-prod_binary64`

Counts

3 → 98

Calls

3 calls:

6.0ms	(/.f64 (log.f64 (/.f64 (+.f64 1 x) x)) n)
4.0ms	(/.f64 (+.f64 1 x) x)
3.0ms	(log.f64 (/.f64 (+.f64 1 x) x))

simplify105.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

632×	`fma-neg_binary64`
552×	`distribute-rgt-in_binary64`
325×	`cancel-sign-sub-inv_binary64`
272×	`sub-neg_binary64`
226×	`associate-/r*_binary64`

Counts

134 → 184

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	190	2142
1	416	2029
2	1095	2005
3	2915	1974
4	4958	1974
5	5151	1974

prune190.0ms (1.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	182	2	184
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	185	10	195

Error

0.1b

Counts

195 → 10

Alt Table

Status	Error	Program
	38.5b	(/.f64 (+.f64 (/.f64 1/3 (pow.f64 x 3)) (-.f64 (/.f64 1 x) (/.f64 1/2 (*.f64 x x)))) n)
	20.1b	(/.f64 (-.f64 (pow.f64 (log1p.f64 x) 3) (pow.f64 (log.f64 x) 3)) (.f64 n (+.f64 (.f64 (log1p.f64 x) (log1p.f64 x)) (+.f64 (.f64 (log.f64 x) (log.f64 x)) (.f64 (log1p.f64 x) (log.f64 x))))))
	19.7b	(/.f64 (cbrt.f64 (.f64 (.f64 (-.f64 (log1p.f64 x) (log.f64 x)) (-.f64 (log1p.f64 x) (log.f64 x))) (-.f64 (log1p.f64 x) (log.f64 x)))) n)
	19.6b	(*.f64 (-.f64 (log1p.f64 x) (log.f64 x)) (/.f64 1 n))
	24.7b	(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 2) (pow.f64 n 2))) (/.f64 (log.f64 (+.f64 1 x)) n)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (pow.f64 n 2))) (/.f64 (log.f64 x) n)))
	19.6b	(*.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) (/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) n))
▶	19.5b	(/.f64 1 (/.f64 n (log.f64 (/.f64 (+.f64 1 x) x))))
	20.3b	(/.f64 (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (*.f64 (cbrt.f64 x) (cbrt.f64 x)))) (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (cbrt.f64 x)))) n)
	31.1b	(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (exp.f64 (/.f64 (log.f64 x) n)))
	36.1b	(-.f64 (+.f64 (+.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 x n)) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 (.f64 x x) (.f64 n n))) (fma.f64 1/24 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 (pow.f64 x 4) (pow.f64 n 4))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (pow.f64 x 3)) (+.f64 (/.f64 1/3 n) (/.f64 1/6 (pow.f64 n 3))))))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (pow.f64 x 4)) (-.f64 (/.f64 11/24 (.f64 n n)) (/.f64 1/4 (pow.f64 n 3))))) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 n (.f64 n (pow.f64 x 3)))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) n) (+.f64 (/.f64 1/2 (.f64 x x)) (/.f64 1/4 (pow.f64 x 4))))))

Compiler

Compiled 3404 to 1958 computations (42.5% saved)

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(/.f64 (+.f64 1 x) x)
✓	0.2b	(/.f64 n (log.f64 (/.f64 (+.f64 1 x) x)))
✓	0.2b	(/.f64 1 (/.f64 n (log.f64 (/.f64 (+.f64 1 x) x))))
	4.4b	(log.f64 (/.f64 (+.f64 1 x) x))

series663.0ms (4%)

Counts

2 → 36

Calls

2 calls:

336.0ms	(/.f64 n (log.f64 (/.f64 (+.f64 1 x) x)))
327.0ms	(/.f64 1 (/.f64 n (log.f64 (/.f64 (+.f64 1 x) x))))

rewrite21.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

108×	`times-frac_binary64`
60×	`*-un-lft-identity_binary64`
60×	`add-sqr-sqrt_binary64`
60×	`add-cube-cbrt_binary64`
20×	`associate-/r*_binary64`

Counts

2 → 123

Calls

2 calls:

7.0ms	(/.f64 n (log.f64 (/.f64 (+.f64 1 x) x)))
5.0ms	(/.f64 1 (/.f64 n (log.f64 (/.f64 (+.f64 1 x) x))))

simplify134.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

382×	`times-frac_binary64`
370×	`sub-neg_binary64`
327×	`associate-/l*_binary64`
306×	`associate-/r*_binary64`
303×	`div-sub_binary64`

Counts

159 → 195

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	174	3614
1	404	3123
2	1162	3060
3	4022	3058
4	4881	3058
5	5463	3058

prune345.0ms (2.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	310	1	311
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	310	11	321

Error

0.1b

Counts

321 → 11

Alt Table

Status	Error	Program
	38.0b	(/.f64 1 (fma.f64 n 1/2 (fma.f64 x n (*.f64 (/.f64 n x) (+.f64 (/.f64 1/24 x) -1/12)))))
	38.5b	(/.f64 (+.f64 (/.f64 1/3 (pow.f64 x 3)) (-.f64 (/.f64 1 x) (/.f64 1/2 (*.f64 x x)))) n)
	20.1b	(/.f64 (-.f64 (pow.f64 (log1p.f64 x) 3) (pow.f64 (log.f64 x) 3)) (.f64 n (+.f64 (.f64 (log1p.f64 x) (log1p.f64 x)) (+.f64 (.f64 (log.f64 x) (log.f64 x)) (.f64 (log1p.f64 x) (log.f64 x))))))
	19.7b	(/.f64 (cbrt.f64 (.f64 (.f64 (-.f64 (log1p.f64 x) (log.f64 x)) (-.f64 (log1p.f64 x) (log.f64 x))) (-.f64 (log1p.f64 x) (log.f64 x)))) n)
	19.6b	(*.f64 (-.f64 (log1p.f64 x) (log.f64 x)) (/.f64 1 n))
	24.7b	(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 2) (pow.f64 n 2))) (/.f64 (log.f64 (+.f64 1 x)) n)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (pow.f64 n 2))) (/.f64 (log.f64 x) n)))
	19.6b	(*.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) (/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) n))
✓	19.5b	(/.f64 1 (/.f64 n (log.f64 (/.f64 (+.f64 1 x) x))))
	20.3b	(/.f64 (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (*.f64 (cbrt.f64 x) (cbrt.f64 x)))) (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (cbrt.f64 x)))) n)
	31.1b	(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (exp.f64 (/.f64 (log.f64 x) n)))
	36.1b	(-.f64 (+.f64 (+.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 x n)) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 (.f64 x x) (.f64 n n))) (fma.f64 1/24 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 (pow.f64 x 4) (pow.f64 n 4))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (pow.f64 x 3)) (+.f64 (/.f64 1/3 n) (/.f64 1/6 (pow.f64 n 3))))))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (pow.f64 x 4)) (-.f64 (/.f64 11/24 (.f64 n n)) (/.f64 1/4 (pow.f64 n 3))))) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 n (.f64 n (pow.f64 x 3)))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) n) (+.f64 (/.f64 1/2 (.f64 x x)) (/.f64 1/4 (pow.f64 x 4))))))

Compiler

Compiled 6124 to 3708 computations (39.5% saved)

regimes3.4s (20.6%)

Accuracy

Total 8.0b remaining (98.2%)

Threshold costs 0b (0%)

Counts

209 → 4

Compiler

Compiled 15738 to 10589 computations (32.7% saved)

bsearch279.0ms (1.7%)

Steps

Iters	Range		Point
6	1684.0842453015853	9641.706934196658	3872.7799695531517
6	3.7520093999910654e-206	4.180075642702265e-205	3.820976062708217e-206
7	5.117666865397309e-227	9.515439853571591e-225	8.40015892724182e-225

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	117
1	52	117
2	59	117
3	63	117
4	65	117
5	64	117

end203.0ms (1.2%)

Compiler: Compiled 479 to 278 computations (42% saved)

Details

analyze968.0ms (5.9%)

sample8.5s (51.8%)

simplify60.0ms (0.4%)

prune2.0ms (0%)

localize7.0ms (0%)

series33.0ms (0.2%)

rewrite20.0ms (0.1%)

simplify166.0ms (1%)

prune202.0ms (1.2%)

localize6.0ms (0%)

series474.0ms (2.9%)

rewrite14.0ms (0.1%)

simplify123.0ms (0.7%)

prune118.0ms (0.7%)

localize6.0ms (0%)

series375.0ms (2.3%)

rewrite18.0ms (0.1%)

simplify105.0ms (0.6%)

prune190.0ms (1.2%)

localize7.0ms (0%)

series663.0ms (4%)

rewrite21.0ms (0.1%)

simplify134.0ms (0.8%)

prune345.0ms (2.1%)

regimes3.4s (20.6%)

bsearch279.0ms (1.7%)

simplify10.0ms (0.1%)

end203.0ms (1.2%)

Profiling