Pow acoth csc Mul -2 acot x0 Add acos acosh csc x0 x7 
Mul Pow acoth csc Mul -2 acot x0 Add Add acos acosh csc x0 x7 -1 Add Mul Add acos acosh csc x0 x7 Mul Mul Mul Mul -1 cot Mul -2 acot x0 csc Mul -2 acot x0 Mul -2 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul csc Mul -2 acot x0 csc Mul -2 acot x0 -1 Mul Mul acoth csc Mul -2 acot x0 log acoth csc Mul -2 acot x0 Mul -1 Mul Mul Mul Mul -1 cot x0 csc x0 Pow Mul sqrt Add csc x0 -1 sqrt Add 1 csc x0 -1 Pow sqrt Add 1 Mul -1 Mul acosh csc x0 acosh csc x0 -1 