Details

analyze2.7s (13%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 28 to 19 computations (32.1% saved)

sample2.9s (13.9%)

Symmetry

(sort x y)

(sort z t)

Results

1.4s	8256×	body	128	valid
1.3s	7439×	body	128	invalid

Compiler

Compiled 83 to 56 computations (32.5% saved)

simplify219.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

1133×	`distribute-rgt-in_binary64`
1066×	`distribute-lft-in_binary64`
969×	`unsub-neg_binary64`
583×	`fma-def_binary64`
461×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	26
1	37	24
2	97	24
3	277	24
4	797	24
5	1809	24
6	2532	24
7	2783	24
8	3128	24
9	3409	24
10	3319	24
11	3327	24
12	3331	24
13	3461	24
14	3620	24
15	3621	24
16	3623	24
17	3623	24
18	5071	24

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

6.5b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	6.5b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 b c a)) i)))

Compiler

Compiled 94 to 57 computations (39.4% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 x y (*.f64 z t))
✓	0.0b	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 (*.f64 c (fma.f64 b c a)) i))
✓	0.1b	(*.f64 c (fma.f64 b c a))
✓	7.4b	(.f64 (.f64 c (fma.f64 b c a)) i)

series279.0ms (1.4%)

Counts

4 → 228

Calls

4 calls:

239.0ms	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 (*.f64 c (fma.f64 b c a)) i))
20.0ms	(.f64 (.f64 c (fma.f64 b c a)) i)
12.0ms	(*.f64 c (fma.f64 b c a))
8.0ms	(fma.f64 x y (*.f64 z t))

rewrite87.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

367×	`fma-def_binary64`
294×	`expm1-udef_binary64`
294×	`log1p-udef_binary64`
174×	`fma-neg_binary64`
164×	`egg-rr`

Counts

4 → 164

Calls

4 calls:

82.0ms	(fma.f64 x y (*.f64 z t))
82.0ms	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 (*.f64 c (fma.f64 b c a)) i))
82.0ms	(*.f64 c (fma.f64 b c a))
82.0ms	(.f64 (.f64 c (fma.f64 b c a)) i)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	48
1	311	48
2	3872	48
3	5289	48
0	0	0
1	0	0

simplify569.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

932×	`fma-neg_binary64`
891×	`distribute-rgt-neg-in_binary64`
739×	`cube-prod_binary64`
707×	`distribute-lft-neg-in_binary64`
670×	`fabs-mul_binary64`

Counts

392 → 201

Iterations

Useful iterations: 10 (0.0ms)

Iter	Nodes	Cost
0	47	3604
1	113	2908
2	275	2827
3	572	2827
4	1777	2827
5	2670	2827
6	3267	2827
7	3703	2827
8	4161	2827
9	4249	2827
10	4344	2675
11	3348	2675
12	3490	2675
13	4121	2675
14	4413	2675
15	4569	2675
16	4846	2675
17	4912	2675

prune236.0ms (1.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	190	11	201
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	191	11	202

Error

0.3b

Counts

202 → 11

Alt Table

Status	Error	Program
	32.5b	(.f64 2 (pow.f64 (sqrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 c b a)) i))) 2))
▶	4.8b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (.f64 i (fma.f64 c b a)))))
	10.9b	(.f64 2 (fma.f64 (cbrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 c b a)) i))) (pow.f64 (cbrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 c b a)) i))) 2) (fma.f64 (neg.f64 (.f64 (fma.f64 c b a) i)) c (.f64 (.f64 c (fma.f64 c b a)) i))))
	6.8b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (pow.f64 (cbrt.f64 (.f64 c (fma.f64 c b a))) 3) i)))
	9.8b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (+.f64 (.f64 (pow.f64 c 2) b) (*.f64 c a)) i)))
	6.5b	(.f64 2 (fma.f64 x y (-.f64 (.f64 z t) (.f64 (.f64 c (fma.f64 c b a)) i))))
	21.5b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (pow.f64 c 2) (.f64 i b))))
	23.7b	(.f64 2 (fma.f64 t z (.f64 y x)))
	43.6b	(.f64 2 (fma.f64 (-.f64 (pow.f64 (fma.f64 x y (.f64 z t)) 3) (pow.f64 (.f64 (.f64 c (fma.f64 c b a)) i) 3)) (/.f64 1 (fma.f64 (.f64 (.f64 c (fma.f64 c b a)) i) (fma.f64 (.f64 c (fma.f64 c b a)) i (fma.f64 x y (.f64 z t))) (pow.f64 (fma.f64 x y (.f64 z t)) 2))) (fma.f64 (neg.f64 (.f64 (fma.f64 c b a) i)) c (.f64 (.f64 c (fma.f64 c b a)) i))))
	22.0b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (cbrt.f64 (pow.f64 (.f64 c (fma.f64 c b a)) 3)) i)))
	7.6b	(.f64 2 (.f64 (cbrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 c b a)) i))) (pow.f64 (cbrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 c b a)) i))) 2)))

Compiler

Compiled 6348 to 1625 computations (74.4% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(fma.f64 x y (*.f64 z t))
✓	0.0b	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (*.f64 i (fma.f64 c b a))))
✓	1.0b	(*.f64 i (fma.f64 c b a))
✓	3.7b	(.f64 c (.f64 i (fma.f64 c b a)))

series78.0ms (0.4%)

Counts

3 → 192

Calls

3 calls:

48.0ms	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (*.f64 i (fma.f64 c b a))))
18.0ms	(.f64 c (.f64 i (fma.f64 c b a)))
12.0ms	(*.f64 i (fma.f64 c b a))

rewrite194.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

369×	`fma-def_binary64`
294×	`expm1-udef_binary64`
294×	`log1p-udef_binary64`
174×	`fma-neg_binary64`
163×	`add-sqr-sqrt_binary64`

Counts

3 → 146

Calls

3 calls:

189.0ms	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (*.f64 i (fma.f64 c b a))))
189.0ms	(*.f64 i (fma.f64 c b a))
189.0ms	(.f64 c (.f64 i (fma.f64 c b a)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	40
1	311	40
2	3879	40
3	5298	40
0	0	0
1	0	0

simplify366.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

926×	`fma-neg_binary64`
891×	`distribute-rgt-neg-in_binary64`
739×	`cube-prod_binary64`
707×	`distribute-lft-neg-in_binary64`
670×	`fabs-mul_binary64`

Counts

338 → 183

Iterations

Useful iterations: 10 (0.0ms)

Iter	Nodes	Cost
0	51	3283
1	121	2587
2	279	2587
3	568	2587
4	1776	2587
5	2670	2587
6	3267	2587
7	3703	2587
8	4161	2587
9	4249	2587
10	4344	2435
11	3348	2435
12	3490	2435
13	4121	2435
14	4413	2435
15	4569	2435
16	4846	2435
17	4912	2435

prune239.0ms (1.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	203	4	207
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	208	10	218

Error

0.0b

Counts

218 → 10

Alt Table

Status	Error	Program
	5.2b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (pow.f64 (cbrt.f64 (.f64 c (.f64 i (fma.f64 c b a)))) 3)))
	32.5b	(.f64 2 (pow.f64 (sqrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 c b a)) i))) 2))
	7.6b	(.f64 2 (.f64 (cbrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 c b a)) i))) (pow.f64 (cbrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 c b a)) i))) 2)))
	33.1b	(.f64 2 (fma.f64 (sqrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (.f64 i (fma.f64 c b a))))) (sqrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (.f64 i (fma.f64 c b a))))) (fma.f64 (neg.f64 (fma.f64 c b a)) (.f64 c i) (.f64 c (.f64 i (fma.f64 c b a))))))
	9.8b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (+.f64 (.f64 (pow.f64 c 2) b) (*.f64 c a)) i)))
	6.5b	(.f64 2 (fma.f64 x y (-.f64 (.f64 z t) (.f64 (.f64 c (fma.f64 c b a)) i))))
	21.5b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (pow.f64 c 2) (.f64 i b))))
	23.7b	(.f64 2 (fma.f64 t z (.f64 y x)))
▶	2.6b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (fma.f64 (.f64 c b) (.f64 c i) (.f64 a (.f64 c i)))))
	8.0b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (+.f64 (.f64 c (.f64 i b)) (.f64 a i)))))

Compiler

Compiled 6327 to 1570 computations (75.2% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(fma.f64 x y (*.f64 z t))
✓	0.0b	(-.f64 (fma.f64 x y (.f64 z t)) (fma.f64 (.f64 c b) (.f64 c i) (.f64 a (*.f64 c i))))
✓	2.5b	(fma.f64 (.f64 c b) (.f64 c i) (.f64 a (.f64 c i)))
✓	4.4b	(.f64 a (.f64 c i))

series91.0ms (0.4%)

Counts

3 → 180

Calls

3 calls:

62.0ms	(-.f64 (fma.f64 x y (.f64 z t)) (fma.f64 (.f64 c b) (.f64 c i) (.f64 a (*.f64 c i))))
21.0ms	(fma.f64 (.f64 c b) (.f64 c i) (.f64 a (.f64 c i)))
8.0ms	(.f64 a (.f64 c i))

rewrite77.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

310×	`expm1-udef_binary64`
310×	`log1p-udef_binary64`
171×	`add-sqr-sqrt_binary64`
158×	`log1p-expm1-u_binary64`
158×	`expm1-log1p-u_binary64`

Counts

3 → 80

Calls

3 calls:

75.0ms	(-.f64 (fma.f64 x y (.f64 z t)) (fma.f64 (.f64 c b) (.f64 c i) (.f64 a (*.f64 c i))))
75.0ms	(fma.f64 (.f64 c b) (.f64 c i) (.f64 a (.f64 c i)))
75.0ms	(.f64 a (.f64 c i))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	51
1	328	43
2	4075	43
3	5004	43
0	0	0
1	0	0

simplify327.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

1019×	`distribute-rgt-neg-in_binary64`
923×	`fma-neg_binary64`
702×	`fabs-mul_binary64`
648×	`distribute-lft-neg-in_binary64`
640×	`cancel-sign-sub-inv_binary64`

Counts

260 → 110

Iterations

Useful iterations: 10 (0.0ms)

Iter	Nodes	Cost
0	42	3172
1	99	2824
2	248	2708
3	531	2476
4	1665	2476
5	2554	2476
6	3170	2476
7	3619	2476
8	4077	2476
9	4162	2476
10	4259	2324
11	3323	2324
12	3242	2324
13	3757	2324
14	4486	2324
15	4839	2324

prune157.0ms (0.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	134	10	144

Error

0.0b

Counts

144 → 10

Alt Table

Status	Error	Program
	5.2b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (pow.f64 (cbrt.f64 (.f64 c (.f64 i (fma.f64 c b a)))) 3)))
	32.5b	(.f64 2 (pow.f64 (sqrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 c b a)) i))) 2))
▶	3.7b	(.f64 2 (pow.f64 (cbrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c i) (+.f64 (*.f64 c b) a)))) 3))
	33.1b	(.f64 2 (fma.f64 (sqrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (.f64 i (fma.f64 c b a))))) (sqrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (.f64 i (fma.f64 c b a))))) (fma.f64 (neg.f64 (fma.f64 c b a)) (.f64 c i) (.f64 c (.f64 i (fma.f64 c b a))))))
	9.8b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (+.f64 (.f64 (pow.f64 c 2) b) (*.f64 c a)) i)))
	6.5b	(.f64 2 (fma.f64 x y (-.f64 (.f64 z t) (.f64 (.f64 c (fma.f64 c b a)) i))))
	21.5b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (pow.f64 c 2) (.f64 i b))))
	23.7b	(.f64 2 (fma.f64 t z (.f64 y x)))
✓	2.6b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (fma.f64 (.f64 c b) (.f64 c i) (.f64 a (.f64 c i)))))
	8.0b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (+.f64 (.f64 c (.f64 i b)) (.f64 a i)))))

Compiler

Compiled 3957 to 1153 computations (70.9% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c i) (+.f64 (.f64 c b) a)))
✓	0.7b	(pow.f64 (cbrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c i) (+.f64 (.f64 c b) a)))) 3)
✓	0.7b	(cbrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c i) (+.f64 (.f64 c b) a))))
✓	5.8b	(.f64 (.f64 c i) (+.f64 (*.f64 c b) a))

series5.5s (26.6%)

Counts

4 → 336

Calls

4 calls:

4.5s	(pow.f64 (cbrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c i) (+.f64 (.f64 c b) a)))) 3)
905.0ms	(cbrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c i) (+.f64 (.f64 c b) a))))
62.0ms	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c i) (+.f64 (.f64 c b) a)))
20.0ms	(.f64 (.f64 c i) (+.f64 (*.f64 c b) a))

rewrite63.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

200×	`add-sqr-sqrt_binary64`
191×	`log1p-expm1-u_binary64`
191×	`expm1-log1p-u_binary64`
185×	`add-cbrt-cube_binary64`
185×	`add-log-exp_binary64`

Counts

4 → 154

Calls

4 calls:

58.0ms	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c i) (+.f64 (.f64 c b) a)))
58.0ms	(pow.f64 (cbrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c i) (+.f64 (.f64 c b) a)))) 3)
58.0ms	(cbrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c i) (+.f64 (.f64 c b) a))))
58.0ms	(.f64 (.f64 c i) (+.f64 (*.f64 c b) a))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	76
1	394	76
2	4980	76
0	0	0
1	0	0

simplify609.0ms (3%)

Algorithm

1×	egg-herbie

Rules

927×	`fma-def_binary64`
3×	`fma-neg_binary64`

Counts

490 → 422

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4918	137439016821
1	5850	137439016821

prune2.0s (9.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	422	0	422
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	422	10	432

Error

0.0b

Counts

432 → 10

Alt Table

Status	Error	Program
	5.2b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (pow.f64 (cbrt.f64 (.f64 c (.f64 i (fma.f64 c b a)))) 3)))
	32.5b	(.f64 2 (pow.f64 (sqrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 c b a)) i))) 2))
✓	3.7b	(.f64 2 (pow.f64 (cbrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c i) (+.f64 (*.f64 c b) a)))) 3))
	33.1b	(.f64 2 (fma.f64 (sqrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (.f64 i (fma.f64 c b a))))) (sqrt.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (.f64 i (fma.f64 c b a))))) (fma.f64 (neg.f64 (fma.f64 c b a)) (.f64 c i) (.f64 c (.f64 i (fma.f64 c b a))))))
	9.8b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (+.f64 (.f64 (pow.f64 c 2) b) (*.f64 c a)) i)))
	6.5b	(.f64 2 (fma.f64 x y (-.f64 (.f64 z t) (.f64 (.f64 c (fma.f64 c b a)) i))))
	21.5b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (pow.f64 c 2) (.f64 i b))))
	23.7b	(.f64 2 (fma.f64 t z (.f64 y x)))
✓	2.6b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (fma.f64 (.f64 c b) (.f64 c i) (.f64 a (.f64 c i)))))
	8.0b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (+.f64 (.f64 c (.f64 i b)) (.f64 a i)))))

Compiler

Compiled 86992 to 56451 computations (35.1% saved)

regimes3.7s (17.9%)

Accuracy

Total 1.1b remaining (98.2%)

Threshold costs 0b (0%)

Counts

164 → 3

Compiler

Compiled 75542 to 46741 computations (38.1% saved)

bsearch7.0ms (0%)

Compiler: Compiled 17 to 12 computations (29.4% saved)

simplify12.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

29×	`*-commutative_binary64`
18×	`+-commutative_binary64`
16×	`distribute-rgt-neg-in_binary64`
16×	`sub-neg_binary64`
14×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	116
1	78	116
2	110	116
3	131	116
4	157	116
5	172	116
6	180	116
7	184	116
8	185	116
9	184	116

end186.0ms (0.9%)

Remove

(sort z t)

(sort x y)

Compiler

Compiled 823 to 430 computations (47.8% saved)

Iter	Nodes	Cost
0	42	116
1	78	116
2	110	116
3	131	116
4	157	116
5	172	116
6	180	116
7	184	116
8	185	116
9	184	116

Iter	Nodes	Cost
0	42	116
1	78	116
2	110	116
3	131	116
4	157	116
5	172	116
6	180	116
7	184	116
8	185	116
9	184	116

Details

analyze2.7s (13%)

sample2.9s (13.9%)

simplify219.0ms (1.1%)

prune4.0ms (0%)

localize12.0ms (0.1%)

series279.0ms (1.4%)

rewrite87.0ms (0.4%)

simplify569.0ms (2.8%)

prune236.0ms (1.1%)

localize12.0ms (0.1%)

series78.0ms (0.4%)

rewrite194.0ms (0.9%)

simplify366.0ms (1.8%)

prune239.0ms (1.2%)

localize16.0ms (0.1%)

series91.0ms (0.4%)

rewrite77.0ms (0.4%)

simplify327.0ms (1.6%)

prune157.0ms (0.8%)

localize17.0ms (0.1%)

series5.5s (26.6%)

rewrite63.0ms (0.3%)

simplify609.0ms (3%)

prune2.0s (9.9%)

regimes3.7s (17.9%)

bsearch7.0ms (0%)

simplify12.0ms (0.1%)

end186.0ms (0.9%)

Profiling

Iter	Nodes	Cost
0	42	116
1	78	116
2	110	116
3	131	116
4	157	116
5	172	116
6	180	116
7	184	116
8	185	116
9	184	116