New properties of the lemniscate function and its transformation

In this paper, we show several formulas for the lemniscate function which include an infinite product formula for the lemniscate sine. Furthermore, we show the relation between the product formula and Carlson's algorithm which is known as the variant of the arithmetic geometric mean of Gauss.