solve sin13x=cos12x