graph3d.resolution:=42
graph3d(one((- 0.707106*y*COS(time) + 0.707106*x*SIN(time) + 0.707106*z)/2.5)*(- 0.707106*y*COS(time) + 0.707106*x*SIN(time) + 0.707106*z) = (x*COS(time) + y*SIN(time))^2 + (0.707106*y*COS(time) - 0.707106*x*SIN(time) + 0.707106*z)^2)