Add csch Mul x6 Mul Pow acot sin x3 x0 x3 5 
Mul Mul Mul -1 coth Mul x6 Mul Pow acot sin x3 x0 x3 csch Mul x6 Mul Pow acot sin x3 x0 x3 Mul x6 Mul x3 Mul Pow acot sin x3 Add x0 -1 Mul acot sin x3 log acot sin x3 