error in algebraic reasoning

```BA:AC = 1_/2 [00] & AC:BA = 2_/1 [01] (Ratio chase)⇒ AC = BA [25]``` which is flat-out wrong.
this was one of the proof steps generated from running ddar on the problem
```A B C = triangle12 A B C
D E = square B C D E
F = on_dia F D A
G = on_line G B E
H = foot H A B C
I = excenter I A B D
J = psquare J E A
K = on_circum K F I E
L M = trisegment L M D B```

### with the question (proof target)

```? eqangle a b e h d h a c```