Details

analyze1.8s (12.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0.6%	99.1%	0.3%	11
1.8%	98%	0.3%	12
2.6%	97.1%	0.3%	13
4%	95.7%	0.3%	14

Compiler

Compiled 24 to 15 computations (37.5% saved)

sample1.4s (9.4%)

Results

1.2s	8256×	body	128	valid
72.0ms	438×	body	128	invalid

Compiler

Compiled 71 to 44 computations (38% saved)

simplify79.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

920×	`times-frac_binary64`
593×	`fma-def_binary64`
507×	`div-sub_binary64`
484×	`sub-neg_binary64`
470×	`neg-mul-1_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	23
1	25	21
2	50	21
3	93	21
4	157	21
5	270	21
6	423	21
7	724	21
8	1341	21
9	3898	21
10	4400	21
11	4952	21

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

26.8b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	26.8b	(/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (fma.f64 z (-.f64 b y) y))

Compiler

Compiled 80 to 41 computations (48.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 z (-.f64 t a))
✓	0.0b	(fma.f64 z (-.f64 b y) y)
✓	0.2b	(fma.f64 x y (*.f64 z (-.f64 t a)))
✓	26.0b	(/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (fma.f64 z (-.f64 b y) y))

series208.0ms (1.4%)

Counts

4 → 204

Calls

4 calls:

175.0ms	(/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (fma.f64 z (-.f64 b y) y))
19.0ms	(fma.f64 x y (*.f64 z (-.f64 t a)))
7.0ms	(fma.f64 z (-.f64 b y) y)
6.0ms	(*.f64 z (-.f64 t a))

rewrite18.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-sqr-sqrt_binary64`
30×	`*-un-lft-identity_binary64`
28×	`add-cube-cbrt_binary64`
18×	`prod-diff_binary64`
13×	`distribute-lft-in_binary64`

Counts

4 → 99

Calls

4 calls:

10.0ms	(*.f64 z (-.f64 t a))
2.0ms	(/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (fma.f64 z (-.f64 b y) y))
0.0ms	(fma.f64 z (-.f64 b y) y)
0.0ms	(fma.f64 x y (*.f64 z (-.f64 t a)))

simplify147.0ms (1%)

Algorithm

1×	egg-herbie

Rules

911×	`associate-/l*_binary64`
492×	`fma-def_binary64`
260×	`+-commutative_binary64`
206×	`associate-+r+_binary64`
153×	`*-commutative_binary64`

Counts

303 → 243

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	773	10057
1	2327	9294
2	5266	9294

prune239.0ms (1.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	236	7	243
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	236	8	244

Error

0.5b

Counts

244 → 8

Alt Table

Status	Error	Program
	26.8b	(.f64 (fma.f64 x y (.f64 z (-.f64 t a))) (/.f64 1 (fma.f64 z (-.f64 b y) y)))
	30.2b	(/.f64 (-.f64 t a) (-.f64 b y))
	34.3b	(-.f64 (fma.f64 (/.f64 t y) (/.f64 z (-.f64 1 z)) (/.f64 x (-.f64 1 z))) (fma.f64 (/.f64 z y) (/.f64 (.f64 b x) (pow.f64 (-.f64 1 z) 2)) (/.f64 (.f64 z a) (*.f64 y (-.f64 1 z)))))
	45.1b	(/.f64 x (-.f64 1 z))
✓	26.8b	(/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (fma.f64 z (-.f64 b y) y))
▶	22.4b	(-.f64 (fma.f64 (/.f64 y z) (/.f64 a (pow.f64 (-.f64 y b) 2)) (/.f64 a (-.f64 y b))) (fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b)))))
	25.0b	(-.f64 (fma.f64 (/.f64 y (-.f64 b y)) (/.f64 x z) (fma.f64 (/.f64 a (pow.f64 (-.f64 b y) 2)) (/.f64 y z) (/.f64 t (-.f64 b y)))) (fma.f64 (/.f64 y (pow.f64 (-.f64 b y) 2)) (/.f64 t z) (/.f64 a (-.f64 b y))))
	27.4b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (fma.f64 z (-.f64 b y) y)) (cbrt.f64 (fma.f64 z (-.f64 b y) y)))) (/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (cbrt.f64 (fma.f64 z (-.f64 b y) y))))

Compiler

Compiled 11712 to 4337 computations (63% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	7.6b	(/.f64 a (pow.f64 (-.f64 y b) 2))
✓	9.5b	(fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b))))
✓	10.7b	(fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b)))
✓	11.6b	(fma.f64 (/.f64 y z) (/.f64 a (pow.f64 (-.f64 y b) 2)) (/.f64 a (-.f64 y b)))

series489.0ms (3.3%)

Counts

4 → 188

Calls

4 calls:

157.0ms	(fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b))))
133.0ms	(fma.f64 (/.f64 y z) (/.f64 a (pow.f64 (-.f64 y b) 2)) (/.f64 a (-.f64 y b)))
125.0ms	(fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b)))
73.0ms	(/.f64 a (pow.f64 (-.f64 y b) 2))

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`*-un-lft-identity_binary64`
31×	`add-sqr-sqrt_binary64`
30×	`times-frac_binary64`
23×	`add-cube-cbrt_binary64`
20×	`unpow-prod-down_binary64`

Counts

4 → 89

Calls

4 calls:

9.0ms	(/.f64 a (pow.f64 (-.f64 y b) 2))
0.0ms	(fma.f64 (/.f64 y z) (/.f64 a (pow.f64 (-.f64 y b) 2)) (/.f64 a (-.f64 y b)))
0.0ms	(fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b))))
0.0ms	(fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b)))

simplify183.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

494×	`associate-+r+_binary64`
367×	`fma-neg_binary64`
312×	`associate-/l*_binary64`
305×	`associate-+l+_binary64`
284×	`times-frac_binary64`

Counts

277 → 230

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	502	10158
1	1293	9496
2	4899	9496
3	5217	9496

prune271.0ms (1.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	229	1	230
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	229	9	238

Error

0.5b

Counts

238 → 9

Alt Table

Status	Error	Program
▶	22.8b	(-.f64 (fma.f64 (/.f64 y z) (/.f64 a (pow.f64 (-.f64 y b) 2)) (/.f64 a (-.f64 y b))) (.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b))))) (cbrt.f64 (fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b)))))) (cbrt.f64 (fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b)))))))
✓	22.4b	(-.f64 (fma.f64 (/.f64 y z) (/.f64 a (pow.f64 (-.f64 y b) 2)) (/.f64 a (-.f64 y b))) (fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b)))))
	26.8b	(.f64 (fma.f64 x y (.f64 z (-.f64 t a))) (/.f64 1 (fma.f64 z (-.f64 b y) y)))
	30.2b	(/.f64 (-.f64 t a) (-.f64 b y))
	34.3b	(-.f64 (fma.f64 (/.f64 t y) (/.f64 z (-.f64 1 z)) (/.f64 x (-.f64 1 z))) (fma.f64 (/.f64 z y) (/.f64 (.f64 b x) (pow.f64 (-.f64 1 z) 2)) (/.f64 (.f64 z a) (*.f64 y (-.f64 1 z)))))
	45.1b	(/.f64 x (-.f64 1 z))
✓	26.8b	(/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (fma.f64 z (-.f64 b y) y))
	25.0b	(-.f64 (fma.f64 (/.f64 y (-.f64 b y)) (/.f64 x z) (fma.f64 (/.f64 a (pow.f64 (-.f64 b y) 2)) (/.f64 y z) (/.f64 t (-.f64 b y)))) (fma.f64 (/.f64 y (pow.f64 (-.f64 b y) 2)) (/.f64 t z) (/.f64 a (-.f64 b y))))
	27.4b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (fma.f64 z (-.f64 b y) y)) (cbrt.f64 (fma.f64 z (-.f64 b y) y)))) (/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (cbrt.f64 (fma.f64 z (-.f64 b y) y))))

Compiler

Compiled 13852 to 4718 computations (65.9% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	7.6b	(/.f64 a (pow.f64 (-.f64 y b) 2))
	9.5b	(fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b))))
	10.7b	(fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b)))
	11.6b	(fma.f64 (/.f64 y z) (/.f64 a (pow.f64 (-.f64 y b) 2)) (/.f64 a (-.f64 y b)))

prune1.0s (7%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	410	0	410
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	410	9	419

Error

0.5b

Counts

419 → 9

Alt Table

Status	Error	Program
✓	22.8b	(-.f64 (fma.f64 (/.f64 y z) (/.f64 a (pow.f64 (-.f64 y b) 2)) (/.f64 a (-.f64 y b))) (.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b))))) (cbrt.f64 (fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b)))))) (cbrt.f64 (fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b)))))))
✓	22.4b	(-.f64 (fma.f64 (/.f64 y z) (/.f64 a (pow.f64 (-.f64 y b) 2)) (/.f64 a (-.f64 y b))) (fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b)))))
	26.8b	(.f64 (fma.f64 x y (.f64 z (-.f64 t a))) (/.f64 1 (fma.f64 z (-.f64 b y) y)))
	30.2b	(/.f64 (-.f64 t a) (-.f64 b y))
	34.3b	(-.f64 (fma.f64 (/.f64 t y) (/.f64 z (-.f64 1 z)) (/.f64 x (-.f64 1 z))) (fma.f64 (/.f64 z y) (/.f64 (.f64 b x) (pow.f64 (-.f64 1 z) 2)) (/.f64 (.f64 z a) (*.f64 y (-.f64 1 z)))))
	45.1b	(/.f64 x (-.f64 1 z))
✓	26.8b	(/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (fma.f64 z (-.f64 b y) y))
▶	25.0b	(-.f64 (fma.f64 (/.f64 y (-.f64 b y)) (/.f64 x z) (fma.f64 (/.f64 a (pow.f64 (-.f64 b y) 2)) (/.f64 y z) (/.f64 t (-.f64 b y)))) (fma.f64 (/.f64 y (pow.f64 (-.f64 b y) 2)) (/.f64 t z) (/.f64 a (-.f64 b y))))
	27.4b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (fma.f64 z (-.f64 b y) y)) (cbrt.f64 (fma.f64 z (-.f64 b y) y)))) (/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (cbrt.f64 (fma.f64 z (-.f64 b y) y))))

Compiler

Compiled 47399 to 14614 computations (69.2% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.0b	(fma.f64 (/.f64 y (-.f64 b y)) (/.f64 x z) (fma.f64 (/.f64 a (pow.f64 (-.f64 b y) 2)) (/.f64 y z) (/.f64 t (-.f64 b y))))
✓	7.6b	(/.f64 a (pow.f64 (-.f64 b y) 2))
✓	11.8b	(fma.f64 (/.f64 a (pow.f64 (-.f64 b y) 2)) (/.f64 y z) (/.f64 t (-.f64 b y)))
✓	17.1b	(/.f64 y (pow.f64 (-.f64 b y) 2))

series407.0ms (2.8%)

Counts

4 → 188

Calls

4 calls:

189.0ms	(fma.f64 (/.f64 y (-.f64 b y)) (/.f64 x z) (fma.f64 (/.f64 a (pow.f64 (-.f64 b y) 2)) (/.f64 y z) (/.f64 t (-.f64 b y))))
132.0ms	(fma.f64 (/.f64 a (pow.f64 (-.f64 b y) 2)) (/.f64 y z) (/.f64 t (-.f64 b y)))
71.0ms	(/.f64 a (pow.f64 (-.f64 b y) 2))
15.0ms	(/.f64 y (pow.f64 (-.f64 b y) 2))

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`times-frac_binary64`
58×	`*-un-lft-identity_binary64`
58×	`add-sqr-sqrt_binary64`
42×	`add-cube-cbrt_binary64`
40×	`unpow-prod-down_binary64`

Counts

4 → 138

Calls

4 calls:

5.0ms	(/.f64 a (pow.f64 (-.f64 b y) 2))
5.0ms	(/.f64 y (pow.f64 (-.f64 b y) 2))
0.0ms	(fma.f64 (/.f64 y (-.f64 b y)) (/.f64 x z) (fma.f64 (/.f64 a (pow.f64 (-.f64 b y) 2)) (/.f64 y z) (/.f64 t (-.f64 b y))))
0.0ms	(fma.f64 (/.f64 a (pow.f64 (-.f64 b y) 2)) (/.f64 y z) (/.f64 t (-.f64 b y)))

simplify226.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

396×	`associate-+r+_binary64`
300×	`associate-/l*_binary64`
282×	`+-commutative_binary64`
275×	`times-frac_binary64`
266×	`associate-+l+_binary64`

Counts

326 → 276

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	484	10209
1	1222	9358
2	4505	9334
3	4989	9334
4	5000	9334

prune333.0ms (2.2%)

Pruning

11 alts after pruning (7 fresh and 4 done)

	Pruned	Kept	Total
New	274	2	276
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	274	11	285

Error

0.2b

Counts

285 → 11

Alt Table

Status	Error	Program
✓	26.8b	(/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (fma.f64 z (-.f64 b y) y))
	34.7b	(-.f64 (expm1.f64 (log1p.f64 (fma.f64 (/.f64 y (-.f64 b y)) (/.f64 x z) (fma.f64 (/.f64 a (pow.f64 (-.f64 b y) 2)) (/.f64 y z) (/.f64 t (-.f64 b y)))))) (fma.f64 (/.f64 y (pow.f64 (-.f64 b y) 2)) (/.f64 t z) (/.f64 a (-.f64 b y))))
✓	22.8b	(-.f64 (fma.f64 (/.f64 y z) (/.f64 a (pow.f64 (-.f64 y b) 2)) (/.f64 a (-.f64 y b))) (.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b))))) (cbrt.f64 (fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b)))))) (cbrt.f64 (fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b)))))))
✓	22.4b	(-.f64 (fma.f64 (/.f64 y z) (/.f64 a (pow.f64 (-.f64 y b) 2)) (/.f64 a (-.f64 y b))) (fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b)))))
	40.8b	(-.f64 (/.f64 (+.f64 t (*.f64 y (/.f64 x z))) b) (fma.f64 (/.f64 y (pow.f64 (-.f64 b y) 2)) (/.f64 t z) (/.f64 a (-.f64 b y))))
	26.8b	(.f64 (fma.f64 x y (.f64 z (-.f64 t a))) (/.f64 1 (fma.f64 z (-.f64 b y) y)))
	30.2b	(/.f64 (-.f64 t a) (-.f64 b y))
	34.3b	(-.f64 (fma.f64 (/.f64 t y) (/.f64 z (-.f64 1 z)) (/.f64 x (-.f64 1 z))) (fma.f64 (/.f64 z y) (/.f64 (.f64 b x) (pow.f64 (-.f64 1 z) 2)) (/.f64 (.f64 z a) (*.f64 y (-.f64 1 z)))))
	45.1b	(/.f64 x (-.f64 1 z))
✓	25.0b	(-.f64 (fma.f64 (/.f64 y (-.f64 b y)) (/.f64 x z) (fma.f64 (/.f64 a (pow.f64 (-.f64 b y) 2)) (/.f64 y z) (/.f64 t (-.f64 b y)))) (fma.f64 (/.f64 y (pow.f64 (-.f64 b y) 2)) (/.f64 t z) (/.f64 a (-.f64 b y))))
	27.4b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (fma.f64 z (-.f64 b y) y)) (cbrt.f64 (fma.f64 z (-.f64 b y) y)))) (/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (cbrt.f64 (fma.f64 z (-.f64 b y) y))))

Compiler

Compiled 15515 to 4930 computations (68.2% saved)

regimes7.6s (51.3%)

Accuracy

Total 5.8b remaining (98%)

Threshold costs 0b (0%)

Counts

179 → 5

Compiler

Compiled 68725 to 30793 computations (55.2% saved)

bsearch11.0ms (0.1%)

Compiler: Compiled 23 to 14 computations (39.1% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

16×	`+-commutative_binary64`
13×	`sub-neg_binary64`
12×	`*-commutative_binary64`
7×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	59	316
1	81	316
2	105	316
3	119	316
4	126	316
5	125	316

end226.0ms (1.5%)

Compiler: Compiled 874 to 336 computations (61.6% saved)

Details

analyze1.8s (12.3%)

sample1.4s (9.4%)

simplify79.0ms (0.5%)

prune3.0ms (0%)

localize10.0ms (0.1%)

series208.0ms (1.4%)

rewrite18.0ms (0.1%)

simplify147.0ms (1%)

prune239.0ms (1.6%)

localize19.0ms (0.1%)

series489.0ms (3.3%)

rewrite14.0ms (0.1%)

simplify183.0ms (1.2%)

prune271.0ms (1.8%)

localize27.0ms (0.2%)

prune1.0s (7%)

localize21.0ms (0.1%)

series407.0ms (2.8%)

rewrite19.0ms (0.1%)

simplify226.0ms (1.5%)

prune333.0ms (2.2%)

regimes7.6s (51.3%)

bsearch11.0ms (0.1%)

simplify9.0ms (0.1%)

end226.0ms (1.5%)

Profiling