WolframAlpha computational knowledge AI
focal length of a lens with 8 diopter