Mul x6 Mul Pow Mul cot Pow x0 -4 Mul Pow x0 2 acsch x6 x7 5 
Mul x6 Mul 5 Mul Pow Mul cot Pow x0 -4 Mul Pow x0 2 acsch x6 Add x7 -1 Mul x7 Add Mul Mul Pow x0 2 acsch x6 Mul Mul -1 Pow csc Pow x0 -4 2 Mul Pow x0 5 -4 Mul cot Pow x0 -4 Mul acsch x6 Mul x0 2 