Details

analyze1.2s (16.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
37.5%	62.5%	0%	4
43.7%	56.2%	0%	5
46.9%	53.1%	0%	6
48.4%	51.5%	0%	7
49.2%	50.8%	0%	8
49.6%	50.4%	0%	9
49.8%	50.2%	0%	10
49.9%	50.1%	0%	11
49.9%	50%	0%	12
50%	50%	0%	13
50%	49.9%	0%	14

Compiler

Compiled 18 to 15 computations (16.7% saved)

sample3.7s (51.8%)

Results

2.0s	2067×	body	1024	valid
891.0ms	4587×	body	128	valid
523.0ms	1043×	body	512	valid
208.0ms	550×	body	256	valid
22.0ms	9×	body	2048	valid

Compiler

Compiled 36 to 30 computations (16.7% saved)

preprocess21.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

10×	`*-commutative_binary64`
9×	`associate-/l*_binary64`
9×	`associate-/r/_binary64`
4×	`associate-r_binary64`
4×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	22
1	20	22
2	31	22
3	44	22
4	52	22
5	61	22
0	1	1

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 17 to 14 computations (17.6% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64`
9×	`associate-/l*_binary64`
9×	`associate-/r/_binary64`
4×	`associate-r_binary64`
4×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	22
1	20	22
2	31	22
3	44	22
4	52	22
5	61	22

Stop Event

1×

saturated

Counts

1 → 2

prune4.0ms (0.1%)

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

0.4b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.5b	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))))
	15.3b	(/.f64 (.f64 (.f64 (/.f64 8 3) (sin.f64 (.f64 x 1/2))) (sin.f64 (.f64 x 1/2))) (sin.f64 x))

Compiler

Compiled 95 to 76 computations (20% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(sin.f64 (*.f64 x 1/2))
✓	0.3b	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))))
✓	0.4b	(/.f64 8/3 (sin.f64 x))
✓	0.4b	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x)))

series26.0ms (0.4%)

Counts

4 → 40

Calls

12 calls:

6.0ms	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))))	x	inf
5.0ms	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))))	x	-inf
3.0ms	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x)))	x	-inf
3.0ms	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x)))	x	inf
2.0ms	(/.f64 8/3 (sin.f64 x))	x	-inf

rewrite50.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

499×	`log-prod_binary64`
261×	`pow2_binary64`
185×	`pow1/3_binary64`
184×	`expm1-udef_binary64`
184×	`log1p-udef_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	48
1	209	43
2	2517	43

Stop Event

1×	node limit

Counts

4 → 104

simplify40.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

749×	`fma-neg_binary64`
592×	`associate-l_binary64`
517×	`unswap-sqr_binary64`
438×	`associate-r_binary64`
281×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	73	525
1	181	515
2	465	507
3	1440	507
4	3792	507

Stop Event

1×	node limit

Counts

144 → 140

prune168.0ms (2.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	161	11	172
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	163	11	174

Error

0.0b

Counts

174 → 11

Alt Table

Status	Error	Program
	15.4b	(+.f64 0 (.f64 (/.f64 8/3 (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x 1/2)) 2)))
▶	0.5b	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 1 (/.f64 (sin.f64 x) (.f64 (sin.f64 (.f64 x 1/2)) 8/3))))
	17.1b	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 (.f64 x 1/2)) (*.f64 (cbrt.f64 (/.f64 8/3 (sin.f64 x))) (cbrt.f64 (/.f64 64/9 (pow.f64 (sin.f64 x) 2))))))
	1.1b	(.f64 (sin.f64 (.f64 x 1/2)) (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x)))) 3))
	15.6b	(.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 x 1/2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2))) (.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))))
	15.3b	(/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (.f64 (sin.f64 x) 3/8))
	40.7b	(-.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 8/3 (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x 1/2)) 2)))) 1)
	19.7b	(cbrt.f64 (.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 3) (pow.f64 (.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))) 3)))
	31.1b	(pow.f64 (.f64 (sin.f64 (.f64 x 1/2)) (sqrt.f64 (/.f64 8/3 (sin.f64 x)))) 2)
	16.0b	(pow.f64 (cbrt.f64 (.f64 (/.f64 8/3 (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x 1/2)) 2))) 3)
	15.3b	(/.f64 (.f64 (.f64 (sin.f64 (.f64 x 1/2)) 8/3) (sin.f64 (.f64 x 1/2))) (sin.f64 x))

Compiler

Compiled 3417 to 2634 computations (22.9% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 1 (/.f64 (sin.f64 x) (.f64 (sin.f64 (.f64 x 1/2)) 8/3)))
✓	0.2b	(/.f64 (sin.f64 x) (.f64 (sin.f64 (.f64 x 1/2)) 8/3))
✓	0.3b	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 1 (/.f64 (sin.f64 x) (.f64 (sin.f64 (.f64 x 1/2)) 8/3))))
✓	0.3b	(.f64 (sin.f64 (.f64 x 1/2)) 8/3)

series39.0ms (0.5%)

Counts

4 → 48

Calls

12 calls:

8.0ms	(/.f64 1 (/.f64 (sin.f64 x) (.f64 (sin.f64 (.f64 x 1/2)) 8/3)))	x	-inf
6.0ms	(.f64 (sin.f64 (.f64 x 1/2)) 8/3)	x	-inf
5.0ms	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 1 (/.f64 (sin.f64 x) (.f64 (sin.f64 (.f64 x 1/2)) 8/3))))	x	inf
5.0ms	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 1 (/.f64 (sin.f64 x) (.f64 (sin.f64 (.f64 x 1/2)) 8/3))))	x	-inf
3.0ms	(/.f64 (sin.f64 x) (.f64 (sin.f64 (.f64 x 1/2)) 8/3))	x	-inf

rewrite72.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

627×	`log-prod_binary64`
211×	`expm1-udef_binary64`
211×	`log1p-udef_binary64`
186×	`log-pow_binary64`
182×	`prod-diff_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	62
1	251	59
2	3202	59

Stop Event

1×	node limit

Counts

4 → 140

simplify108.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

443×	`cancel-sign-sub-inv_binary64`
433×	`distribute-rgt-neg-in_binary64`
276×	`unswap-sqr_binary64`
266×	`fma-neg_binary64`
263×	`*-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	74	658
1	190	650
2	486	642
3	1602	642
4	3766	642

Stop Event

1×	node limit

Counts

188 → 176

prune172.0ms (2.4%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	170	6	176
Fresh	5	5	10
Picked	0	1	1
Done	0	0	0
Total	175	12	187

Error

Counts

187 → 12

Alt Table

Status	Error	Program
	1.4b	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 1 (/.f64 (sin.f64 x) (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 x 1/2)) 8/3)) 3))))
✓	0.5b	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 1 (/.f64 (sin.f64 x) (.f64 (sin.f64 (.f64 x 1/2)) 8/3))))
	16.7b	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (cbrt.f64 (pow.f64 (sin.f64 x) 2))) (/.f64 8/3 (cbrt.f64 (sin.f64 x)))))
	11.7b	(expm1.f64 (log1p.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 x) (/.f64 3/8 (sin.f64 (*.f64 x 1/2)))))))
	19.7b	(cbrt.f64 (.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 3) (pow.f64 (.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))) 3)))
	0.9b	(log1p.f64 (expm1.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 x) (/.f64 3/8 (sin.f64 (*.f64 x 1/2)))))))
	15.6b	(.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 x 1/2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2))) (.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))))
▶	0.3b	(/.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 x) (/.f64 3/8 (sin.f64 (*.f64 x 1/2)))))
	40.7b	(-.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 8/3 (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x 1/2)) 2)))) 1)
	31.1b	(pow.f64 (.f64 (sin.f64 (.f64 x 1/2)) (sqrt.f64 (/.f64 8/3 (sin.f64 x)))) 2)
	0.5b	(/.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)) (/.f64 3/8 (sin.f64 (.f64 x 1/2))))
	15.3b	(/.f64 (.f64 (.f64 (sin.f64 (.f64 x 1/2)) 8/3) (sin.f64 (.f64 x 1/2))) (sin.f64 x))

Compiler

Compiled 3922 to 3012 computations (23.2% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(sin.f64 (*.f64 x 1/2))
✓	0.1b	(/.f64 3/8 (sin.f64 (*.f64 x 1/2)))
✓	0.2b	(/.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 x) (/.f64 3/8 (sin.f64 (*.f64 x 1/2)))))
✓	0.2b	(.f64 (sin.f64 x) (/.f64 3/8 (sin.f64 (.f64 x 1/2))))

series24.0ms (0.3%)

Counts

3 → 36

Calls

9 calls:

5.0ms	(/.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 x) (/.f64 3/8 (sin.f64 (*.f64 x 1/2)))))	x	-inf
5.0ms	(/.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 x) (/.f64 3/8 (sin.f64 (*.f64 x 1/2)))))	x	inf
3.0ms	(.f64 (sin.f64 x) (/.f64 3/8 (sin.f64 (.f64 x 1/2))))	x	-inf
3.0ms	(.f64 (sin.f64 x) (/.f64 3/8 (sin.f64 (.f64 x 1/2))))	x	inf
2.0ms	(/.f64 3/8 (sin.f64 (*.f64 x 1/2)))	x	-inf

rewrite55.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

542×	`log-prod_binary64`
192×	`expm1-udef_binary64`
192×	`log1p-udef_binary64`
182×	`prod-diff_binary64`
166×	`log-pow_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	45
1	215	43
2	2797	43

Stop Event

1×	node limit

Counts

3 → 99

simplify41.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

647×	`fma-def_binary64`
542×	`associate-l_binary64`
517×	`unswap-sqr_binary64`
458×	`associate-r_binary64`
265×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	64	485
1	155	483
2	377	475
3	1167	473
4	4383	473

Stop Event

1×	node limit

Counts

135 → 127

prune202.0ms (2.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	189	2	191
Fresh	2	8	10
Picked	1	0	1
Done	0	1	1
Total	192	11	203

Error

Counts

203 → 11

Alt Table

Status	Error	Program
	40.7b	(-.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 8/3 (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x 1/2)) 2)))) 1)
▶	0.4b	(/.f64 (sin.f64 (.f64 x 1/2)) (cbrt.f64 (pow.f64 (/.f64 (sin.f64 x) (.f64 (sin.f64 (*.f64 x 1/2)) 8/3)) 3)))
	1.4b	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 1 (/.f64 (sin.f64 x) (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 x 1/2)) 8/3)) 3))))
✓	0.5b	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 1 (/.f64 (sin.f64 x) (.f64 (sin.f64 (.f64 x 1/2)) 8/3))))
	16.7b	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (cbrt.f64 (pow.f64 (sin.f64 x) 2))) (/.f64 8/3 (cbrt.f64 (sin.f64 x)))))
	0.9b	(log1p.f64 (expm1.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 x) (/.f64 3/8 (sin.f64 (*.f64 x 1/2)))))))
	15.4b	(.f64 (/.f64 1 (sin.f64 x)) (/.f64 (sin.f64 (.f64 x 1/2)) (/.f64 3/8 (sin.f64 (*.f64 x 1/2)))))
	31.1b	(pow.f64 (.f64 (sin.f64 (.f64 x 1/2)) (sqrt.f64 (/.f64 8/3 (sin.f64 x)))) 2)
	0.5b	(/.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)) (/.f64 3/8 (sin.f64 (.f64 x 1/2))))
	15.3b	(/.f64 (.f64 (.f64 (sin.f64 (.f64 x 1/2)) 8/3) (sin.f64 (.f64 x 1/2))) (sin.f64 x))
	15.6b	(.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 x 1/2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2))) (.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))))

Compiler

Compiled 3941 to 3039 computations (22.9% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(/.f64 (sin.f64 x) (.f64 (sin.f64 (.f64 x 1/2)) 8/3))
	0.3b	(.f64 (sin.f64 (.f64 x 1/2)) 8/3)
✓	0.3b	(cbrt.f64 (pow.f64 (/.f64 (sin.f64 x) (.f64 (sin.f64 (.f64 x 1/2)) 8/3)) 3))
✓	0.4b	(pow.f64 (/.f64 (sin.f64 x) (.f64 (sin.f64 (.f64 x 1/2)) 8/3)) 3)

series25.0ms (0.4%)

Counts

2 → 24

Calls

6 calls:

7.0ms	(pow.f64 (/.f64 (sin.f64 x) (.f64 (sin.f64 (.f64 x 1/2)) 8/3)) 3)	x	inf
7.0ms	(pow.f64 (/.f64 (sin.f64 x) (.f64 (sin.f64 (.f64 x 1/2)) 8/3)) 3)	x	-inf
5.0ms	(cbrt.f64 (pow.f64 (/.f64 (sin.f64 x) (.f64 (sin.f64 (.f64 x 1/2)) 8/3)) 3))	x	inf
3.0ms	(cbrt.f64 (pow.f64 (/.f64 (sin.f64 x) (.f64 (sin.f64 (.f64 x 1/2)) 8/3)) 3))	x	-inf
1.0ms	(pow.f64 (/.f64 (sin.f64 x) (.f64 (sin.f64 (.f64 x 1/2)) 8/3)) 3)	x	0

rewrite57.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

541×	`log-prod_binary64`
197×	`expm1-udef_binary64`
197×	`log1p-udef_binary64`
173×	`prod-diff_binary64`
171×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	31
1	250	31
2	2909	31

Stop Event

1×	node limit

Counts

2 → 102

simplify28.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

447×	`associate-l_binary64`
408×	`fma-def_binary64`
407×	`associate-r_binary64`
318×	`cancel-sign-sub-inv_binary64`
264×	`associate-/l*_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	45	376
1	118	376
2	326	368
3	1176	340

Stop Event

1×	node limit

Counts

126 → 119

prune202.0ms (2.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	194	1	195
Fresh	1	8	9
Picked	1	0	1
Done	0	1	1
Total	196	10	206

Error

Counts

206 → 10

Alt Table

Status	Error	Program
	0.5b	(/.f64 (sin.f64 (.f64 x 1/2)) (cbrt.f64 (pow.f64 (.f64 3/8 (/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2)))) 3)))
	0.9b	(log1p.f64 (expm1.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 x) (/.f64 3/8 (sin.f64 (*.f64 x 1/2)))))))
	40.7b	(-.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 8/3 (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x 1/2)) 2)))) 1)
✓	0.5b	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 1 (/.f64 (sin.f64 x) (.f64 (sin.f64 (.f64 x 1/2)) 8/3))))
	16.7b	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (cbrt.f64 (pow.f64 (sin.f64 x) 2))) (/.f64 8/3 (cbrt.f64 (sin.f64 x)))))
	15.4b	(.f64 (/.f64 1 (sin.f64 x)) (/.f64 (sin.f64 (.f64 x 1/2)) (/.f64 3/8 (sin.f64 (*.f64 x 1/2)))))
	31.1b	(pow.f64 (.f64 (sin.f64 (.f64 x 1/2)) (sqrt.f64 (/.f64 8/3 (sin.f64 x)))) 2)
	0.5b	(/.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)) (/.f64 3/8 (sin.f64 (.f64 x 1/2))))
	15.3b	(/.f64 (.f64 (.f64 (sin.f64 (.f64 x 1/2)) 8/3) (sin.f64 (.f64 x 1/2))) (sin.f64 x))
	15.6b	(.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 x 1/2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2))) (.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))))

Compiler

Compiled 4423 to 3377 computations (23.6% saved)

regimes693.0ms (9.7%)

Accuracy

Total 0.3b remaining (90%)

Threshold costs 0.3b (90%)

Counts

290 → 1

Compiler

Compiled 9886 to 8182 computations (17.2% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	25
1	14	25

Stop Event

1×

saturated

end159.0ms (2.2%)

Stop Event

1×

fuel

Compiler

Compiled 208 to 171 computations (17.8% saved)

Details

analyze1.2s (16.9%)

sample3.7s (51.8%)

preprocess21.0ms (0.3%)

simplify9.0ms (0.1%)

prune4.0ms (0.1%)

localize7.0ms (0.1%)

series26.0ms (0.4%)

rewrite50.0ms (0.7%)

simplify40.0ms (0.6%)

prune168.0ms (2.4%)

localize9.0ms (0.1%)

series39.0ms (0.5%)

rewrite72.0ms (1%)

simplify108.0ms (1.5%)

prune172.0ms (2.4%)

localize9.0ms (0.1%)

series24.0ms (0.3%)

rewrite55.0ms (0.8%)

simplify41.0ms (0.6%)

prune202.0ms (2.8%)

localize12.0ms (0.2%)

series25.0ms (0.4%)

rewrite57.0ms (0.8%)

simplify28.0ms (0.4%)

prune202.0ms (2.8%)

regimes693.0ms (9.7%)

simplify2.0ms (0%)

end159.0ms (2.2%)

Profiling