# convert to cos(x);

tocos(sin(x_)) := cos(x-pi/2);
tocos(sin(x_)^2) := 1-cos(x)^2;