[math-fun] Quintic equation