cot Mul x0 cos Pow acoth x2 atan Add x0 x0 
Mul Mul -1 Pow csc Mul x0 cos Pow acoth x2 atan Add x0 x0 2 Add cos Pow acoth x2 atan Add x0 x0 Mul x0 Mul Mul -1 sin Pow acoth x2 atan Add x0 x0 Mul Pow acoth x2 Add atan Add x0 x0 -1 Mul Mul acoth x2 log acoth x2 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 