Mul Mul Pow Add x0 x7 x0 x1 acsch Pow cot x0 sec x1 
Add Mul acsch Pow cot x0 sec x1 Mul x1 Mul Pow Add x0 x7 Add x0 -1 Add x0 Mul Add x0 x7 log Add x0 x7 Mul Mul Pow Add x0 x7 x0 x1 Mul Mul -1 Mul Pow cot x0 Add sec x1 -1 Mul sec x1 Mul -1 Pow csc x0 2 Pow Mul Mul Pow cot x0 sec x1 Pow cot x0 sec x1 sqrt Add 1 Mul -1 Pow Mul Pow cot x0 sec x1 Pow cot x0 sec x1 -1 -1 