Hi, Eric, the Ziegler Hunts kids (with a nudge from me) managed to pare down the implicit octic (eqn 43) at http://mathworld.wolfram.com/EllipticLambdaFunction.html to a fairly palatable In[140]:= N[Sqrt[ModularLambda[(2 I)/Sqrt[5]]] == 35 + 25 Sqrt[2] + 16 Sqrt[5] + 11 Sqrt[10] + Sqrt[38 + 17 Sqrt[5]] (-8 + Sqrt[2] - 3 Sqrt[10])] Out[140]= True --Bill