I haven't seen Osborne's rule used in any of the previous methods. At least, not directly. You know that
Osborne's rule simply states that you can convert trigonometric identities to hyperbolic identities, except where there is a product of sines, when you have to change the sign. You know that: you reference it in the op.