[math-fun] An obscure quartic equation