Details

analyze615.0ms (8.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
0%	99.9%	0.1%	5
6.2%	93.6%	0.1%	6
12.5%	87.4%	0.1%	7
15.6%	84.3%	0.1%	8
18.7%	71.8%	9.5%	9
23.4%	56%	20.6%	10
26.3%	52.2%	21.5%	11
31%	40.1%	28.9%	12
35.6%	28.9%	35.5%	13
36.8%	27.5%	35.7%	14

Compiler

Compiled 18 to 12 computations (33.3% saved)

sample1.2s (17.3%)

Results

943.0ms	8256×	body	128	valid
240.0ms	2397×	body	128	invalid

Compiler

Compiled 36 to 24 computations (33.3% saved)

preprocess25.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

25×	`fma-def_binary64`
11×	`*-commutative_binary64`
10×	`+-commutative_binary64`
4×	`associate-+l+_binary64`
4×	`distribute-lft-out_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	72
1	58	64
2	84	64
3	87	64
0	3	3
1	3	3

Stop Event

1×	unsound
1×	saturated

Symmetry

(sort x y z)

Compiler

Compiled 17 to 11 computations (35.3% saved)

simplify16.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

25×	`fma-def_binary64`
8×	`+-commutative_binary64`
8×	`*-commutative_binary64`
5×	`distribute-rgt-out_binary64`
3×	`associate-+r+_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	18
1	23	16
2	45	16
3	64	16
4	69	16
5	70	16

Stop Event

1×

saturated

Counts

1 → 2

prune3.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

19.3b

Counts

3 → 2

Alt Table

Status	Error	Program
	19.3b	(.f64 2 (sqrt.f64 (fma.f64 x y (.f64 z (+.f64 x y)))))
▶	19.3b	(.f64 2 (sqrt.f64 (+.f64 (+.f64 (.f64 x y) (.f64 x z)) (.f64 y z))))

Compiler

Compiled 90 to 57 computations (36.7% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.6b	(+.f64 (.f64 x y) (.f64 x z))
✓	1.6b	(+.f64 (+.f64 (.f64 x y) (.f64 x z)) (*.f64 y z))
✓	18.2b	(sqrt.f64 (+.f64 (+.f64 (.f64 x y) (.f64 x z)) (*.f64 y z)))

series136.0ms (2%)

Counts

3 → 84

Calls

27 calls:

22.0ms	(sqrt.f64 (+.f64 (+.f64 (.f64 x y) (.f64 x z)) (*.f64 y z)))	y	-inf
19.0ms	(sqrt.f64 (+.f64 (+.f64 (.f64 x y) (.f64 x z)) (*.f64 y z)))	x	inf
19.0ms	(sqrt.f64 (+.f64 (+.f64 (.f64 x y) (.f64 x z)) (*.f64 y z)))	z	inf
18.0ms	(sqrt.f64 (+.f64 (+.f64 (.f64 x y) (.f64 x z)) (*.f64 y z)))	x	-inf
14.0ms	(sqrt.f64 (+.f64 (+.f64 (.f64 x y) (.f64 x z)) (*.f64 y z)))	z	-inf

rewrite62.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

812×	`fma-def_binary64`
367×	`fma-neg_binary64`
205×	`expm1-udef_binary64`
205×	`log1p-udef_binary64`
201×	`egg-rr`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	35
1	223	31
2	3255	31

Stop Event

1×	node limit

Counts

3 → 201

simplify42.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

605×	`cancel-sign-sub-inv_binary64`
592×	`associate-l_binary64`
528×	`associate-r_binary64`
198×	`fma-def_binary64`
174×	`associate-/r*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	191	1448
1	528	1389
2	1902	1344

Stop Event

1×	node limit

Counts

285 → 230

prune216.0ms (3.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	220	10	230
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	222	10	232

Error

18.8b

Counts

232 → 10

Alt Table

Status	Error	Program
	19.6b	(.f64 2 (sqrt.f64 (fma.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) z) (*.f64 x (+.f64 y z)))))
	41.0b	(.f64 2 (sqrt.f64 (.f64 y z)))
	19.5b	(.f64 2 (pow.f64 (pow.f64 (fma.f64 x y (.f64 z (+.f64 x y))) 1/4) 2))
	19.6b	(.f64 2 (sqrt.f64 (fma.f64 (.f64 z (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (*.f64 x (+.f64 y z)))))
	40.0b	(.f64 2 (sqrt.f64 (.f64 z (+.f64 y x))))
	40.9b	(.f64 2 (sqrt.f64 (.f64 (+.f64 y z) x)))
	63.3b	(.f64 2 (+.f64 (sqrt.f64 (.f64 z x)) (.f64 y (.f64 1/2 (+.f64 (sqrt.f64 (/.f64 z x)) (sqrt.f64 (/.f64 x z)))))))
▶	19.5b	(.f64 2 (sqrt.f64 (fma.f64 (cbrt.f64 (.f64 x (+.f64 y z))) (pow.f64 (cbrt.f64 (.f64 x (+.f64 y z))) 2) (.f64 y z))))
	49.8b	(.f64 2 (/.f64 (sqrt.f64 (-.f64 (pow.f64 (.f64 x (+.f64 y z)) 2) (pow.f64 (.f64 y z) 2))) (sqrt.f64 (-.f64 (.f64 x (+.f64 y z)) (*.f64 y z)))))
	19.7b	(.f64 2 (.f64 (cbrt.f64 (fma.f64 x y (.f64 z (+.f64 x y)))) (cbrt.f64 (sqrt.f64 (fma.f64 x y (.f64 z (+.f64 x y)))))))

Compiler

Compiled 5351 to 2289 computations (57.2% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) 2)
✓	0.7b	(fma.f64 (cbrt.f64 (.f64 x (+.f64 y z))) (pow.f64 (cbrt.f64 (.f64 x (+.f64 y z))) 2) (*.f64 y z))
✓	14.0b	(cbrt.f64 (*.f64 x (+.f64 y z)))
✓	18.2b	(sqrt.f64 (fma.f64 (cbrt.f64 (.f64 x (+.f64 y z))) (pow.f64 (cbrt.f64 (.f64 x (+.f64 y z))) 2) (*.f64 y z)))

series731.0ms (10.5%)

Counts

4 → 42

Calls

36 calls:

283.0ms	(fma.f64 (cbrt.f64 (.f64 x (+.f64 y z))) (pow.f64 (cbrt.f64 (.f64 x (+.f64 y z))) 2) (*.f64 y z))	y	0
254.0ms	(fma.f64 (cbrt.f64 (.f64 x (+.f64 y z))) (pow.f64 (cbrt.f64 (.f64 x (+.f64 y z))) 2) (*.f64 y z))	z	0
27.0ms	(sqrt.f64 (fma.f64 (cbrt.f64 (.f64 x (+.f64 y z))) (pow.f64 (cbrt.f64 (.f64 x (+.f64 y z))) 2) (*.f64 y z)))	x	-inf
21.0ms	(pow.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) 2)	x	-inf
18.0ms	(pow.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) 2)	z	0

rewrite60.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

581×	`log-prod_binary64`
382×	`fma-def_binary64`
211×	`expm1-udef_binary64`
211×	`log1p-udef_binary64`
194×	`log-pow_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	77
1	256	49
2	3293	45

Stop Event

1×	node limit

Counts

4 → 119

simplify52.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

649×	`cancel-sign-sub-inv_binary64`
274×	`unswap-sqr_binary64`
217×	`fma-def_binary64`
210×	`associate-r_binary64`
166×	`times-frac_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	237	1833
1	700	1797
2	2490	1767

Stop Event

1×	node limit

Counts

161 → 173

prune229.0ms (3.3%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	215	2	217
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	215	12	227

Error

18.8b

Counts

227 → 12

Alt Table

Status	Error	Program
	19.6b	(.f64 2 (sqrt.f64 (fma.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) z) (*.f64 x (+.f64 y z)))))
	41.0b	(.f64 2 (sqrt.f64 (.f64 y z)))
▶	19.5b	(.f64 2 (pow.f64 (pow.f64 (fma.f64 x y (.f64 z (+.f64 x y))) 1/4) 2))
	24.3b	(.f64 2 (sqrt.f64 (fma.f64 (cbrt.f64 (.f64 x (+.f64 y z))) (pow.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (.f64 x (+.f64 y z))))) 2) (.f64 y z))))
	19.6b	(.f64 2 (sqrt.f64 (fma.f64 (.f64 z (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (*.f64 x (+.f64 y z)))))
	40.0b	(.f64 2 (sqrt.f64 (.f64 z (+.f64 y x))))
	40.9b	(.f64 2 (sqrt.f64 (.f64 (+.f64 y z) x)))
	63.3b	(.f64 2 (+.f64 (sqrt.f64 (.f64 z x)) (.f64 y (.f64 1/2 (+.f64 (sqrt.f64 (/.f64 z x)) (sqrt.f64 (/.f64 x z)))))))
✓	19.5b	(.f64 2 (sqrt.f64 (fma.f64 (cbrt.f64 (.f64 x (+.f64 y z))) (pow.f64 (cbrt.f64 (.f64 x (+.f64 y z))) 2) (.f64 y z))))
	49.8b	(.f64 2 (/.f64 (sqrt.f64 (-.f64 (pow.f64 (.f64 x (+.f64 y z)) 2) (pow.f64 (.f64 y z) 2))) (sqrt.f64 (-.f64 (.f64 x (+.f64 y z)) (*.f64 y z)))))
	24.1b	(.f64 2 (sqrt.f64 (fma.f64 (cbrt.f64 (.f64 x (+.f64 y z))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (+.f64 y z)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 x (+.f64 y z))) 4))) (.f64 y z))))
	19.7b	(.f64 2 (.f64 (cbrt.f64 (fma.f64 x y (.f64 z (+.f64 x y)))) (cbrt.f64 (sqrt.f64 (fma.f64 x y (.f64 z (+.f64 x y)))))))

Compiler

Compiled 7080 to 3353 computations (52.6% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 z (+.f64 x y))
✓	0.5b	(pow.f64 (pow.f64 (fma.f64 x y (*.f64 z (+.f64 x y))) 1/4) 2)
✓	0.7b	(fma.f64 x y (*.f64 z (+.f64 x y)))
✓	18.5b	(pow.f64 (fma.f64 x y (*.f64 z (+.f64 x y))) 1/4)

series146.0ms (2.1%)

Counts

4 → 144

Calls

36 calls:

12.0ms	(pow.f64 (pow.f64 (fma.f64 x y (*.f64 z (+.f64 x y))) 1/4) 2)	y	-inf
10.0ms	(pow.f64 (pow.f64 (fma.f64 x y (*.f64 z (+.f64 x y))) 1/4) 2)	x	inf
10.0ms	(pow.f64 (fma.f64 x y (*.f64 z (+.f64 x y))) 1/4)	x	0
9.0ms	(pow.f64 (pow.f64 (fma.f64 x y (*.f64 z (+.f64 x y))) 1/4) 2)	z	-inf
8.0ms	(pow.f64 (pow.f64 (fma.f64 x y (*.f64 z (+.f64 x y))) 1/4) 2)	x	0

rewrite58.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

858×	`prod-diff_binary64`
198×	`log1p-udef_binary64`
116×	`log1p-expm1-u_binary64`
116×	`expm1-log1p-u_binary64`
114×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	46
1	246	45
2	3073	45

Stop Event

1×	node limit

Counts

4 → 98

simplify91.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

718×	`times-frac_binary64`
534×	`fma-def_binary64`
469×	`associate-/l*_binary64`
251×	`*-commutative_binary64`
132×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	622	6823
1	2122	6538

Stop Event

1×	node limit

Counts

242 → 246

prune241.0ms (3.5%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	243	3	246
Fresh	4	6	10
Picked	0	1	1
Done	0	1	1
Total	247	11	258

Error

2.0b

Counts

258 → 11

Alt Table

Status	Error	Program
✓	19.5b	(.f64 2 (pow.f64 (pow.f64 (fma.f64 x y (.f64 z (+.f64 x y))) 1/4) 2))
	24.3b	(.f64 2 (sqrt.f64 (fma.f64 (cbrt.f64 (.f64 x (+.f64 y z))) (pow.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (.f64 x (+.f64 y z))))) 2) (.f64 y z))))
	19.6b	(.f64 2 (sqrt.f64 (fma.f64 (.f64 z (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (*.f64 x (+.f64 y z)))))
	37.0b	(*.f64 2 (pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 (+.f64 z x)) (log.f64 y))) 2))
	24.1b	(.f64 2 (sqrt.f64 (fma.f64 (cbrt.f64 (.f64 x (+.f64 y z))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (+.f64 y z)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 x (+.f64 y z))) 4))) (.f64 y z))))
	19.7b	(.f64 2 (.f64 (cbrt.f64 (fma.f64 x y (.f64 z (+.f64 x y)))) (cbrt.f64 (sqrt.f64 (fma.f64 x y (.f64 z (+.f64 x y)))))))
	34.7b	(.f64 2 (pow.f64 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (neg.f64 (+.f64 y z))) (log.f64 (/.f64 -1 x))))) 2))
✓	19.5b	(.f64 2 (sqrt.f64 (fma.f64 (cbrt.f64 (.f64 x (+.f64 y z))) (pow.f64 (cbrt.f64 (.f64 x (+.f64 y z))) 2) (.f64 y z))))
▶	19.6b	(.f64 2 (sqrt.f64 (fma.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) z) (*.f64 x (+.f64 y z)))))
	35.1b	(.f64 2 (pow.f64 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (+.f64 y x)) (log.f64 (/.f64 1 z))))) 2))
	49.8b	(.f64 2 (/.f64 (sqrt.f64 (-.f64 (pow.f64 (.f64 x (+.f64 y z)) 2) (pow.f64 (.f64 y z) 2))) (sqrt.f64 (-.f64 (.f64 x (+.f64 y z)) (*.f64 y z)))))

Compiler

Compiled 11000 to 6299 computations (42.7% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 y) 2)
✓	0.6b	(cbrt.f64 y)
✓	1.5b	(fma.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) z) (.f64 x (+.f64 y z)))
✓	18.2b	(sqrt.f64 (fma.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) z) (.f64 x (+.f64 y z))))

series275.0ms (4%)

Counts

4 → 42

Calls

24 calls:

34.0ms	(sqrt.f64 (fma.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) z) (.f64 x (+.f64 y z))))	z	-inf
30.0ms	(fma.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) z) (.f64 x (+.f64 y z)))	z	0
21.0ms	(fma.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) z) (.f64 x (+.f64 y z)))	x	-inf
20.0ms	(sqrt.f64 (fma.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) z) (.f64 x (+.f64 y z))))	x	inf
20.0ms	(sqrt.f64 (fma.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) z) (.f64 x (+.f64 y z))))	x	-inf

rewrite74.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

584×	`log-prod_binary64`
328×	`fma-def_binary64`
213×	`expm1-udef_binary64`
213×	`log1p-udef_binary64`
195×	`log-pow_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	53
1	256	37
2	3318	33

Stop Event

1×	node limit

Counts

4 → 114

simplify41.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

922×	`fma-def_binary64`
462×	`associate-l_binary64`
436×	`cancel-sign-sub-inv_binary64`
410×	`associate-r_binary64`
382×	`associate--l+_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	153	962
1	419	926
2	1459	876

Stop Event

1×	node limit

Counts

156 → 149

prune122.0ms (1.8%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	173	2	175
Fresh	2	6	8
Picked	1	0	1
Done	0	2	2
Total	176	10	186

Error

1.6b

Counts

186 → 10

Alt Table

Status	Error	Program
✓	19.5b	(.f64 2 (sqrt.f64 (fma.f64 (cbrt.f64 (.f64 x (+.f64 y z))) (pow.f64 (cbrt.f64 (.f64 x (+.f64 y z))) 2) (.f64 y z))))
	20.1b	(.f64 2 (sqrt.f64 (fma.f64 (sqrt.f64 (.f64 y (cbrt.f64 y))) (.f64 (cbrt.f64 y) z) (.f64 x (+.f64 y z)))))
✓	19.5b	(.f64 2 (pow.f64 (pow.f64 (fma.f64 x y (.f64 z (+.f64 x y))) 1/4) 2))
	24.3b	(.f64 2 (sqrt.f64 (fma.f64 (cbrt.f64 (.f64 x (+.f64 y z))) (pow.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (.f64 x (+.f64 y z))))) 2) (.f64 y z))))
	19.7b	(.f64 2 (.f64 (cbrt.f64 (fma.f64 x y (.f64 z (+.f64 x y)))) (cbrt.f64 (sqrt.f64 (fma.f64 x y (.f64 z (+.f64 x y)))))))
	34.7b	(.f64 2 (pow.f64 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (neg.f64 (+.f64 y z))) (log.f64 (/.f64 -1 x))))) 2))
	48.0b	(.f64 2 (hypot.f64 (sqrt.f64 (.f64 x (+.f64 y z))) (*.f64 (sqrt.f64 y) (sqrt.f64 z))))
	35.1b	(.f64 2 (pow.f64 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (+.f64 y x)) (log.f64 (/.f64 1 z))))) 2))
	49.8b	(.f64 2 (/.f64 (sqrt.f64 (-.f64 (pow.f64 (.f64 x (+.f64 y z)) 2) (pow.f64 (.f64 y z) 2))) (sqrt.f64 (-.f64 (.f64 x (+.f64 y z)) (*.f64 y z)))))
	24.1b	(.f64 2 (sqrt.f64 (fma.f64 (cbrt.f64 (.f64 x (+.f64 y z))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (+.f64 y z)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 x (+.f64 y z))) 4))) (.f64 y z))))

Compiler

Compiled 4020 to 1786 computations (55.6% saved)

regimes1.8s (25.7%)

Accuracy

Total 3.4b remaining (65.9%)

Threshold costs 0b (0%)

Counts

153 → 3

Compiler

Compiled 16502 to 11096 computations (32.8% saved)

bsearch102.0ms (1.5%)

Algorithm

2×	binary-search

Calls

2 calls:

52.0ms	y
45.0ms	y

Steps

Iters	Point		Range
2.100732418777179e+49	∈ [	3.3292460650029266e+42	,	2.1265650426550467e+49	]
-4.744740362103413e+58	∈ [	-4.796175996337362e+58	,	-3.485877158302761e+55	]

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

13×	`*-commutative_binary64`
10×	`+-commutative_binary64`
7×	`sub-neg_binary64`
5×	`neg-sub0_binary64`
5×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	82
1	63	82
2	77	82
3	87	82
4	91	82

Stop Event

1×

saturated

end583.0ms (8.4%)

Stop Event

1×

fuel

Compiler

Compiled 458 to 317 computations (30.8% saved)

Details

analyze615.0ms (8.9%)

sample1.2s (17.3%)

preprocess25.0ms (0.4%)

simplify16.0ms (0.2%)

prune3.0ms (0%)

localize9.0ms (0.1%)

series136.0ms (2%)

rewrite62.0ms (0.9%)

simplify42.0ms (0.6%)

prune216.0ms (3.1%)

localize10.0ms (0.1%)

series731.0ms (10.5%)

rewrite60.0ms (0.9%)

simplify52.0ms (0.7%)

prune229.0ms (3.3%)

localize10.0ms (0.1%)

series146.0ms (2.1%)

rewrite58.0ms (0.8%)

simplify91.0ms (1.3%)

prune241.0ms (3.5%)

localize10.0ms (0.1%)

series275.0ms (4%)

rewrite74.0ms (1.1%)

simplify41.0ms (0.6%)

prune122.0ms (1.8%)

regimes1.8s (25.7%)

bsearch102.0ms (1.5%)

simplify5.0ms (0.1%)

end583.0ms (8.4%)

Profiling