atan Add acot sin x3 Mul cot acoth x0 x3 
Mul Mul x3 Mul Mul -1 Pow csc acoth x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add acot sin x3 Mul cot acoth x0 x3 Add acot sin x3 Mul cot acoth x0 x3 -1 