Details

analyze2.1s (21.9%)

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)

sample117.0ms (1.2%)

Algorithm

1×

intervals

Results

52.0ms	59×	body	1024	valid
30.0ms	150×	body	128	valid
15.0ms	26×	body	512	valid
7.0ms	20×	body	256	valid
1.0ms	1×	body	2048	valid

Compiler

Compiled 70 to 40 computations (42.9% saved)

simplify251.0ms (2.7%)

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.1b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.1b	(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.1b

(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)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 ew (cos.f64 t))
2.2b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
2.2b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
23.1b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

rewrite118.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

16×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
12×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
6×	`pow1_binary64` `times-frac_binary64` `associate-/r*_binary64`
4×	`add-log-exp_binary64` `div-exp_binary64` `cbrt-undiv_binary64`

Counts

4 → 73

Calls

4 calls:

9.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
6.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
4.0ms	(*.f64 ew (cos.f64 t))
2.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

Compiler

Compiled 2556 to 456 computations (82.2% saved)

series201.0ms (2.1%)

Error

0.1b

Counts

4 → 34

Calls

4 calls:

64.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
64.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
42.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
21.0ms	(*.f64 ew (cos.f64 t))

Compiler

Compiled 2644 to 1605 computations (39.3% saved)

simplify82.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

714×	`associate-/l*_binary64`
648×	`div-sub_binary64`
513×	`associate-l_binary64`
409×	`associate-r_binary64`
272×	`associate-/r*_binary64`

Counts

107 → 75

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	105	1562
1	252	1355
2	931	1355
3	4041	1355
4	5711	1355

prune65.0ms (0.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	71	4	75
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	72	4	76

Error

0.1b

Counts

76 → 4

Alt Table

Status	Error	Program
	34.8b	(fabs.f64 (-.f64 (.f64 (.f64 (sqrt.f64 ew) (.f64 (cos.f64 t) (sqrt.f64 ew))) (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))))))
	4.3b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (neg.f64 (/.f64 (.f64 eh t) ew))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
▶	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cbrt.f64 (pow.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (.f64 eh (tan.f64 t)) ew)))) 3))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.9b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 (cbrt.f64 ew) (cbrt.f64 ew)) (.f64 (cos.f64 t) (cbrt.f64 ew))) (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 1637 to 426 computations (74% saved)

localize29.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.4b	(cbrt.f64 (pow.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew)))) 3))
2.2b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
2.2b	(/.f64 (*.f64 eh (tan.f64 t)) ew)
23.1b	(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))

rewrite182.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

14×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
12×	`cbrt-prod_binary64`
11×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
6×	`times-frac_binary64` `associate-/r*_binary64`
4×	`pow1_binary64` `add-log-exp_binary64` `div-exp_binary64` `cbrt-undiv_binary64`

Counts

4 → 76

Calls

4 calls:

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

Compiler

Compiled 2975 to 819 computations (72.5% saved)

series240.0ms (2.6%)

Error

0.1b

Counts

4 → 36

Calls

4 calls:

69.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
67.0ms	(/.f64 (*.f64 eh (tan.f64 t)) ew)
49.0ms	(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))
40.0ms	(cbrt.f64 (pow.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew)))) 3))

Compiler

Compiled 2944 to 1907 computations (35.2% saved)

simplify92.0ms (1%)

Algorithm

1×	egg-herbie

Rules

695×	`div-sub_binary64`
521×	`associate-*l/_binary64`
411×	`associate-/l/_binary64`
364×	`associate-/r*_binary64`
341×	`associate-*r/_binary64`

Counts

112 → 67

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	136	1941
1	296	1743
2	1162	1743
3	3830	1743
4	5112	1743

prune68.0ms (0.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	65	2	67
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	67	4	71

Error

0.1b

Counts

71 → 4

Alt Table

Status	Error	Program
	34.8b	(fabs.f64 (-.f64 (.f64 (.f64 (sqrt.f64 ew) (.f64 (cos.f64 t) (sqrt.f64 ew))) (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))))))
	0.2b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (.f64 eh (tan.f64 t)) ew))))) 6)) (cbrt.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (.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))))))
▶	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (exp.f64 (log.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (.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))))))
	0.9b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 (cbrt.f64 ew) (cbrt.f64 ew)) (.f64 (cos.f64 t) (cbrt.f64 ew))) (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 1508 to 509 computations (66.2% saved)

localize33.0ms (0.4%)

Local error

Found 4 expressions with local error:

1.7b	(log.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew)))))
2.2b	(/.f64 (*.f64 eh (tan.f64 t)) ew)
2.2b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
23.1b	(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))

rewrite135.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

15×	`add-exp-log_binary64`
14×	`add-cbrt-cube_binary64`
9×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
6×	`times-frac_binary64` `associate-/r*_binary64`
5×	`pow1_binary64`

Counts

4 → 68

Calls

4 calls:

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

Compiler

Compiled 2569 to 586 computations (77.2% saved)

series261.0ms (2.8%)

Error

0.1b

Counts

4 → 36

Calls

4 calls:

78.0ms	(log.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew)))))
69.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
63.0ms	(/.f64 (*.f64 eh (tan.f64 t)) ew)
41.0ms	(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))

Compiler

Compiled 2859 to 1867 computations (34.7% saved)

simplify111.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

695×	`div-sub_binary64`
523×	`associate-*l/_binary64`
411×	`associate-/l/_binary64`
366×	`associate-/r*_binary64`
342×	`associate-*r/_binary64`

Counts

104 → 55

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	121	1769
1	265	1565
2	1059	1565
3	3654	1565
4	4955	1565
5	4968	1565

prune63.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	55	0	55
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	55	4	59

Error

0.1b

Counts

59 → 4

Alt Table

Status	Error	Program
	34.8b	(fabs.f64 (-.f64 (.f64 (.f64 (sqrt.f64 ew) (.f64 (cos.f64 t) (sqrt.f64 ew))) (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))))))
▶	0.2b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (.f64 eh (tan.f64 t)) ew))))) 6)) (cbrt.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (.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))))))
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (exp.f64 (log.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (.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))))))
	0.9b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 (cbrt.f64 ew) (cbrt.f64 ew)) (.f64 (cos.f64 t) (cbrt.f64 ew))) (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 1336 to 417 computations (68.8% saved)

localize34.0ms (0.4%)

Local error

Found 4 expressions with local error:

2.2b	(/.f64 (*.f64 eh (tan.f64 t)) ew)
2.2b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
23.1b	(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))
23.1b	(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))

rewrite141.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

14×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
6×	`times-frac_binary64` `associate-/r*_binary64`
4×	`pow1_binary64` `add-log-exp_binary64` `div-exp_binary64` `cbrt-undiv_binary64`
2×	`cos-atan_binary64` `atan-neg_binary64` `cos-neg_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `frac-2neg_binary64` `clear-num_binary64` `div-inv_binary64` `tan-quot_binary64` `associate-r/_binary64` `associate-/l/_binary64` `associate-/l_binary64`

Counts

4 → 63

Calls

4 calls:

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

Compiler

Compiled 3237 to 788 computations (75.7% saved)

series245.0ms (2.6%)

Error

0.1b

Counts

4 → 36

Calls

4 calls:

70.0ms	(/.f64 (*.f64 eh (tan.f64 t)) ew)
69.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
48.0ms	(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))
45.0ms	(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))

Compiler

Compiled 3919 to 2257 computations (42.4% saved)

simplify82.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

695×	`div-sub_binary64`
523×	`associate-*l/_binary64`
411×	`associate-/l/_binary64`
366×	`associate-/r*_binary64`
342×	`associate-*r/_binary64`

Counts

99 → 51

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	107	1575
1	251	1391
2	1041	1391
3	3629	1391
4	4970	1391

prune60.0ms (0.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	51	0	51
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	51	4	55

Error

0.1b

Counts

55 → 4

Alt Table

Status	Error	Program
	34.8b	(fabs.f64 (-.f64 (.f64 (.f64 (sqrt.f64 ew) (.f64 (cos.f64 t) (sqrt.f64 ew))) (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))))))
	0.2b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (.f64 eh (tan.f64 t)) ew))))) 6)) (cbrt.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (.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))))))
	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (exp.f64 (log.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (.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))))))
	0.9b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 (cbrt.f64 ew) (cbrt.f64 ew)) (.f64 (cos.f64 t) (cbrt.f64 ew))) (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 1428 to 430 computations (69.9% saved)

regimes811.0ms (8.6%)

Accuracy

Total 0.0b remaining (16.7%)

Threshold costs 0.0b (16.7%)

Compiler

Compiled 12449 to 7733 computations (37.9% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

19×	`*-commutative_binary64`
15×	`sub-neg_binary64` `+-commutative_binary64`
14×	`neg-mul-1_binary64` `neg-sub0_binary64`
9×	`distribute-rgt-neg-in_binary64`
6×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	50
1	39	50
2	68	50
3	96	50
4	117	50
5	128	50
6	130	50
7	130	50

end1.0ms (0%)

Compiler: Compiled 33 to 18 computations (45.5% saved)

sample3.9s (41.4%)

Algorithm

1×

intervals

Results

1.8s	2022×	body	1024	valid
756.0ms	4503×	body	128	valid
570.0ms	951×	body	512	valid
197.0ms	520×	body	256	valid
6.0ms	4×	body	2048	valid

Compiler

Compiled 230 to 132 computations (42.6% saved)

Details

analyze2.1s (21.9%)

sample117.0ms (1.2%)

simplify251.0ms (2.7%)

prune2.0ms (0%)

localize21.0ms (0.2%)

rewrite118.0ms (1.3%)

series201.0ms (2.1%)

simplify82.0ms (0.9%)

prune65.0ms (0.7%)

localize29.0ms (0.3%)

rewrite182.0ms (1.9%)

series240.0ms (2.6%)

simplify92.0ms (1%)

prune68.0ms (0.7%)

localize33.0ms (0.4%)

rewrite135.0ms (1.4%)

series261.0ms (2.8%)

simplify111.0ms (1.2%)

prune63.0ms (0.7%)

localize34.0ms (0.4%)

rewrite141.0ms (1.5%)

series245.0ms (2.6%)

simplify82.0ms (0.9%)

prune60.0ms (0.6%)

regimes811.0ms (8.6%)

simplify5.0ms (0.1%)

end1.0ms (0%)

sample3.9s (41.4%)

Profiling