Inverse trigonometric and hyperbolic identities,series and products for Lucas sequences

In 1936 Lehmer observed that the inverse tangents of the reciprocals of the odd-indexed Fibonacci numbers add up exactly to a quarter of $π$. Many formulas of the same kind have been found since, each with its own proof: for the inverse tangent and for the inverse hyperbolic tangent, for sums and fo