Let $k$ be a field of characteristic zero, and let $A_1=A_1(k)$ be the first Weyl algebra. It is well known (first proved by Dixmier, if I am not wrong) that the group of automorphisms of $A_1$, denote it by $H$, is the free amalgamated product of two of its subgroups (the affine and the triangular automorphisms), see for example, [Theorem 2][1]. Denote the group of automorphisms and anti-automorphisms of $A_1$ by $G$. It is easy to see that $H$ is a normal subgroup of $G$ (of index $2$). **My question:** Is it true that $G$ is the free amalgamated product of two of its subgroups, namely, the affine and the triangular automorphisms and anti-automorphisms? It seems to me that my question should have a positive answer, with a proof for $G$ similar to a proof for $H$ (am I missing something?). Thank you very much for your help. [1]: http://archive.numdam.org/article/BSMF_1984__112__359_0.pdf