doubt the effectiveness of the model

This is a Chinese high school math problem

Let me rewrite the problem as follows：
a b c = triangle a b c; a d e = triangle a d e; e = on_tline e a a b, eqdistance e a a b; b = on_tline b c a b; d = eqdistance d e a c ? perp e d a c

The model will stay stuck with no results.
Did I write something wrong, or the model can't handle this kind of math？I doubt it