Details

analyze1.6s (19.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
9.4%	90.4%	0.2%	11
9.4%	90.4%	0.2%	12
10.1%	89.6%	0.2%	13
20.8%	78.9%	0.2%	14

Compiler

Compiled 19 to 14 computations (26.3% saved)

sample1.8s (22%)

Symmetry

(sort x y)

(sort z t)

Results

1.2s	8256×	body	128	valid
471.0ms	3378×	body	128	invalid

Compiler

Compiled 56 to 41 computations (26.8% saved)

simplify209.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

2966×	`fma-def_binary64`
757×	`fma-neg_binary64`
541×	`cancel-sign-sub-inv_binary64`
473×	`associate-/l/_binary64`
472×	`times-frac_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	19
1	31	17
2	103	17
3	318	17
4	794	17
5	1526	17
6	2054	17
7	2281	17
8	2975	17
9	3540	17
10	3954	17
11	4158	17
12	4097	17
13	4108	17
14	4118	17
15	4462	17
16	4531	17
17	4536	17
18	4536	17
19	6474	17

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

8.1b

Counts

3 → 2

Alt Table

Status	Error	Program
	8.3b	(.f64 (fma.f64 -9 (.f64 z t) (*.f64 x y)) (/.f64 1/2 a))
▶	8.2b	(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z 9) t)) (.f64 a 2))

Compiler

Compiled 100 to 69 computations (31% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 x y) (.f64 (*.f64 z 9) t))
✓	0.2b	(.f64 (.f64 z 9) t)
✓	7.8b	(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z 9) t)) (.f64 a 2))

series106.0ms (1.3%)

Counts

3 → 132

Calls

3 calls:

87.0ms	(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z 9) t)) (.f64 a 2))
13.0ms	(-.f64 (.f64 x y) (.f64 (*.f64 z 9) t))
5.0ms	(.f64 (.f64 z 9) t)

rewrite16.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-cbrt-cube_binary64`
13×	`add-exp-log_binary64`
8×	`pow1_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-sqr-sqrt_binary64`

Counts

3 → 62

Calls

3 calls:

5.0ms	(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z 9) t)) (.f64 a 2))
5.0ms	(.f64 (.f64 z 9) t)
3.0ms	(-.f64 (.f64 x y) (.f64 (*.f64 z 9) t))

simplify101.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

470×	`fma-def_binary64`
445×	`*-commutative_binary64`
325×	`div-sub_binary64`
307×	`associate-/l*_binary64`
287×	`fma-neg_binary64`

Counts

194 → 115

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	148	2790
1	396	2561
2	1506	2551
3	4128	2551
4	5247	2551

prune125.0ms (1.6%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	103	12	115
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	104	13	117

Error

7.8b

Counts

117 → 13

Alt Table

Status	Error	Program
	31.1b	(/.f64 (/.f64 (fma.f64 t (.f64 t (.f64 (.f64 z z) -81)) (.f64 (.f64 y x) (.f64 y x))) (fma.f64 t (.f64 z 9) (.f64 y x))) (*.f64 a 2))
	9.0b	(.f64 (.f64 (cbrt.f64 (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) (.f64 a 2))) (cbrt.f64 (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) (.f64 a 2)))) (cbrt.f64 (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) (*.f64 a 2))))
	36.4b	(.f64 (/.f64 (sqrt.f64 (fma.f64 t (.f64 z -9) (.f64 y x))) a) (/.f64 (sqrt.f64 (fma.f64 t (.f64 z -9) (*.f64 y x))) 2))
	8.3b	(.f64 (fma.f64 -9 (.f64 z t) (*.f64 x y)) (/.f64 1/2 a))
▶	8.2b	(/.f64 (-.f64 (.f64 x y) (.f64 z (.f64 9 t))) (.f64 a 2))
	51.4b	(cbrt.f64 (/.f64 (.f64 (.f64 (-.f64 (.f64 x y) (.f64 (.f64 z 9) t)) (-.f64 (.f64 x y) (.f64 (.f64 z 9) t))) (-.f64 (.f64 x y) (.f64 (.f64 z 9) t))) (.f64 (.f64 (.f64 a 2) (.f64 a 2)) (.f64 a 2))))
	8.6b	(/.f64 1 (/.f64 a (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) 2)))
	9.1b	(/.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x y) (.f64 (.f64 z 9) t))) (cbrt.f64 (-.f64 (.f64 x y) (.f64 (.f64 z 9) t)))) (/.f64 a (/.f64 (cbrt.f64 (fma.f64 t (.f64 z -9) (*.f64 y x))) 2)))
	34.6b	(/.f64 (.f64 -9 (.f64 t z)) (*.f64 a 2))
	31.6b	(.f64 1/2 (/.f64 (.f64 y x) a))
	9.1b	(.f64 (/.f64 (.f64 (cbrt.f64 (fma.f64 t (.f64 z -9) (.f64 y x))) (cbrt.f64 (fma.f64 t (.f64 z -9) (.f64 y x)))) a) (/.f64 (cbrt.f64 (fma.f64 t (.f64 z -9) (.f64 y x))) 2))
	34.6b	(.f64 -9/2 (/.f64 (.f64 t z) a))
	33.5b	(.f64 (sqrt.f64 (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) (.f64 a 2))) (sqrt.f64 (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) (*.f64 a 2))))

Compiler

Compiled 2983 to 1723 computations (42.2% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 x y) (.f64 z (*.f64 9 t)))
✓	0.2b	(.f64 z (.f64 9 t))
✓	7.8b	(/.f64 (-.f64 (.f64 x y) (.f64 z (.f64 9 t))) (.f64 a 2))

series99.0ms (1.2%)

Counts

3 → 132

Calls

3 calls:

82.0ms	(/.f64 (-.f64 (.f64 x y) (.f64 z (.f64 9 t))) (.f64 a 2))
11.0ms	(-.f64 (.f64 x y) (.f64 z (*.f64 9 t)))
6.0ms	(.f64 z (.f64 9 t))

rewrite16.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-cbrt-cube_binary64`
13×	`add-exp-log_binary64`
8×	`pow1_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-sqr-sqrt_binary64`

Counts

3 → 62

Calls

3 calls:

7.0ms	(/.f64 (-.f64 (.f64 x y) (.f64 z (.f64 9 t))) (.f64 a 2))
4.0ms	(.f64 z (.f64 9 t))
3.0ms	(-.f64 (.f64 x y) (.f64 z (*.f64 9 t)))

simplify96.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

423×	`fma-def_binary64`
421×	`*-commutative_binary64`
320×	`div-sub_binary64`
286×	`associate-/l*_binary64`
251×	`fma-neg_binary64`

Counts

194 → 115

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	146	2786
1	388	2556
2	1391	2549
3	3885	2549
4	4952	2549

prune116.0ms (1.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	114	1	115
Fresh	1	11	12
Picked	0	1	1
Done	0	0	0
Total	115	13	128

Error

7.8b

Counts

128 → 13

Alt Table

Status	Error	Program
	31.1b	(/.f64 (/.f64 (fma.f64 t (.f64 t (.f64 (.f64 z z) -81)) (.f64 (.f64 y x) (.f64 y x))) (fma.f64 t (.f64 z 9) (.f64 y x))) (*.f64 a 2))
	9.0b	(.f64 (.f64 (cbrt.f64 (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) (.f64 a 2))) (cbrt.f64 (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) (.f64 a 2)))) (cbrt.f64 (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) (*.f64 a 2))))
	36.4b	(.f64 (/.f64 (sqrt.f64 (fma.f64 t (.f64 z -9) (.f64 y x))) a) (/.f64 (sqrt.f64 (fma.f64 t (.f64 z -9) (*.f64 y x))) 2))
▶	8.3b	(.f64 (fma.f64 -9 (.f64 z t) (*.f64 x y)) (/.f64 1/2 a))
✓	8.2b	(/.f64 (-.f64 (.f64 x y) (.f64 z (.f64 9 t))) (.f64 a 2))
	51.4b	(cbrt.f64 (/.f64 (.f64 (.f64 (-.f64 (.f64 x y) (.f64 (.f64 z 9) t)) (-.f64 (.f64 x y) (.f64 (.f64 z 9) t))) (-.f64 (.f64 x y) (.f64 (.f64 z 9) t))) (.f64 (.f64 (.f64 a 2) (.f64 a 2)) (.f64 a 2))))
	8.6b	(/.f64 1 (/.f64 (.f64 a 2) (-.f64 (.f64 x y) (.f64 z (.f64 9 t)))))
	9.1b	(/.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x y) (.f64 (.f64 z 9) t))) (cbrt.f64 (-.f64 (.f64 x y) (.f64 (.f64 z 9) t)))) (/.f64 a (/.f64 (cbrt.f64 (fma.f64 t (.f64 z -9) (*.f64 y x))) 2)))
	34.6b	(/.f64 (.f64 -9 (.f64 t z)) (*.f64 a 2))
	31.6b	(.f64 1/2 (/.f64 (.f64 y x) a))
	9.1b	(.f64 (/.f64 (.f64 (cbrt.f64 (fma.f64 t (.f64 z -9) (.f64 y x))) (cbrt.f64 (fma.f64 t (.f64 z -9) (.f64 y x)))) a) (/.f64 (cbrt.f64 (fma.f64 t (.f64 z -9) (.f64 y x))) 2))
	34.6b	(.f64 -9/2 (/.f64 (.f64 t z) a))
	33.5b	(.f64 (sqrt.f64 (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) (.f64 a 2))) (sqrt.f64 (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) (*.f64 a 2))))

Compiler

Compiled 2978 to 1713 computations (42.5% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 -9 (.f64 z t) (.f64 x y))
✓	7.8b	(.f64 (fma.f64 -9 (.f64 z t) (*.f64 x y)) (/.f64 1/2 a))

series59.0ms (0.7%)

Counts

2 → 108

Calls

2 calls:

46.0ms	(.f64 (fma.f64 -9 (.f64 z t) (*.f64 x y)) (/.f64 1/2 a))
13.0ms	(fma.f64 -9 (.f64 z t) (.f64 x y))

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64`
13×	`associate-r_binary64`
10×	`times-frac_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-cube-cbrt_binary64`

Counts

2 → 44

Calls

2 calls:

5.0ms	(.f64 (fma.f64 -9 (.f64 z t) (*.f64 x y)) (/.f64 1/2 a))
0.0ms	(fma.f64 -9 (.f64 z t) (.f64 x y))

simplify109.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

937×	`fma-def_binary64`
487×	`associate-l_binary64`
418×	`associate-r_binary64`
225×	`associate-*r/_binary64`
211×	`associate-*l/_binary64`

Counts

152 → 88

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	108	2547
1	248	2243
2	812	2243
3	3206	2242
4	4937	2242
5	5019	2242

prune95.0ms (1.2%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	85	3	88
Fresh	3	8	11
Picked	0	1	1
Done	0	1	1
Total	88	13	101

Error

7.8b

Counts

101 → 13

Alt Table

Status	Error	Program
	9.0b	(.f64 (.f64 (cbrt.f64 (fma.f64 -9 (.f64 z t) (.f64 x y))) (cbrt.f64 (fma.f64 -9 (.f64 z t) (.f64 x y)))) (.f64 (cbrt.f64 (fma.f64 -9 (.f64 z t) (*.f64 x y))) (/.f64 1/2 a)))
✓	8.2b	(/.f64 (-.f64 (.f64 x y) (.f64 z (.f64 9 t))) (.f64 a 2))
	31.1b	(/.f64 (/.f64 (fma.f64 t (.f64 t (.f64 (.f64 z z) -81)) (.f64 (.f64 y x) (.f64 y x))) (fma.f64 t (.f64 z 9) (.f64 y x))) (*.f64 a 2))
	9.0b	(.f64 (.f64 (cbrt.f64 (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) (.f64 a 2))) (cbrt.f64 (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) (.f64 a 2)))) (cbrt.f64 (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) (*.f64 a 2))))
	51.4b	(cbrt.f64 (.f64 (.f64 (.f64 (fma.f64 -9 (.f64 z t) (.f64 x y)) (fma.f64 -9 (.f64 z t) (.f64 x y))) (fma.f64 -9 (.f64 z t) (.f64 x y))) (/.f64 (.f64 (.f64 1/2 1/2) 1/2) (.f64 (*.f64 a a) a))))
	36.4b	(.f64 (/.f64 (sqrt.f64 (fma.f64 t (.f64 z -9) (.f64 y x))) a) (/.f64 (sqrt.f64 (fma.f64 t (.f64 z -9) (*.f64 y x))) 2))
✓	8.3b	(.f64 (fma.f64 -9 (.f64 z t) (*.f64 x y)) (/.f64 1/2 a))
	33.5b	(.f64 (sqrt.f64 (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) (.f64 a 2))) (sqrt.f64 (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) (*.f64 a 2))))
	9.0b	(.f64 (/.f64 (fma.f64 y x (.f64 (.f64 t z) -9)) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 1/2 (cbrt.f64 a)))
▶	8.6b	(/.f64 1 (/.f64 (.f64 a 2) (-.f64 (.f64 x y) (.f64 z (.f64 9 t)))))
	34.6b	(/.f64 (.f64 -9 (.f64 t z)) (*.f64 a 2))
	31.6b	(.f64 1/2 (/.f64 (.f64 y x) a))
	34.6b	(.f64 -9/2 (/.f64 (.f64 t z) a))

Compiler

Compiled 2317 to 1257 computations (45.7% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(-.f64 (.f64 x y) (.f64 z (*.f64 9 t)))
	0.2b	(.f64 z (.f64 9 t))
✓	0.6b	(/.f64 1 (/.f64 (.f64 a 2) (-.f64 (.f64 x y) (.f64 z (.f64 9 t)))))
✓	7.7b	(/.f64 (.f64 a 2) (-.f64 (.f64 x y) (.f64 z (.f64 9 t))))

series172.0ms (2.2%)

Counts

2 → 120

Calls

2 calls:

130.0ms	(/.f64 (.f64 a 2) (-.f64 (.f64 x y) (.f64 z (.f64 9 t))))
42.0ms	(/.f64 1 (/.f64 (.f64 a 2) (-.f64 (.f64 x y) (.f64 z (.f64 9 t)))))

rewrite20.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`times-frac_binary64`
28×	`add-exp-log_binary64`
22×	`*-un-lft-identity_binary64`
22×	`add-sqr-sqrt_binary64`
22×	`add-cube-cbrt_binary64`

Counts

2 → 91

Calls

2 calls:

7.0ms	(/.f64 1 (/.f64 (.f64 a 2) (-.f64 (.f64 x y) (.f64 z (.f64 9 t)))))
5.0ms	(/.f64 (.f64 a 2) (-.f64 (.f64 x y) (.f64 z (.f64 9 t))))

simplify158.0ms (2%)

Algorithm

1×	egg-herbie

Rules

668×	`fma-def_binary64`
315×	`times-frac_binary64`
210×	`associate-/l*_binary64`
204×	`associate-r_binary64`
204×	`distribute-rgt-neg-in_binary64`

Counts

211 → 167

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	230	6426
1	696	5704
2	3021	5596
3	4663	5596
4	5024	5596

prune277.0ms (3.5%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	225	5	230
Fresh	2	8	10
Picked	1	0	1
Done	0	2	2
Total	228	15	243

Error

7.8b

Counts

243 → 15

Alt Table

Status	Error	Program
	31.8b	(/.f64 1 (.f64 2 (/.f64 a (.f64 y x))))
	9.0b	(.f64 (.f64 (cbrt.f64 (fma.f64 -9 (.f64 z t) (.f64 x y))) (cbrt.f64 (fma.f64 -9 (.f64 z t) (.f64 x y)))) (.f64 (cbrt.f64 (fma.f64 -9 (.f64 z t) (*.f64 x y))) (/.f64 1/2 a)))
✓	8.2b	(/.f64 (-.f64 (.f64 x y) (.f64 z (.f64 9 t))) (.f64 a 2))
	9.0b	(.f64 (.f64 (cbrt.f64 (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) (.f64 a 2))) (cbrt.f64 (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) (.f64 a 2)))) (cbrt.f64 (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) (*.f64 a 2))))
	51.4b	(cbrt.f64 (.f64 (.f64 (.f64 (fma.f64 -9 (.f64 z t) (.f64 x y)) (fma.f64 -9 (.f64 z t) (.f64 x y))) (fma.f64 -9 (.f64 z t) (.f64 x y))) (/.f64 (.f64 (.f64 1/2 1/2) 1/2) (.f64 (*.f64 a a) a))))
	37.4b	(/.f64 1 (fma.f64 2 (/.f64 a (.f64 y x)) (.f64 18 (/.f64 (.f64 a (.f64 t z)) (.f64 (.f64 y x) (*.f64 y x))))))
	34.6b	(.f64 -9/2 (/.f64 (.f64 t z) a))
	33.5b	(.f64 (sqrt.f64 (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) (.f64 a 2))) (sqrt.f64 (/.f64 (fma.f64 t (.f64 z -9) (.f64 y x)) (*.f64 a 2))))
	9.0b	(.f64 (/.f64 (fma.f64 y x (.f64 (.f64 t z) -9)) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 1/2 (cbrt.f64 a)))
	39.6b	(/.f64 1 (fma.f64 (/.f64 (.f64 a (.f64 y x)) (.f64 (.f64 t z) (.f64 t z))) -2/81 (.f64 -2/9 (/.f64 a (*.f64 t z)))))
	32.0b	(/.f64 1 (/.f64 (.f64 a 2) (/.f64 (fma.f64 y (.f64 y (.f64 x x)) (.f64 (.f64 (.f64 t z) (.f64 t z)) -81)) (fma.f64 z (.f64 t 9) (*.f64 y x)))))
	37.9b	(/.f64 1 (.f64 (/.f64 (.f64 a 2) (-.f64 (pow.f64 (.f64 x y) 3) (pow.f64 (.f64 z (.f64 9 t)) 3))) (+.f64 (.f64 (.f64 x y) (.f64 x y)) (+.f64 (.f64 (.f64 z (.f64 9 t)) (.f64 z (.f64 9 t))) (.f64 (.f64 x y) (.f64 z (*.f64 9 t)))))))
✓	8.3b	(.f64 (fma.f64 -9 (.f64 z t) (*.f64 x y)) (/.f64 1/2 a))
	34.6b	(/.f64 (.f64 -9 (.f64 t z)) (*.f64 a 2))
	31.6b	(.f64 1/2 (/.f64 (.f64 y x) a))

Compiler

Compiled 6327 to 3760 computations (40.6% saved)

regimes2.4s (30.4%)

Accuracy

Total 0.5b remaining (6.1%)

Threshold costs 0.5b (6.1%)

Counts

187 → 1

Compiler

Compiled 54955 to 38793 computations (29.4% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary64`
5×	`+-commutative_binary64`
5×	`sub-neg_binary64`
4×	`distribute-rgt-neg-in_binary64`
4×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	19
1	23	19
2	33	19
3	46	19
4	52	19
5	55	19
6	56	19
7	55	19

end394.0ms (4.9%)

Remove: (sort x y)
Compiler: Compiled 563 to 370 computations (34.3% saved)

Details

analyze1.6s (19.8%)

sample1.8s (22%)

simplify209.0ms (2.6%)

prune4.0ms (0%)

localize9.0ms (0.1%)

series106.0ms (1.3%)

rewrite16.0ms (0.2%)

simplify101.0ms (1.3%)

prune125.0ms (1.6%)

localize9.0ms (0.1%)

series99.0ms (1.2%)

rewrite16.0ms (0.2%)

simplify96.0ms (1.2%)

prune116.0ms (1.5%)

localize8.0ms (0.1%)

series59.0ms (0.7%)

rewrite8.0ms (0.1%)

simplify109.0ms (1.4%)

prune95.0ms (1.2%)

localize11.0ms (0.1%)

series172.0ms (2.2%)

rewrite20.0ms (0.3%)

simplify158.0ms (2%)

prune277.0ms (3.5%)

regimes2.4s (30.4%)

simplify4.0ms (0%)

end394.0ms (4.9%)

Profiling