[WP34S] DEG and RAD  diffs

06062014, 08:33 AM
Post: #21




RE: [WP34S] DEG and RAD  diffs
(06062014 08:21 AM)Thomas Klemm Wrote: Or do you calculate \(e^x1\) directly without extinction for small x? Yes. The EXP1 function already exists to do this. I actually calculate: sinh(x) = ((z * 0.5) / (z+1)) * (z+1+1), where z = \(e^x1\) The order of operations should avoid overflow issues which is why I think this ought to work for larger x. Still, the obvious approach works for large x and will be faster.  Pauli 

06062014, 04:07 PM
Post: #22




RE: [WP34S] DEG and RAD  diffs
(06062014 01:51 AM)Paul Dale Wrote:(06062014 01:31 AM)Claudio L. Wrote: There's other cases where this can't be avoided: cosh() for example. Yeah, I made a mistake, it was acosh() not cosh the one that gave me trouble (the rotation mode in CORDIC is quite stable, vectoring mode is much worse), since the argument close to 1 leaves you very few significant digits to work with. Also ln() is very tricky (it's also in rotation mode), because the input to the CORDIC algorithm is (1x) and (1+x). When x is close to one you lose a lot of digits in the first one, and when it's close to zero you lose them in the other one. Can't win. Claudio 

06062014, 04:24 PM
(This post was last modified: 06062014 04:36 PM by Claudio L..)
Post: #23




RE: [WP34S] DEG and RAD  diffs
(06062014 06:07 AM)Thomas Klemm Wrote:(06062014 01:31 AM)Claudio L. Wrote: However, CORDIC accumulate angles from large to small, adding smaller and smaller numbers to bring a target to zero. This is really bad for precision, because it forces you to start adding large terms first that cancel each other. Of course it depends on how you implement it, but the method is the same and has the same drawbacks. In your article you start with 0.1 radians for the angle rotation, and go down 0.1, 0.01, 0.001. First of all, that sequence will not converge for all numbers. EDIT: I just noticed your article does repetition. You can indeed achieve convergence by repeating rotations with the same angle. But it's bad for speed! There is a maximum ratio between a rotation angle and the next that can't be exceeded, and is a requisite for convergence. Binary cordic uses a ratio of 2, where each angle is half of the previous, and that guarantees convergence. a 1/10 ratio does not converge. There's multiple papers (I already added a link to a very good one on a previous post) where researchers propose different sequences of angles and prove that 'theirs is better'. newRPL uses 1.0, 0.5,0.2,0.2,0.1, 0.05,0.02,0.02,0.01... known as a 5,2,2,1 This sequence is proven on that paper to converge for both normal an hyperbolics. Now what if you are trying to calculate sin(3e10)? If you start your rotations with 0.1 radians, and go smaller, you will get a lot of errors. That's why I said it's bad for small angles. However, you can avoid that by starting the loop with 1e9 radians, and that would give you all the digits you need (and yes, it's 1e9 because you always start with an angle larger than your initial argument, otherwise does not converge). But starting the loop with smaller angles means the constants K=Product(cos(Alphai)) changes for each case, hence you need a whole lot of constants to handle this case properly. EDIT: With the method you described, you don't know how many repetitions so you have to compute the constants every time, alongside your other calculations. This is bad for speed and not how you'd normally implement CORDIC. Claudio 

06062014, 05:27 PM
Post: #24




RE: [WP34S] DEG and RAD  diffs
(06062014 04:07 PM)Claudio L. Wrote: Also ln() is very tricky (it's also in rotation mode), because the input to the CORDIC algorithm is (1x) and (1+x). When x is close to one you lose a lot of digits in the first one, and when it's close to zero you lose them in the other one. Can't win. Since we are talking about hyperbolic functions I assume you refer to artahn x = 1/2 ln[(1+x)/(1–x)]. Numerically this is not much of a problem as long as a ln1plusx function is available. This way artahn x can be written as 1/2 ln1plusx[2x/(1x)]. Since already the 41series offered such a function (as well as e^{x}–1 for that matter) there might be a way to realize this function in CORDIC as well. I am sure you will have a definitive answer here. ;) Dieter 

06062014, 05:42 PM
Post: #25




RE: [WP34S] DEG and RAD  diffs
(06062014 04:24 PM)Claudio L. Wrote: Now what if you are trying to calculate sin(3e10)? Compare it to all the angles in the list until one is smaller than 3e10. That will be \(\tan^{1}(10^{10})\) which is a little bit smaller than 1e10. Thus we can subtract \(3\cdot\tan^{1}(10^{10})\). And then we can go on with the remainder ... As you may notice there will be no cancellation due to adding or subtracting big values. Quote:However, you can avoid that by starting the loop with 1e9 radians In fact this is very similar to what you do. Quote:But starting the loop with smaller angles means the constants K=Product(cos(Alphai)) changes for each case, hence you need a whole lot of constants to handle this case properly. You can do without using the constant K. Calculate: \[\tan(\theta)=\frac{K\cdot\sin(\theta)}{K\cdot\cos(\theta)}\] From this you can calculate: \[\sin(\theta)=\frac{\tan(\theta)}{\sqrt{1+\tan(\theta)^2}}\] How normal do you consider the implementation used in most HPcalculators? Cheers Thomas 

06062014, 05:53 PM
(This post was last modified: 12272023 01:03 AM by Thomas Klemm.)
Post: #26




RE: [WP34S] DEG and RAD  diffs
(06062014 05:27 PM)Dieter Wrote: Since we are talking about hyperbolic functions I assume you refer to artahn x = 1/2 ln[(1+x)/(1–x)]. Nah, I think it's formula (20) of J. S. Walther's paper: \(\ln w = 2 \tanh^{1}(\frac{y}{x})\) where \(x=w+1\) and \(y=w1\). So it's just the other way round. 

06062014, 07:53 PM
Post: #27




RE: [WP34S] DEG and RAD  diffs
(06062014 05:42 PM)Thomas Klemm Wrote: You can do without using the constant K. Calculate: That seems easy to do, but then you have to do a division, a multiplication and a square root, on top of your sin/cos which both come together from CORDIC. The square root alone will take about half the time of the sin, so you'd increase your time by 50%. Yes, this will be faster than having to compute the constants alongside but still much worse than having a precomputed constant ready. Also, when x is close to zero, doing sqrt(1+x^2) is really bad for precision. The x^2 "spreads" your useful digits throughout your exponent range, then the square root compresses them back, and you lost about half of them at the end (see what I meant with "small angles are tougher on precision loss"). For hyperbolics, I'm using the doubleangle formulae with much better results since you don't have the square roots. For now, I'd rather have the constants precalculated, so after CORDIC, one multiplication and I got the final result. However, if we run out of space in ROM and I have to remove my constants, we'll have no choice but to use that trick (thanks, BTW). I'm not sure a similar trick will work well for hyperbolics, exp() and ln(), though. Claudio 

06062014, 10:27 PM
Post: #28




RE: [WP34S] DEG and RAD  diffs
(06062014 04:24 PM)Claudio L. Wrote: You can indeed achieve convergence by repeating rotations with the same angle. But it's bad for speed! If you want speed on a modern CPU, don't use CORDIC. Multiplications and additions are similar speed on the 34S  software floating point is slow but hardware integer operations help a lot. If I were chasing speed, I'd likely use polynomial or rational approximations. Probably piecewise ones. This will result in larger code sizes. The Intel decimal library recently discussed here did exactly this. Lots of approximations over small intervals meant lots of tables of coefficients but the code is fast and accurate. Of course, there are other options available. Elementary Functions by JeanMichel Muller is a good book giving details of many method.  Pauli 

06062014, 10:53 PM
Post: #29




RE: [WP34S] DEG and RAD  diffs
(06062014 07:53 PM)Claudio L. Wrote: Also, when x is close to zero, doing sqrt(1+x^2) is really bad for precision. The x^2 "spreads" your useful digits throughout your exponent range, then the square root compresses them back, and you lost about half of them at the end (see what I meant with "small angles are tougher on precision loss"). Huh?? For z near one, \(\sqrt{z}\) is always closer to one than z is. So yes, you will lose some least significant digits but the result is accurate within your working precision. Hence, \(\sqrt{1+x^2}\) for small x has no accuracy problems by itself, the answer will approach unity much faster than x approaches zero. If, on the other hand, you have something along the lines of \(\sqrt{1+x^2}1\), then the story is completely different. Here, there is a cancellation of digits and loss of precision due to the \(1\). However, these situations are rarely insurmountable. In this case, I'd use the transformation (assuming my algebra is good): $$\sqrt{1+x^2}1 = \frac{x^2}{\sqrt{1+x^2}+1}$$ which doesn't involve any cancellation. The actual transformation required will depend on the exact formula being evaluated of course.  Pauli 

06072014, 01:46 AM
(This post was last modified: 06072014 01:49 AM by Claudio L..)
Post: #30




RE: [WP34S] DEG and RAD  diffs
(06062014 10:53 PM)Paul Dale Wrote:(06062014 07:53 PM)Claudio L. Wrote: Also, when x is close to zero, doing sqrt(1+x^2) is really bad for precision. The x^2 "spreads" your useful digits throughout your exponent range, then the square root compresses them back, and you lost about half of them at the end (see what I meant with "small angles are tougher on precision loss"). You'r right, that term won't lose precision. I looked at my code, and here's where I was losing digits: // COMPUTE ACOS(X) = ATAN2(SQRT(1X^2),X) when x~1 (ACOS(X)~0) I couldn't get all the digits right (this is when the sqrt() brings your digits back). I should double check my posts, but I don't always have my devel machine with me to look at the code. Claudio 

06072014, 01:55 AM
Post: #31




RE: [WP34S] DEG and RAD  diffs
(06062014 10:27 PM)Paul Dale Wrote:(06062014 04:24 PM)Claudio L. Wrote: You can indeed achieve convergence by repeating rotations with the same angle. But it's bad for speed! More than speed of execution, I was looking at speed of coding. I got all transcendental functions with the same loop, and only a few variations around the same idea over the course of a few weeks. I got a lot of ground to cover, can't spend a whole year doing just trig. Once newRPL is finished, then I might attempt to do a piecewiseoptimized version. Claudio 

06072014, 03:38 AM
Post: #32




RE: [WP34S] DEG and RAD  diffs
(06072014 01:46 AM)Claudio L. Wrote: You're right, that term won't lose precision. As Pauli already pointed out there's no cancellation since: \[\frac{1}{\sqrt{1+x^2}}=1\frac{x^2}{2}+\ldots\] For a small x this will be close to 1 and thus \(\sin(x)\approx\tan(x)\). Quote:I looked at my code, and here's where I was losing digits: You might have a look at how the HP48 calculates the complex arccos. Cheers Thomas 

06072014, 11:08 AM
Post: #33




RE: [WP34S] DEG and RAD  diffs
@Thomas:
Thanks! Complex numbers are not done yet, so this article sure will be of great help! Claudio 

06072014, 12:57 PM
(This post was last modified: 06072014 02:31 PM by pito.)
Post: #34




RE: [WP34S] DEG and RAD  diffs
(06052014 12:08 AM)pito Wrote: With WP34S emulator v3.3.3605 and 9degree test (double) you get with DEG mode A comparison 9 degree DEG/RAD "test" with WMat (34 digits precision requested): Code: "STANDARD DEG MODE TEST" Code: "EXPERIMENTAL RAD MODE TEST" UPDATE: with 39 digits precision requested: Code: "STANDARD DEG MODE TEST" This is the result I would expect 

« Next Oldest  Next Newest »

User(s) browsing this thread: 2 Guest(s)