Nephroid as an envelope

Equation of the nephroid curve is a sixth order algebraic curve, however, in this example it seems like it's of 8th order because two additional components are drawn (the two parallel tangents). It is constructed by mirroring parallel rays to the edge of the circle. Finally, the Envelope command was used.
The equation is shown by using a small script size. Even worse, if you drag point B, you can see that the coefficients of the equation will increase significantly, unless B has integer coordinates. This example shows however the robustness of the underlying computer algebra system, Giac.