我自己解决
附上答案
(setq r 50.0
l 42.0
t1 (dcb:tan (angtof "80"))
t3 (dcb:tan (angtof "50"))
e (/ l t1))
(setq m (- (* r r) (* l l) (* e e))
n (+ (- (* r 2.0) (* l 2.0)) (/ (* l 2.0) (* t1 t3)))
)
(setq c (- (* t3 t3 m))
b (* t3 t3 n)
)
(setq x (* (+ (- b) (sqrt (- (* b b) (* 4 c)))) 0.5))