Details

analyze2.8s (17%)

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
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
0.8%	99%	0.2%	11
1.2%	98.6%	0.2%	12
1.8%	98%	0.2%	13
2%	97.7%	0.2%	14

Compiler

Compiled 20 to 18 computations (10% saved)

sample222.0ms (1.4%)

Algorithm

1×

intervals

Results

157.0ms	175×	body	1024	valid
27.0ms	51×	body	512	valid
15.0ms	8×	body	2048	valid
4.0ms	11×	body	256	valid
2.0ms	11×	body	128	valid

Compiler

Compiled 39 to 40 computations (-2.6% saved)

simplify102.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	96	31
1	96	31

prune9.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

14.3b

Counts

2 → 1

Compiler

Compiled 38 to 34 computations (10.5% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
0.2b	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
0.9b	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
2.8b	(cos.f64 (-.f64 lambda1 lambda2))

rewrite23.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480` `pow1_binary64_1503`
10×	`add-sqr-sqrt_binary64_1464`
8×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
6×	`associate-r_binary64_1382`
4×	`cbrt-unprod_binary64_1475` `associate-l_binary64_1383` `pow-prod-down_binary64_1513` `add-log-exp_binary64_1481` `prod-exp_binary64_1491` `cos-sum_binary64_1576`
3×	`cancel-sign-sub-inv_binary64_1408` `cos-diff_binary64_1579`
2×	`*-commutative_binary64_1373`
1×	`acos-asin_binary64_1623` `sub-neg_binary64_1435` `distribute-lft-in_binary64_1391` `distribute-rgt-in_binary64_1392` `cos-mult_binary64_1596` `associate-*l/_binary64_1385` `unswap-sqr_binary64_1410`

Counts

4 → 59

Calls

4 calls:

7.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
5.0ms	(cos.f64 (-.f64 lambda1 lambda2))
3.0ms	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
1.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

series303.0ms (1.9%)

Counts

4 → 12

Calls

4 calls:

130.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
122.0ms	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
35.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
16.0ms	(cos.f64 (-.f64 lambda1 lambda2))

simplify75.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4894	1724
1	4894	1724

prune103.0ms (0.6%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	56	15	71
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	57	15	72

Error

2.5b

Counts

72 → 15

Compiler

Compiled 2277 to 567 computations (75.1% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))
0.2b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) R)
0.2b	(.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))
0.9b	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))))

rewrite32.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480` `pow1_binary64_1503`
17×	`cbrt-unprod_binary64_1475` `pow-prod-down_binary64_1513` `prod-exp_binary64_1491`
8×	`add-sqr-sqrt_binary64_1464`
6×	`cos-mult_binary64_1596` `add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
5×	`associate-r_binary64_1382` `associate-l_binary64_1383`
4×	`add-log-exp_binary64_1481`
3×	`*-commutative_binary64_1373`
2×	`associate-r/_binary64_1384` `frac-times_binary64_1452` `sin-mult_binary64_1597` `associate-l/_binary64_1385`
1×	`acos-asin_binary64_1623` `unswap-sqr_binary64_1410`

Counts

4 → 76

Calls

4 calls:

9.0ms	(.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))
8.0ms	(.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))
4.0ms	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) R)
1.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))))

series491.0ms (3%)

Counts

4 → 12

Calls

4 calls:

190.0ms	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) R)
126.0ms	(.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))
114.0ms	(.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))
60.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))))

simplify78.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5094	2589

prune128.0ms (0.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	78	10	88
Fresh	10	4	14
Picked	1	0	1
Done	0	0	0
Total	89	14	103

Error

2.5b

Counts

103 → 14

Compiler

Compiled 3768 to 726 computations (80.7% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (log.f64 (exp.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))) R)
0.4b	(exp.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
0.5b	(log.f64 (exp.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
0.9b	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))

rewrite22.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64_1464`
10×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
9×	`exp-prod_binary64_1494`
8×	`log-pow_binary64_1531` `pow1_binary64_1503`
7×	`associate-l_binary64_1383`
6×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480`
5×	`add-log-exp_binary64_1481`
3×	`associate-r_binary64_1382` `acos-asin_binary64_1623` `log-prod_binary64_1528`
2×	`exp-diff_binary64_1490`
1×	`cbrt-unprod_binary64_1475` `rem-exp-log_binary64_1482` `rem-log-exp_binary64_1483` `pow-prod-down_binary64_1513` `*-commutative_binary64_1373` `prod-exp_binary64_1491` `log-div_binary64_1529` `unswap-sqr_binary64_1410`

Counts

4 → 58

Calls

4 calls:

5.0ms	(.f64 (log.f64 (exp.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))) R)
2.0ms	(log.f64 (exp.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
2.0ms	(exp.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
1.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))

series982.0ms (6%)

Counts

4 → 12

Calls

4 calls:

602.0ms	(.f64 (log.f64 (exp.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))) R)
204.0ms	(log.f64 (exp.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
120.0ms	(exp.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
56.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))

simplify132.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (99.0ms)

Iter	Nodes	Cost
0	4866	3226
1	4866	3226

prune118.0ms (0.7%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	64	6	70
Fresh	2	11	13
Picked	1	0	1
Done	0	0	0
Total	67	17	84

Error

2.4b

Counts

84 → 17

Compiler

Compiled 3488 to 613 computations (82.4% saved)

localize32.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(exp.f64 (-.f64 (/.f64 PI.f64 2) (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
0.5b	(log.f64 (exp.f64 (-.f64 (/.f64 PI.f64 2) (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))))
0.6b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
0.6b	(-.f64 (/.f64 PI.f64 2) (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))

rewrite37.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64_1464`
16×	`*-un-lft-identity_binary64_1442`
12×	`exp-prod_binary64_1494`
10×	`add-cube-cbrt_binary64_1477` `exp-sum_binary64_1488`
9×	`cancel-sign-sub-inv_binary64_1408` `add-log-exp_binary64_1481`
8×	`log-prod_binary64_1528`
7×	`log-pow_binary64_1531`
6×	`difference-of-squares_binary64_1411`
5×	`pow1_binary64_1503`
4×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480` `asin-acos_binary64_1622`
3×	`times-frac_binary64_1448` `sub-neg_binary64_1435` `associate--r-_binary64_1381` `distribute-lft-out--_binary64_1394`
2×	`rem-exp-log_binary64_1482` `diff-log_binary64_1534` `exp-diff_binary64_1490`
1×	`rem-log-exp_binary64_1483` `flip3--_binary64_1446` `flip--_binary64_1417` `log-div_binary64_1529`

Counts

4 → 71

Calls

4 calls:

9.0ms	(exp.f64 (-.f64 (/.f64 PI.f64 2) (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
9.0ms	(log.f64 (exp.f64 (-.f64 (/.f64 PI.f64 2) (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))))
8.0ms	(-.f64 (/.f64 PI.f64 2) (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
1.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))

series687.0ms (4.2%)

Counts

4 → 12

Calls

4 calls:

320.0ms	(log.f64 (exp.f64 (-.f64 (/.f64 PI.f64 2) (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))))
210.0ms	(exp.f64 (-.f64 (/.f64 PI.f64 2) (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
104.0ms	(-.f64 (/.f64 PI.f64 2) (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
52.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))

simplify102.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5017	4254

prune111.0ms (0.7%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	78	5	83
Fresh	2	14	16
Picked	1	0	1
Done	0	0	0
Total	81	19	100

Error

2.3b

Counts

100 → 19

Compiler

Compiled 3590 to 678 computations (81.1% saved)

regimes1.5s (9.3%)

Accuracy

Total 0.5b remaining (14%)

Threshold costs 0.5b (14%)

Compiler

Compiled 23734 to 13878 computations (41.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	33	53
1	33	53

end0.0ms (0%)

sample8.2s (50.2%)

Algorithm

1×

intervals

Results

4.7s	5493×	body	1024	valid
765.0ms	1453×	body	512	valid
477.0ms	250×	body	2048	valid
186.0ms	508×	body	256	valid
51.0ms	296×	body	128	valid
2.0ms	2×	body	1024	invalid
1.0ms	2×	body	512	invalid

Compiler

Compiled 2278 to 1328 computations (41.7% saved)

Details

analyze2.8s (17%)

sample222.0ms (1.4%)

simplify102.0ms (0.6%)

prune9.0ms (0.1%)

localize19.0ms (0.1%)

rewrite23.0ms (0.1%)

series303.0ms (1.9%)

simplify75.0ms (0.5%)

prune103.0ms (0.6%)

localize28.0ms (0.2%)

rewrite32.0ms (0.2%)

series491.0ms (3%)

simplify78.0ms (0.5%)

prune128.0ms (0.8%)

localize28.0ms (0.2%)

rewrite22.0ms (0.1%)

series982.0ms (6%)

simplify132.0ms (0.8%)

prune118.0ms (0.7%)

localize32.0ms (0.2%)

rewrite37.0ms (0.2%)

series687.0ms (4.2%)

simplify102.0ms (0.6%)

prune111.0ms (0.7%)

regimes1.5s (9.3%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample8.2s (50.2%)

Profiling