Add x3 Add x0 Pow Pow Add x0 csc Pow Mul x0 Mul acsc x0 x0 csc tan acoth x0 x1 x7 
Add 1 Mul Pow Pow Add x0 csc Pow Mul x0 Mul acsc x0 x0 csc tan acoth x0 x1 Add x7 -1 Mul x7 Mul Pow Add x0 csc Pow Mul x0 Mul acsc x0 x0 csc tan acoth x0 Add x1 -1 Mul x1 Add 1 Mul Mul Mul -1 cot Pow Mul x0 Mul acsc x0 x0 csc tan acoth x0 csc Pow Mul x0 Mul acsc x0 x0 csc tan acoth x0 Mul Pow Mul x0 Mul acsc x0 x0 Add csc tan acoth x0 -1 Add Mul csc tan acoth x0 Add Mul acsc x0 x0 Mul x0 Add Mul x0 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 acsc x0 Mul Mul Mul x0 Mul acsc x0 x0 log Mul x0 Mul acsc x0 x0 Mul Mul Mul -1 cot tan acoth x0 csc tan acoth x0 Mul Pow sec acoth x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 