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