Details

analyze2.7s (26.7%)

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
31.2%	68.6%	0.1%	9
31.2%	68.6%	0.1%	10
31.2%	68.6%	0.1%	11
40.6%	59.3%	0.1%	12
40.6%	59.3%	0.1%	13
40.6%	59.3%	0.1%	14

Compiler

Compiled 34 to 19 computations (44.1% saved)

sample156.0ms (1.6%)

Algorithm

1×

intervals

Results

80.0ms	68×	body	1024	valid
31.0ms	42×	body	512	valid
27.0ms	135×	body	128	valid
7.0ms	11×	body	256	valid

Compiler

Compiled 70 to 40 computations (42.9% saved)

simplify232.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

889×	`div-sub_binary64`
757×	`associate-/r/_binary64`
558×	`associate-/l*_binary64`
532×	`associate-/l/_binary64`
421×	`times-frac_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	50
1	43	50
2	103	50
3	210	50
4	282	50
5	407	50
6	532	50
7	730	50
8	939	50
9	1162	50
10	1076	50
11	1078	50
12	1110	50
13	1094	50
14	1094	50
15	1526	50
16	1982	50
17	1950	50
18	2006	50
19	2174	50
20	2270	50
21	2318	50
22	2358	50
23	2326	50
24	2326	50
25	1814	50
26	2110	50
27	1822	50
28	1822	50
29	1822	50
30	1607	50

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.2b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.2b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Status

Error

Program

▶

0.2b

(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 66 to 36 computations (45.5% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 eh (sin.f64 t))
2.4b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
2.4b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
23.5b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

rewrite79.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

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

Counts

4 → 73

Calls

4 calls:

6.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
5.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
3.0ms	(*.f64 eh (sin.f64 t))
1.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

Compiler

Compiled 2556 to 462 computations (81.9% saved)

series144.0ms (1.4%)

Error

0.2b

Counts

4 → 36

Calls

4 calls:

46.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
44.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
29.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
16.0ms	(*.f64 eh (sin.f64 t))

Compiler

Compiled 2808 to 1679 computations (40.2% saved)

simplify98.0ms (1%)

Algorithm

1×	egg-herbie

Rules

668×	`associate-/l*_binary64`
656×	`times-frac_binary64`
319×	`associate-*l/_binary64`
231×	`associate-/r*_binary64`
216×	`associate-/l/_binary64`

Counts

109 → 79

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	127	1636
1	301	1417
2	1078	1411
3	4558	1411
4	4993	1411
5	4980	1411

prune36.0ms (0.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	75	4	79
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	75	5	80

Error

0.1b

Counts

80 → 5

Alt Table

Status	Error	Program
	34.3b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (sqrt.f64 eh) (.f64 (sin.f64 t) (sqrt.f64 eh))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.6b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (cbrt.f64 eh) (cbrt.f64 eh)) (.f64 (sin.f64 t) (cbrt.f64 eh))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	20.4b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (cbrt.f64 (pow.f64 (.f64 eh (sin.f64 t)) 3)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
▶	0.2b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (log.f64 (exp.f64 (neg.f64 (/.f64 (.f64 (tan.f64 t) eh) ew)))))))))
✓	0.2b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 1794 to 481 computations (73.2% saved)

localize27.0ms (0.3%)

Local error

Found 4 expressions with local error:

2.4b	(/.f64 (*.f64 (tan.f64 t) eh) ew)
2.4b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
3.3b	(log.f64 (exp.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
23.5b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

rewrite129.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

19×	`log-pow_binary64`
18×	`exp-prod_binary64`
14×	`*-un-lft-identity_binary64`
14×	`add-sqr-sqrt_binary64`
14×	`add-cube-cbrt_binary64`

Counts

4 → 87

Calls

4 calls:

5.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
5.0ms	(/.f64 (*.f64 (tan.f64 t) eh) ew)
4.0ms	(log.f64 (exp.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
1.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

Compiler

Compiled 3268 to 762 computations (76.7% saved)

series233.0ms (2.3%)

Error

0.1b

Counts

4 → 36

Calls

4 calls:

96.0ms	(log.f64 (exp.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
49.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
44.0ms	(/.f64 (*.f64 (tan.f64 t) eh) ew)
32.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

Compiler

Compiled 2997 to 1872 computations (37.5% saved)

simplify86.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

648×	`div-sub_binary64`
566×	`associate-*l/_binary64`
425×	`associate-/l/_binary64`
378×	`associate-/r*_binary64`
372×	`associate-*r/_binary64`

Counts

123 → 97

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	177	1827
1	343	1629
2	1174	1629
3	3973	1625
4	5296	1625

prune76.0ms (0.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	97	5	102

Error

0.1b

Counts

102 → 5

Alt Table

Status	Error	Program
	34.3b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (sqrt.f64 eh) (.f64 (sin.f64 t) (sqrt.f64 eh))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
▶	0.6b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (cbrt.f64 eh) (cbrt.f64 eh)) (.f64 (sin.f64 t) (cbrt.f64 eh))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	20.4b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (cbrt.f64 (pow.f64 (.f64 eh (sin.f64 t)) 3)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.2b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (log.f64 (exp.f64 (neg.f64 (/.f64 (.f64 (tan.f64 t) eh) ew)))))))))
✓	0.2b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 2297 to 583 computations (74.6% saved)

localize26.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 eh)
2.4b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
2.4b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
23.5b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

rewrite160.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

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

Counts

4 → 66

Calls

4 calls:

5.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
5.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
1.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
1.0ms	(cbrt.f64 eh)

Compiler

Compiled 2825 to 451 computations (84% saved)

series154.0ms (1.5%)

Error

0.1b

Counts

4 → 30

Calls

4 calls:

50.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
49.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
32.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
14.0ms	(cbrt.f64 eh)

Compiler

Compiled 2858 to 1676 computations (41.4% saved)

simplify80.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

871×	`times-frac_binary64`
431×	`associate-/r*_binary64`
382×	`associate-*l/_binary64`
291×	`associate-/l/_binary64`
208×	`associate-/r/_binary64`

Counts

96 → 72

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	98	1419
1	215	1234
2	861	1232
3	4568	1232
4	5002	1232

prune47.0ms (0.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	72	5	77

Error

0.1b

Counts

77 → 5

Alt Table

Status	Error	Program
	34.3b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (sqrt.f64 eh) (.f64 (sin.f64 t) (sqrt.f64 eh))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.6b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (cbrt.f64 eh) (cbrt.f64 eh)) (.f64 (sin.f64 t) (cbrt.f64 eh))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
▶	20.4b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (cbrt.f64 (pow.f64 (.f64 eh (sin.f64 t)) 3)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.2b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (log.f64 (exp.f64 (neg.f64 (/.f64 (.f64 (tan.f64 t) eh) ew)))))))))
✓	0.2b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 1870 to 410 computations (78.1% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.4b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
2.4b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
23.5b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
36.9b	(cbrt.f64 (pow.f64 (*.f64 eh (sin.f64 t)) 3))

rewrite105.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

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

Counts

4 → 72

Calls

4 calls:

5.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
5.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
2.0ms	(cbrt.f64 (pow.f64 (*.f64 eh (sin.f64 t)) 3))
1.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

Compiler

Compiled 2796 to 722 computations (74.2% saved)

series162.0ms (1.6%)

Error

0.1b

Counts

4 → 36

Calls

4 calls:

49.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
48.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
32.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
21.0ms	(cbrt.f64 (pow.f64 (*.f64 eh (sin.f64 t)) 3))

Compiler

Compiled 3030 to 1877 computations (38.1% saved)

simplify85.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

635×	`div-sub_binary64`
624×	`associate-/l*_binary64`
591×	`times-frac_binary64`
269×	`associate-*l/_binary64`
204×	`associate-/r*_binary64`

Counts

108 → 80

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	130	1667
1	302	1474
2	996	1460
3	4346	1460
4	5784	1460

prune63.0ms (0.6%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	79	1	80
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	79	6	85

Error

0.1b

Counts

85 → 6

Alt Table

Status	Error	Program
	0.6b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 t) eh)) (cbrt.f64 (.f64 (sin.f64 t) eh))) (cbrt.f64 (.f64 (sin.f64 t) eh))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	34.3b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (sqrt.f64 eh) (.f64 (sin.f64 t) (sqrt.f64 eh))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.6b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (cbrt.f64 eh) (cbrt.f64 eh)) (.f64 (sin.f64 t) (cbrt.f64 eh))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	20.4b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (cbrt.f64 (pow.f64 (.f64 eh (sin.f64 t)) 3)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.2b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (log.f64 (exp.f64 (neg.f64 (/.f64 (.f64 (tan.f64 t) eh) ew)))))))))
	0.2b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 1993 to 568 computations (71.5% saved)

regimes232.0ms (2.3%)

Accuracy

Total 0.0b remaining (22.1%)

Threshold costs 0.0b (22.1%)

Compiler

Compiled 5824 to 3408 computations (41.5% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

19×	`*-commutative_binary64`
15×	`+-commutative_binary64`
15×	`sub-neg_binary64`
13×	`neg-sub0_binary64`
13×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	48
1	40	48
2	69	48
3	97	48
4	118	48
5	129	48
6	131	48
7	131	48

end1.0ms (0%)

Compiler: Compiled 32 to 21 computations (34.4% saved)

sample4.9s (48.7%)

Algorithm

1×

intervals

Results

2.5s	1973×	body	1024	valid
971.0ms	4538×	body	128	valid
698.0ms	965×	body	512	valid
243.0ms	517×	body	256	valid
23.0ms	7×	body	2048	valid

Compiler

Compiled 296 to 168 computations (43.2% saved)

Details

analyze2.7s (26.7%)

sample156.0ms (1.6%)

simplify232.0ms (2.3%)

prune2.0ms (0%)

localize20.0ms (0.2%)

rewrite79.0ms (0.8%)

series144.0ms (1.4%)

simplify98.0ms (1%)

prune36.0ms (0.4%)

localize27.0ms (0.3%)

rewrite129.0ms (1.3%)

series233.0ms (2.3%)

simplify86.0ms (0.9%)

prune76.0ms (0.8%)

localize26.0ms (0.3%)

rewrite160.0ms (1.6%)

series154.0ms (1.5%)

simplify80.0ms (0.8%)

prune47.0ms (0.5%)

localize24.0ms (0.2%)

rewrite105.0ms (1%)

series162.0ms (1.6%)

simplify85.0ms (0.9%)

prune63.0ms (0.6%)

regimes232.0ms (2.3%)

simplify6.0ms (0.1%)

end1.0ms (0%)

sample4.9s (48.7%)

Profiling