Details

analyze724.0ms (4.4%)

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
49.9%	49.9%	0.2%	3
49.9%	49.9%	0.2%	4
49.9%	49.9%	0.2%	5
49.9%	49.9%	0.2%	6
74.9%	25%	0.2%	7
74.9%	25%	0.2%	8
74.9%	25%	0.2%	9
74.9%	25%	0.2%	10
87.3%	12.5%	0.2%	11
87.3%	12.5%	0.2%	12
87.3%	12.5%	0.2%	13
87.3%	12.5%	0.2%	14

Compiler

Compiled 34 to 30 computations (11.8% saved)

sample91.0ms (0.6%)

Algorithm

1×

intervals

Results

33.0ms	197×	body	128	valid
20.0ms	25×	body	1024	valid
12.0ms	21×	body	512	valid
5.0ms	13×	body	256	valid

Compiler

Compiled 71 to 63 computations (11.3% saved)

simplify63.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

575×	`associate-l_binary64`
512×	`unswap-sqr_binary64`
437×	`associate-r_binary64`
407×	`distribute-rgt-out_binary64`
369×	`associate-/r/_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	42
1	56	39
2	107	39
3	429	39
4	2037	39
5	4850	39
6	4809	39
7	5523	39

prune7.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

2.3b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	2.3b	(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))))

Compiler

Compiled 87 to 75 computations (13.8% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (sin.f64 kx) 2)
0.3b	(/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))
3.4b	(.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
9.1b	(sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))

rewrite284.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

1.9b

Rules

33×	`add-sqr-sqrt_binary64`
30×	`*-un-lft-identity_binary64`
26×	`add-cube-cbrt_binary64`
21×	`times-frac_binary64`
19×	`add-exp-log_binary64`

Counts

4 → 113

Calls

4 calls:

17.0ms	(.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
7.0ms	(/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))
4.0ms	(sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))
3.0ms	(pow.f64 (sin.f64 kx) 2)

Compiler

Compiled 4229 to 3201 computations (24.3% saved)

series745.0ms (4.5%)

Error

0.6b

Counts

4 → 56

Calls

4 calls:

343.0ms	(/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))
217.0ms	(sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))
115.0ms	(.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
9.0ms	(pow.f64 (sin.f64 kx) 2)

Compiler

Compiled 5726 to 4733 computations (17.3% saved)

simplify158.0ms (1%)

Algorithm

1×	egg-herbie

Rules

432×	`distribute-rgt-in_binary64`
420×	`distribute-lft-in_binary64`
359×	`times-frac_binary64`
304×	`unswap-sqr_binary64`
178×	`associate-r_binary64`

Counts

169 → 144

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	304	6442
1	719	6047
2	2187	5859
3	5231	5859

prune199.0ms (1.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	141	3	144
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	141	4	145

Error

Counts

145 → 4

Alt Table

Status	Error	Program
	27.7b	(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (+.f64 (.f64 l (sqrt.f64 (.f64 (/.f64 4 Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om))))) (.f64 1/2 (/.f64 (sqrt.f64 (/.f64 1 (.f64 (/.f64 4 Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om))))) l))))))
	5.6b	(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (+.f64 1 (.f64 2 (.f64 (/.f64 (*.f64 l l) Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om))))))))
▶	2.3b	(sqrt.f64 (+.f64 1/2 (log.f64 (exp.f64 (/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 (/.f64 (.f64 2 l) Om) 2)))))))))
✓	2.3b	(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))))

Compiler

Compiled 3895 to 2854 computations (26.7% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 (/.f64 (.f64 2 l) Om) 2)))))
2.3b	(log.f64 (exp.f64 (/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 (/.f64 (.f64 2 l) Om) 2)))))))
3.4b	(.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 (/.f64 (.f64 2 l) Om) 2))
9.1b	(sqrt.f64 (+.f64 1 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 (/.f64 (.f64 2 l) Om) 2))))

rewrite346.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

45×	`add-sqr-sqrt_binary64`
42×	`*-un-lft-identity_binary64`
39×	`times-frac_binary64`
38×	`add-cube-cbrt_binary64`
25×	`log-pow_binary64`

Counts

4 → 129

Calls

4 calls:

19.0ms	(.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 (/.f64 (.f64 2 l) Om) 2))
9.0ms	(log.f64 (exp.f64 (/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 (/.f64 (.f64 2 l) Om) 2)))))))
6.0ms	(/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 (/.f64 (.f64 2 l) Om) 2)))))
4.0ms	(sqrt.f64 (+.f64 1 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 (/.f64 (.f64 2 l) Om) 2))))

Compiler

Compiled 5472 to 4213 computations (23% saved)

series1.3s (7.7%)

Error

Counts

4 → 69

Calls

4 calls:

543.0ms	(log.f64 (exp.f64 (/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 (/.f64 (.f64 2 l) Om) 2)))))))
307.0ms	(/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 (/.f64 (.f64 2 l) Om) 2)))))
218.0ms	(sqrt.f64 (+.f64 1 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 (/.f64 (.f64 2 l) Om) 2))))
119.0ms	(.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 (/.f64 (.f64 2 l) Om) 2))

Compiler

Compiled 7391 to 6151 computations (16.8% saved)

simplify304.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

390×	`distribute-rgt-in_binary64`
390×	`times-frac_binary64`
382×	`distribute-lft-in_binary64`
153×	`unswap-sqr_binary64`
148×	`associate-r_binary64`

Counts

198 → 180

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	344	8267
1	681	7771
2	1919	7496
3	4780	7490
4	4997	7490
5	4962	7490

prune278.0ms (1.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	180	0	180
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	180	4	184

Error

Counts

184 → 4

Alt Table

Status	Error	Program
	27.7b	(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (+.f64 (.f64 l (sqrt.f64 (.f64 (/.f64 4 Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om))))) (.f64 1/2 (/.f64 (sqrt.f64 (/.f64 1 (.f64 (/.f64 4 Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om))))) l))))))
▶	5.6b	(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (+.f64 1 (.f64 2 (.f64 (/.f64 (*.f64 l l) Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om))))))))
✓	2.3b	(sqrt.f64 (+.f64 1/2 (log.f64 (exp.f64 (/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 (/.f64 (.f64 2 l) Om) 2)))))))))
✓	2.3b	(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))))

Compiler

Compiled 5360 to 3973 computations (25.9% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

3.7b	(.f64 (/.f64 (.f64 l l) Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om)))
4.6b	(/.f64 (pow.f64 (sin.f64 kx) 2) Om)
5.1b	(/.f64 (pow.f64 (sin.f64 ky) 2) Om)
7.9b	(/.f64 (*.f64 l l) Om)

rewrite411.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

67×	`times-frac_binary64`
61×	`*-un-lft-identity_binary64`
51×	`add-sqr-sqrt_binary64`
47×	`add-cube-cbrt_binary64`
30×	`unpow-prod-down_binary64`

Counts

4 → 163

Calls

4 calls:

57.0ms	(.f64 (/.f64 (.f64 l l) Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om)))
6.0ms	(/.f64 (pow.f64 (sin.f64 ky) 2) Om)
6.0ms	(/.f64 (pow.f64 (sin.f64 kx) 2) Om)
5.0ms	(/.f64 (*.f64 l l) Om)

Compiler

Compiled 5891 to 3454 computations (41.4% saved)

series227.0ms (1.4%)

Error

Counts

4 → 32

Calls

4 calls:

128.0ms	(.f64 (/.f64 (.f64 l l) Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om)))
29.0ms	(/.f64 (pow.f64 (sin.f64 kx) 2) Om)
25.0ms	(/.f64 (pow.f64 (sin.f64 ky) 2) Om)
23.0ms	(/.f64 (*.f64 l l) Om)

Compiler

Compiled 2340 to 1870 computations (20.1% saved)

simplify157.0ms (1%)

Algorithm

1×	egg-herbie

Rules

505×	`associate-/l/_binary64`
369×	`associate-/r/_binary64`
338×	`distribute-rgt-in_binary64`
320×	`distribute-lft-in_binary64`
206×	`associate-*l/_binary64`

Counts

195 → 127

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	281	4132
1	654	3504
2	2154	3414
3	4848	3414
4	4998	3414

prune146.0ms (0.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	127	4	131

Error

Counts

131 → 4

Alt Table

Status	Error	Program
▶	27.7b	(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (+.f64 (.f64 l (sqrt.f64 (.f64 (/.f64 4 Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om))))) (.f64 1/2 (/.f64 (sqrt.f64 (/.f64 1 (.f64 (/.f64 4 Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om))))) l))))))
✓	5.6b	(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (+.f64 1 (.f64 2 (.f64 (/.f64 (*.f64 l l) Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om))))))))
✓	2.3b	(sqrt.f64 (+.f64 1/2 (log.f64 (exp.f64 (/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 (/.f64 (.f64 2 l) Om) 2)))))))))
✓	2.3b	(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))))

Compiler

Compiled 2712 to 1607 computations (40.7% saved)

localize33.0ms (0.2%)

Local error

Found 4 expressions with local error:

5.1b	(/.f64 (pow.f64 (sin.f64 ky) 2) Om)
5.1b	(/.f64 (pow.f64 (sin.f64 ky) 2) Om)
27.1b	(sqrt.f64 (/.f64 1 (*.f64 (/.f64 4 Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om)))))
27.2b	(sqrt.f64 (*.f64 (/.f64 4 Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om))))

rewrite413.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

51×	`times-frac_binary64`
41×	`add-sqr-sqrt_binary64`
40×	`*-un-lft-identity_binary64`
40×	`add-cube-cbrt_binary64`
24×	`unpow-prod-down_binary64`

Counts

4 → 144

Calls

4 calls:

53.0ms	(sqrt.f64 (/.f64 1 (*.f64 (/.f64 4 Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om)))))
46.0ms	(sqrt.f64 (*.f64 (/.f64 4 Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om))))
6.0ms	(/.f64 (pow.f64 (sin.f64 ky) 2) Om)
6.0ms	(/.f64 (pow.f64 (sin.f64 ky) 2) Om)

Compiler

Compiled 8249 to 5463 computations (33.8% saved)

series338.0ms (2.1%)

Error

Counts

4 → 35

Calls

4 calls:

128.0ms	(sqrt.f64 (/.f64 1 (*.f64 (/.f64 4 Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om)))))
112.0ms	(sqrt.f64 (*.f64 (/.f64 4 Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om))))
31.0ms	(/.f64 (pow.f64 (sin.f64 ky) 2) Om)
29.0ms	(/.f64 (pow.f64 (sin.f64 ky) 2) Om)

Compiler

Compiled 4409 to 3208 computations (27.2% saved)

simplify122.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

554×	`times-frac_binary64`
537×	`associate-/l*_binary64`
368×	`associate-*l/_binary64`
354×	`associate-l_binary64`
347×	`associate-/r*_binary64`

Counts

179 → 110

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	237	4112
1	492	3679
2	1292	3638
3	5003	3638

prune170.0ms (1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	110	4	114

Error

Counts

114 → 4

Alt Table

Status	Error	Program
	27.7b	(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (+.f64 (.f64 l (sqrt.f64 (.f64 (/.f64 4 Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om))))) (.f64 1/2 (/.f64 (sqrt.f64 (/.f64 1 (.f64 (/.f64 4 Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om))))) l))))))
	5.6b	(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (+.f64 1 (.f64 2 (.f64 (/.f64 (*.f64 l l) Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om))))))))
	2.3b	(sqrt.f64 (+.f64 1/2 (log.f64 (exp.f64 (/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 (/.f64 (.f64 2 l) Om) 2)))))))))
	2.3b	(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))))

Compiler

Compiled 4805 to 3154 computations (34.4% saved)

regimes6.8s (41.6%)

Accuracy

Total 0.3b remaining (78.3%)

Threshold costs 0.3b (78.3%)

Compiler

Compiled 128438 to 101259 computations (21.2% saved)

bsearch8.0ms (0.1%)

Compiler: Compiled 11 to 9 computations (18.2% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary64`
6×	`+-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	201
1	65	201
2	64	201

end15.0ms (0.1%)

Remove: (sort kx ky)
Compiler: Compiled 396 to 300 computations (24.2% saved)

sample3.0s (18.3%)

Algorithm

1×

intervals

Results

1.3s	6390×	body	128	valid
657.0ms	786×	body	1024	valid
311.0ms	526×	body	512	valid
121.0ms	296×	body	256	valid
2.0ms	2×	body	2048	valid

Compiler

Compiled 316 to 251 computations (20.6% saved)

Details

analyze724.0ms (4.4%)

sample91.0ms (0.6%)

simplify63.0ms (0.4%)

prune7.0ms (0%)

localize25.0ms (0.2%)

rewrite284.0ms (1.7%)

series745.0ms (4.5%)

simplify158.0ms (1%)

prune199.0ms (1.2%)

localize22.0ms (0.1%)

rewrite346.0ms (2.1%)

series1.3s (7.7%)

simplify304.0ms (1.9%)

prune278.0ms (1.7%)

localize23.0ms (0.1%)

rewrite411.0ms (2.5%)

series227.0ms (1.4%)

simplify157.0ms (1%)

prune146.0ms (0.9%)

localize33.0ms (0.2%)

rewrite413.0ms (2.5%)

series338.0ms (2.1%)

simplify122.0ms (0.7%)

prune170.0ms (1%)

regimes6.8s (41.6%)

bsearch8.0ms (0.1%)

simplify6.0ms (0%)

end15.0ms (0.1%)

sample3.0s (18.3%)

Profiling