Details

analyze1.8s (12.6%)

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
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
12.5%	87.4%	0.1%	8
18.7%	81.1%	0.1%	9
21.8%	78%	0.1%	10
21.8%	78%	0.1%	11
23.4%	76.5%	0.1%	12
24.2%	75.7%	0.1%	13
24.2%	75.7%	0.1%	14

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample6.7s (47.7%)

Results

4.6s	3643×	body	1024	valid
742.0ms	1362×	body	512	valid
550.0ms	2406×	body	128	valid
428.0ms	191×	body	2048	valid
293.0ms	654×	body	256	valid

Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify16.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
2×	`associate-/r/_binary64`
1×	`+-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	13	14
2	17	14
3	20	14
4	21	14
5	21	14

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

14.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	14.2b	(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))

Compiler

Compiled 45 to 27 computations (40% saved)

localize16.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 r (sin.f64 b))
✓	0.2b	(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
✓	5.0b	(cos.f64 (+.f64 a b))

series135.0ms (1%)

Counts

3 → 68

Calls

3 calls:

104.0ms	(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
20.0ms	(*.f64 r (sin.f64 b))
10.0ms	(cos.f64 (+.f64 a b))

rewrite22.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-cbrt-cube_binary64`
10×	`add-exp-log_binary64`
9×	`add-sqr-sqrt_binary64`
7×	`*-un-lft-identity_binary64`
7×	`add-cube-cbrt_binary64`

Counts

3 → 53

Calls

3 calls:

8.0ms	(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
6.0ms	(*.f64 r (sin.f64 b))
5.0ms	(cos.f64 (+.f64 a b))

simplify109.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

558×	`fma-def_binary64`
517×	`associate-/r*_binary64`
394×	`associate-*l/_binary64`
321×	`associate-/l/_binary64`
308×	`associate-/r/_binary64`

Counts

121 → 124

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	200	2011
1	525	1879
2	2003	1831
3	5044	1831

prune229.0ms (1.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	116	8	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	117	8	125

Error

0.1b

Counts

125 → 8

Alt Table

Status	Error	Program
	14.9b	(.f64 (.f64 (cbrt.f64 (/.f64 (.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))) (cbrt.f64 (/.f64 (.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b))))) (cbrt.f64 (/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))))
▶	0.2b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
	14.2b	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a))))
	14.5b	(/.f64 (.f64 r (sin.f64 b)) (.f64 (*.f64 (cbrt.f64 (cos.f64 (+.f64 a b))) (cbrt.f64 (cos.f64 (+.f64 a b)))) (cbrt.f64 (cos.f64 (+.f64 a b)))))
	14.3b	(/.f64 (.f64 r (sin.f64 b)) (cbrt.f64 (.f64 (*.f64 (cos.f64 (+.f64 a b)) (cos.f64 (+.f64 a b))) (cos.f64 (+.f64 a b)))))
	14.5b	(.f64 (/.f64 r (.f64 (cbrt.f64 (cos.f64 (+.f64 a b))) (cbrt.f64 (cos.f64 (+.f64 a b))))) (/.f64 (sin.f64 b) (cbrt.f64 (cos.f64 (+.f64 a b)))))
	25.0b	(fma.f64 (/.f64 (sin.f64 b) (cos.f64 b)) r (/.f64 (.f64 (pow.f64 (sin.f64 b) 2) (.f64 a r)) (pow.f64 (cos.f64 b) 2)))
	14.2b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (cos.f64 (+.f64 a b))))

Compiler

Compiled 2625 to 894 computations (65.9% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))
	0.1b	(*.f64 r (sin.f64 b))
✓	0.2b	(*.f64 (sin.f64 a) (sin.f64 b))
✓	0.2b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))

series162.0ms (1.2%)

Counts

3 → 64

Calls

3 calls:

127.0ms

(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))

19.0ms

(*.f64 (sin.f64 a) (sin.f64 b))

16.0ms

(-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))

rewrite21.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-cbrt-cube_binary64`
10×	`add-exp-log_binary64`
9×	`add-sqr-sqrt_binary64`
7×	`*-un-lft-identity_binary64`
7×	`add-cube-cbrt_binary64`

Counts

3 → 66

Calls

3 calls:

9.0ms

(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))

4.0ms

(-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))

4.0ms

(*.f64 (sin.f64 a) (sin.f64 b))

simplify226.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

824×	`fma-def_binary64`
381×	`fma-neg_binary64`
329×	`cancel-sign-sub-inv_binary64`
204×	`associate-r_binary64`
204×	`distribute-rgt-neg-in_binary64`

Counts

130 → 156

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	252	3500
1	691	3279
2	2584	3054
3	4578	3049
4	4996	3049
5	4923	3049

prune363.0ms (2.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	184	10	194
Fresh	7	0	7
Picked	1	0	1
Done	0	0	0
Total	192	10	202

Error

0.0b

Counts

202 → 10

Alt Table

Status	Error	Program
	0.7b	(/.f64 1 (/.f64 (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)) r))
	0.3b	(/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))
	0.3b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	0.3b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
	0.5b	(/.f64 (.f64 r (sin.f64 b)) (log.f64 (exp.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))))
	0.3b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b))))))
▶	0.2b	(/.f64 (.f64 r (sin.f64 b)) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))))
	1.0b	(/.f64 (.f64 (/.f64 r (.f64 (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))) (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))))) (sin.f64 b)) (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	1.2b	(.f64 (.f64 (cbrt.f64 (/.f64 r (-.f64 (/.f64 (.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))) (cbrt.f64 (/.f64 r (-.f64 (/.f64 (.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1))))) (cbrt.f64 (/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))))
	0.3b	(/.f64 r (/.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))) (sin.f64 b)))

Compiler

Compiled 5461 to 1517 computations (72.2% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 a) (sin.f64 b))))
	0.1b	(*.f64 r (sin.f64 b))
	0.2b	(*.f64 (sin.f64 a) (sin.f64 b))
✓	0.2b	(/.f64 (.f64 r (sin.f64 b)) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))))

series223.0ms (1.6%)

Counts

2 → 60

Calls

2 calls:

187.0ms	(/.f64 (.f64 r (sin.f64 b)) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))))
35.0ms	(fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 a) (sin.f64 b))))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`

Counts

2 → 33

Calls

2 calls:

8.0ms	(/.f64 (.f64 r (sin.f64 b)) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))))
1.0ms	(fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 a) (sin.f64 b))))

simplify132.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

656×	`associate-l_binary64`
468×	`fma-def_binary64`
441×	`associate-/r*_binary64`
304×	`associate-*l/_binary64`
267×	`associate-/l/_binary64`

Counts

93 → 88

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	170	2771
1	451	2573
2	1650	2534
3	5210	2534

prune266.0ms (1.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	171	2	173
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	174	9	183

Error

0.0b

Counts

183 → 9

Alt Table

Status	Error	Program
▶	0.3b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
	0.3b	(/.f64 (.f64 r (sin.f64 b)) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 b) (sin.f64 a)) 3)))))
	1.2b	(/.f64 (.f64 (.f64 (cbrt.f64 r) (cbrt.f64 r)) (.f64 (sin.f64 b) (cbrt.f64 r))) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))))
	0.3b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	0.7b	(/.f64 1 (/.f64 (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)) r))
	0.5b	(/.f64 (.f64 r (sin.f64 b)) (log.f64 (exp.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))))
	1.0b	(/.f64 (.f64 (/.f64 r (.f64 (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))) (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))))) (sin.f64 b)) (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	1.2b	(.f64 (.f64 (cbrt.f64 (/.f64 r (-.f64 (/.f64 (.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))) (cbrt.f64 (/.f64 r (-.f64 (/.f64 (.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1))))) (cbrt.f64 (/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))))
	0.3b	(/.f64 r (/.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))) (sin.f64 b)))

Compiler

Compiled 4782 to 1356 computations (71.6% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))
✓	0.2b	(/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))
✓	0.2b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
✓	0.2b	(*.f64 (sin.f64 b) (sin.f64 a))

series302.0ms (2.1%)

Counts

4 → 76

Calls

4 calls:

141.0ms	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
117.0ms	(/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))
32.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))
12.0ms	(*.f64 (sin.f64 b) (sin.f64 a))

rewrite60.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64`
22×	`*-un-lft-identity_binary64`
22×	`add-cube-cbrt_binary64`
20×	`associate-r_binary64`
19×	`times-frac_binary64`

Counts

4 → 110

Calls

4 calls:

19.0ms	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
11.0ms	(/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))
8.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))
7.0ms	(*.f64 (sin.f64 b) (sin.f64 a))

simplify325.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

367×	`fma-neg_binary64`
327×	`cancel-sign-sub-inv_binary64`
299×	`associate-r_binary64`
265×	`associate-l_binary64`
203×	`associate-/l*_binary64`

Counts

186 → 249

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	336	5467
1	876	5149
2	3335	4803
3	4502	4797
4	4984	4797
5	4933	4797

prune417.0ms (3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	246	3	249
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	249	9	258

Error

Counts

258 → 9

Alt Table

Status	Error	Program
	1.2b	(.f64 (.f64 r (.f64 (cbrt.f64 (/.f64 1 (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (sin.f64 a)))) (cbrt.f64 (/.f64 1 (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (sin.f64 a)))))) (cbrt.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))))
	1.2b	(/.f64 (.f64 (.f64 (cbrt.f64 r) (cbrt.f64 r)) (.f64 (sin.f64 b) (cbrt.f64 r))) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))))
	0.3b	(.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))) (.f64 (.f64 (sin.f64 b) (sin.f64 a)) (.f64 (sin.f64 b) (sin.f64 a)))))) (+.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))
	0.3b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	0.4b	(.f64 r (/.f64 (sin.f64 b) (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (.f64 (sin.f64 a) (sin.f64 b)) 3)) (fma.f64 (.f64 (sin.f64 a) (sin.f64 b)) (fma.f64 (sin.f64 a) (sin.f64 b) (.f64 (cos.f64 a) (cos.f64 b))) (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2))))))
	0.7b	(/.f64 1 (/.f64 (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)) r))
	0.3b	(/.f64 (.f64 r (sin.f64 b)) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 b) (sin.f64 a)) 3)))))
	0.5b	(/.f64 (.f64 r (sin.f64 b)) (log.f64 (exp.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))))
	1.0b	(/.f64 (.f64 (/.f64 r (.f64 (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))) (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))))) (sin.f64 b)) (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))

Compiler

Compiled 7409 to 1836 computations (75.2% saved)

regimes2.2s (15.6%)

Accuracy

Total 0.3b remaining (83.8%)

Threshold costs 0.3b (83.8%)

Counts

244 → 1

Compiler

Compiled 23432 to 13138 computations (43.9% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
3×	`+-commutative_binary64`
3×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	22	26
2	30	26
3	35	26
4	39	26
5	41	26
6	40	26

end295.0ms (2.1%)

Compiler: Compiled 336 to 179 computations (46.7% saved)

Details

analyze1.8s (12.6%)

sample6.7s (47.7%)

simplify16.0ms (0.1%)

prune4.0ms (0%)

localize16.0ms (0.1%)

series135.0ms (1%)

rewrite22.0ms (0.2%)

simplify109.0ms (0.8%)

prune229.0ms (1.6%)

localize16.0ms (0.1%)

series162.0ms (1.2%)

rewrite21.0ms (0.1%)

simplify226.0ms (1.6%)

prune363.0ms (2.6%)

localize21.0ms (0.2%)

series223.0ms (1.6%)

rewrite13.0ms (0.1%)

simplify132.0ms (0.9%)

prune266.0ms (1.9%)

localize13.0ms (0.1%)

series302.0ms (2.1%)

rewrite60.0ms (0.4%)

simplify325.0ms (2.3%)

prune417.0ms (3%)

regimes2.2s (15.6%)

simplify6.0ms (0%)

end295.0ms (2.1%)

Profiling