Mul x0 exp Mul acsc cot x0 Pow acoth x3 x0 
Add exp Mul acsc cot x0 Pow acoth x3 x0 Mul x0 Mul exp Mul acsc cot x0 Pow acoth x3 x0 Add Mul Pow acoth x3 x0 Mul -1 Mul Mul -1 Pow csc x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul cot x0 cot x0 -1 cot x0 cot x0 -1 Mul acsc cot x0 Mul Pow acoth x3 Add x0 -1 Mul acoth x3 log acoth x3 