Add Pow x0 csc Mul x0 Pow x7 cos acoth x0 x0 
Add Mul Pow x0 Add csc Mul x0 Pow x7 cos acoth x0 -1 Add csc Mul x0 Pow x7 cos acoth x0 Mul Mul x0 log x0 Mul Mul Mul -1 cot Mul x0 Pow x7 cos acoth x0 csc Mul x0 Pow x7 cos acoth x0 Add Pow x7 cos acoth x0 Mul x0 Mul Pow x7 Add cos acoth x0 -1 Mul Mul x7 log x7 Mul Mul -1 sin acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 1 