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