simplify((sin(3*π/4-x)/sin(x))*√2=1--ctg(x))