%%HP: T(1)A(D)F(,);
'SIN(2*X)=SIN(X+‡/2
)'