Алгебра. Тригонометрия.

Напишите, пожалуйста, как решать уравнения вида ctg(arcsin(-0,8)) и cos(arcsin(8/17)). Желательно подробно. Нужно сделать замену переменной, но как это сделать и что это даст я тупо не понимаю.

Конечно, есть формулы, но мне бы увидеть, как они выводятся.