Details

analyze223.0ms (2.8%)

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
25%	74.9%	0.1%	5
25%	68.7%	6.3%	6
25%	53.1%	22%	7
25%	46.8%	28.2%	8
25%	33.6%	41.5%	9
28.1%	18%	54%	10
31.6%	12.1%	56.3%	11
33.4%	5.9%	60.8%	12
35.2%	3.8%	61%	13
36.1%	2.9%	61%	14

Compiler

Compiled 32 to 20 computations (37.5% saved)

sample25.0ms (0.3%)

Algorithm

1×

intervals

Results

16.0ms

256×

body

128

valid

Compiler

Compiled 65 to 41 computations (36.9% saved)

simplify78.0ms (1%)

Algorithm

1×	egg-herbie

Rules

705×	`unsub-neg_binary64`
556×	`cancel-sign-sub-inv_binary64`
344×	`+-commutative_binary64`
342×	`distribute-rgt-in_binary64`
317×	`sub-neg_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	43
1	55	43
2	150	43
3	389	43
4	1083	43
5	2233	43
6	4336	43
7	4724	43
8	4930	43

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.2b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.2b	(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (.f64 a a) (-.f64 1 a)) (.f64 (*.f64 b b) (+.f64 3 a))))) 1)

Compiler

Compiled 93 to 57 computations (38.7% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (.f64 a a) (-.f64 1 a)) (.f64 (*.f64 b b) (+.f64 3 a)))))
0.0b	(.f64 (.f64 a a) (-.f64 1 a))
0.3b	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
0.6b	(.f64 (.f64 b b) (+.f64 3 a))

rewrite181.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

15×	`pow1_binary64` `add-exp-log_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
14×	`add-cbrt-cube_binary64`
10×	`add-cube-cbrt_binary64` `associate-r_binary64`
6×	`pow-prod-down_binary64` `prod-exp_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `distribute-rgt-in_binary64` `distribute-lft-in_binary64` `cancel-sign-sub-inv_binary64`
4×	`associate-*r/_binary64`

Counts

4 → 87

Calls

4 calls:

12.0ms	(.f64 (.f64 a a) (-.f64 1 a))
9.0ms	(.f64 (.f64 b b) (+.f64 3 a))
9.0ms	(+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (.f64 a a) (-.f64 1 a)) (.f64 (*.f64 b b) (+.f64 3 a)))))
5.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)

Compiler

Compiled 3141 to 1575 computations (49.9% saved)

series235.0ms (3%)

Error

0.0b

Counts

4 → 54

Calls

4 calls:

92.0ms	(+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (.f64 a a) (-.f64 1 a)) (.f64 (*.f64 b b) (+.f64 3 a)))))
55.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
24.0ms	(.f64 (.f64 b b) (+.f64 3 a))
16.0ms	(.f64 (.f64 a a) (-.f64 1 a))

Compiler

Compiled 3039 to 2229 computations (26.7% saved)

simplify183.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

532×	`associate-+l+_binary64`
343×	`associate-+r+_binary64`
267×	`associate-l_binary64`
226×	`exp-prod_binary64`
217×	`associate-r_binary64` `+-commutative_binary64`

Counts

141 → 116

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	215	2929
1	585	2614
2	1868	2518
3	4253	2514
4	4948	2514
5	4999	2514
6	4942	2514

prune115.0ms (1.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	113	3	116
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	114	3	117

Error

0.0b

Counts

117 → 3

Alt Table

Status	Error	Program
	39.0b	(-.f64 (/.f64 (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6) (pow.f64 (.f64 4 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3)))) 3)) (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 4) (.f64 4 (.f64 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3))) (-.f64 (.f64 4 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3)))) (pow.f64 (+.f64 (.f64 b b) (*.f64 a a)) 2)))))) 1)
	14.5b	(-.f64 (+.f64 (.f64 (pow.f64 a 3) (+.f64 a -4)) (.f64 (.f64 a a) (+.f64 (.f64 2 (*.f64 b b)) 4))) 1)
▶	0.0b	(-.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (+.f64 (pow.f64 a 4) (.f64 4 (-.f64 (.f64 a a) (pow.f64 a 3)))))) 1)

Compiler

Compiled 2548 to 1358 computations (46.7% saved)

localize20.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (*.f64 a a) (pow.f64 a 3))
0.0b	(+.f64 (pow.f64 a 4) (.f64 4 (-.f64 (.f64 a a) (pow.f64 a 3))))
0.0b	(.f64 4 (-.f64 (.f64 a a) (pow.f64 a 3)))
1.0b	(.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a)))))

rewrite276.0ms (3.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

60×	`cancel-sign-sub-inv_binary64`
31×	`add-sqr-sqrt_binary64`
27×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
26×	`associate-+r+_binary64`
22×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`

Counts

4 → 141

Calls

4 calls:

12.0ms	(.f64 4 (-.f64 (.f64 a a) (pow.f64 a 3)))
10.0ms	(-.f64 (*.f64 a a) (pow.f64 a 3))
8.0ms	(+.f64 (pow.f64 a 4) (.f64 4 (-.f64 (.f64 a a) (pow.f64 a 3))))
8.0ms	(.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a)))))

Compiler

Compiled 5026 to 3391 computations (32.5% saved)

series145.0ms (1.8%)

Error

0.0b

Counts

4 → 31

Calls

4 calls:

44.0ms	(.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a)))))
29.0ms	(+.f64 (pow.f64 a 4) (.f64 4 (-.f64 (.f64 a a) (pow.f64 a 3))))
21.0ms	(.f64 4 (-.f64 (.f64 a a) (pow.f64 a 3)))
19.0ms	(-.f64 (*.f64 a a) (pow.f64 a 3))

Compiler

Compiled 2091 to 1608 computations (23.1% saved)

simplify162.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

701×	`exp-prod_binary64`
432×	`cancel-sign-sub-inv_binary64`
309×	`associate-l_binary64`
297×	`associate-r_binary64`
292×	`distribute-rgt-out_binary64`

Counts

172 → 143

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	212	2833
1	522	2584
2	2103	2569
3	4269	2545
4	4952	2545
5	4951	2545

prune142.0ms (1.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	142	1	143
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	143	3	146

Error

0.0b

Counts

146 → 3

Alt Table

Status	Error	Program
	39.0b	(-.f64 (/.f64 (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6) (pow.f64 (.f64 4 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3)))) 3)) (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 4) (.f64 4 (.f64 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3))) (-.f64 (.f64 4 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3)))) (pow.f64 (+.f64 (.f64 b b) (*.f64 a a)) 2)))))) 1)
▶	0.5b	(-.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (*.f64 (pow.f64 a 3) (+.f64 a -4)))) 1)
✓	0.0b	(-.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (+.f64 (pow.f64 a 4) (.f64 4 (-.f64 (.f64 a a) (pow.f64 a 3)))))) 1)

Compiler

Compiled 3070 to 2088 computations (32% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (*.f64 (pow.f64 a 3) (+.f64 a -4))))
0.0b	(.f64 a (+.f64 4 (.f64 2 a)))
0.1b	(*.f64 (pow.f64 a 3) (+.f64 a -4))
1.0b	(.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a)))))

rewrite198.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

21×	`add-sqr-sqrt_binary64`
16×	`add-exp-log_binary64` `associate-l_binary64`
15×	`*-un-lft-identity_binary64`
13×	`add-cbrt-cube_binary64`
11×	`pow1_binary64` `add-cube-cbrt_binary64`

Counts

4 → 95

Calls

4 calls:

12.0ms	(+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (*.f64 (pow.f64 a 3) (+.f64 a -4))))
8.0ms	(*.f64 (pow.f64 a 3) (+.f64 a -4))
8.0ms	(.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a)))))
6.0ms	(.f64 a (+.f64 4 (.f64 2 a)))

Compiler

Compiled 3162 to 2264 computations (28.4% saved)

series193.0ms (2.5%)

Error

0.0b

Counts

4 → 43

Calls

4 calls:

82.0ms	(+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (*.f64 (pow.f64 a 3) (+.f64 a -4))))
44.0ms	(.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a)))))
16.0ms	(*.f64 (pow.f64 a 3) (+.f64 a -4))
16.0ms	(.f64 a (+.f64 4 (.f64 2 a)))

Compiler

Compiled 2231 to 1764 computations (20.9% saved)

simplify135.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

557×	`exp-prod_binary64`
426×	`associate-l_binary64`
371×	`associate-r_binary64`
339×	`cancel-sign-sub-inv_binary64`
262×	`unswap-sqr_binary64`

Counts

138 → 109

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	219	3048
1	617	2622
2	2741	2616
3	4528	2592
4	4951	2592

prune125.0ms (1.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	109	3	112

Error

0.0b

Counts

112 → 3

Alt Table

Status	Error	Program
▶	39.0b	(-.f64 (/.f64 (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6) (pow.f64 (.f64 4 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3)))) 3)) (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 4) (.f64 4 (.f64 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3))) (-.f64 (.f64 4 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3)))) (pow.f64 (+.f64 (.f64 b b) (*.f64 a a)) 2)))))) 1)
✓	0.5b	(-.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (*.f64 (pow.f64 a 3) (+.f64 a -4)))) 1)
✓	0.0b	(-.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (+.f64 (pow.f64 a 4) (.f64 4 (-.f64 (.f64 a a) (pow.f64 a 3)))))) 1)

Compiler

Compiled 2474 to 1729 computations (30.1% saved)

localize32.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.6b	(.f64 (+.f64 a 3) (.f64 b b))
2.6b	(+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6) (pow.f64 (.f64 4 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3)))) 3))
5.6b	(+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 4) (.f64 4 (.f64 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3))) (-.f64 (.f64 4 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3)))) (pow.f64 (+.f64 (.f64 b b) (*.f64 a a)) 2)))))
45.4b	(/.f64 (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6) (pow.f64 (.f64 4 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3)))) 3)) (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 4) (.f64 4 (.f64 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3))) (-.f64 (.f64 4 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3)))) (pow.f64 (+.f64 (.f64 b b) (*.f64 a a)) 2))))))

rewrite380.0ms (4.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

48×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
44×	`associate-+r+_binary64`
34×	`*-un-lft-identity_binary64`
32×	`cancel-sign-sub-inv_binary64`
23×	`add-sqr-sqrt_binary64`

Counts

4 → 124

Calls

4 calls:

19.0ms	(/.f64 (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6) (pow.f64 (.f64 4 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3)))) 3)) (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 4) (.f64 4 (.f64 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3))) (-.f64 (.f64 4 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3)))) (pow.f64 (+.f64 (.f64 b b) (*.f64 a a)) 2))))))
15.0ms	(+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 4) (.f64 4 (.f64 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3))) (-.f64 (.f64 4 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3)))) (pow.f64 (+.f64 (.f64 b b) (*.f64 a a)) 2)))))
11.0ms	(+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6) (pow.f64 (.f64 4 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3)))) 3))
8.0ms	(.f64 (+.f64 a 3) (.f64 b b))

Compiler

Compiled 14334 to 7029 computations (51% saved)

series2.1s (26.5%)

Error

0.0b

Counts

4 → 58

Calls

4 calls:

1.6s	(/.f64 (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6) (pow.f64 (.f64 4 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3)))) 3)) (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 4) (.f64 4 (.f64 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3))) (-.f64 (.f64 4 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3)))) (pow.f64 (+.f64 (.f64 b b) (*.f64 a a)) 2))))))
146.0ms	(+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 4) (.f64 4 (.f64 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3))) (-.f64 (.f64 4 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3)))) (pow.f64 (+.f64 (.f64 b b) (*.f64 a a)) 2)))))
81.0ms	(+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6) (pow.f64 (.f64 4 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3)))) 3))
37.0ms	(.f64 (+.f64 a 3) (.f64 b b))

Compiler

Compiled 20084 to 15413 computations (23.3% saved)

simplify318.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

461×	`associate-/l*_binary64`
436×	`times-frac_binary64`
232×	`+-commutative_binary64`
225×	`*-commutative_binary64`
181×	`associate-+r+_binary64`

Counts

182 → 155

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	809	21214
1	2321	20095
2	5114	20095

prune411.0ms (5.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

0.0b

Counts

158 → 3

Alt Table

Status	Error	Program
	39.0b	(-.f64 (/.f64 (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6) (pow.f64 (.f64 4 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3)))) 3)) (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 4) (.f64 4 (.f64 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3))) (-.f64 (.f64 4 (+.f64 (.f64 (+.f64 a 3) (.f64 b b)) (-.f64 (.f64 a a) (pow.f64 a 3)))) (pow.f64 (+.f64 (.f64 b b) (*.f64 a a)) 2)))))) 1)
	0.5b	(-.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (*.f64 (pow.f64 a 3) (+.f64 a -4)))) 1)
	0.0b	(-.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (+.f64 (pow.f64 a 4) (.f64 4 (-.f64 (.f64 a a) (pow.f64 a 3)))))) 1)

Compiler

Compiled 18528 to 10683 computations (42.3% saved)

regimes1.2s (15.6%)

Accuracy

Total 0.0b remaining (32.2%)

Threshold costs 0.0b (32.2%)

Compiler

Compiled 23162 to 15296 computations (34% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`+-commutative_binary64`
6×	`*-commutative_binary64`
3×	`sub-neg_binary64`
1×	`1-exp_binary64` `neg-mul-1_binary64` `neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	55
1	42	55
2	46	55
3	48	55
4	49	55
5	47	55

end1.0ms (0%)

Compiler: Compiled 39 to 29 computations (25.6% saved)

sample914.0ms (11.7%)

Algorithm

1×

intervals

Results

516.0ms	8000×	body	128	valid
0.0ms	7×	body	128	invalid

Compiler

Compiled 226 to 146 computations (35.4% saved)

Details

analyze223.0ms (2.8%)

sample25.0ms (0.3%)

simplify78.0ms (1%)

prune4.0ms (0%)

localize19.0ms (0.2%)

rewrite181.0ms (2.3%)

series235.0ms (3%)

simplify183.0ms (2.3%)

prune115.0ms (1.5%)

localize20.0ms (0.3%)

rewrite276.0ms (3.5%)

series145.0ms (1.8%)

simplify162.0ms (2.1%)

prune142.0ms (1.8%)

localize19.0ms (0.2%)

rewrite198.0ms (2.5%)

series193.0ms (2.5%)

simplify135.0ms (1.7%)

prune125.0ms (1.6%)

localize32.0ms (0.4%)

rewrite380.0ms (4.8%)

series2.1s (26.5%)

simplify318.0ms (4.1%)

prune411.0ms (5.2%)

regimes1.2s (15.6%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample914.0ms (11.7%)

Profiling