Mul acosh csc Pow x0 acsc x7 x2 
Mul x2 Mul Mul Mul Mul -1 cot Pow x0 acsc x7 csc Pow x0 acsc x7 Mul Pow x0 Add acsc x7 -1 acsc x7 Pow Mul sqrt Add csc Pow x0 acsc x7 -1 sqrt Add 1 csc Pow x0 acsc x7 -1 