(/ (+ (* -0 '(/ (+ 0 (* 0 λ) (sqrt (+ 0 (* -0 λ^0)))) 0)^0) (* -00 λ '(/ (+ 0 (* 0 λ) (sqrt (+ 0 (* -0 λ^0)))) 0)^0) (* 0 (sqrt (+ 0 (* -0 λ^0))) '(/ (+ 0 (* 0 λ) (sqrt (+ 0 (* -0 λ^0)))) 0)^0) (* 00 a '(/ (+ 0 (* 0 λ) (sqrt (+ 0 (* -0 λ^0)))) 0)^0) (* 00 a λ '(/ (+ 0 (* 0 λ) (sqrt (+ 0 (* -0 λ^0)))) 0)^0) (* -0 a (sqrt (+ 0 (* -0 λ^0))) '(/ (+ 0 (* 0 λ) (sqrt (+ 0 (* -0 λ^0)))) 0)^0) (* -0 a^0 '(/ (+ 0 (* 0 λ) (sqrt (+ 0 (* -0 λ^0)))) 0)^0) (* -00 a^0 λ '(/ (+ 0 (* 0 λ) (sqrt (+ 0 (* -0 λ^0)))) 0)^0) (* 0 a^0 (sqrt (+ 0 (* -0 λ^0))) '(/ (+ 0 (* 0 λ) (sqrt (+ 0 (* -0 λ^0)))) 0)^0) (* 0 '(/ (+ 0 (* -0 λ) (sqrt (+ 0 (* -0 λ^0)))) 0)^0) (* -00 λ '(/ (+ 0 (* -0 λ) (sqrt (+ 0 (* -0 λ^0)))) 0)^0) (* -0 (sqrt (+ 0 (* -0 λ^0))) '(/ (+ 0 (* -0 λ) (sqrt (+ 0 (* -0 λ^0)))) 0)^0) (* -00 a '(/ (+ 0 (* -0 λ) (sqrt (+ 0 (* -0 λ^0)))) 0)^0) (* 00 a λ '(/ (+ 0 (* -0 λ) (sqrt (+ 0 (* -0 λ^0)))) 0)^0) (* 0 a (sqrt (+ 0 (* -0 λ^0))) '(/ (+ 0 (* -0 λ) (sqrt (+ 0 (* -0 λ^0)))) 0)^0) (* 0 a^0 '(/ (+ 0 (* -0 λ) (sqrt (+ 0 (* -0 λ^0)))) 0)^0) (* -00 a^0 λ '(/ (+ 0 (* -0 λ) (sqrt (+ 0 (* -0 λ^0)))) 0)^0) (* -0 a^0 (sqrt (+ 0 (* -0 λ^0))) '(/ (+ 0 (* -0 λ) (sqrt (+ 0 (* -0 λ^0)))) 0)^0)) (* 000 '(/ (+ 0 (* -0 λ) (sqrt (+ 0 (* -0 λ^0)))) 0)^0 '(/ (+ 0 (* 0 λ) (sqrt (+ 0 (* -0 λ^0)))) 0)^0))  (define $ret0