Add x0 Pow acot Mul tan Add x0 Add x0 x0 Pow csch x6 Mul Pow Mul x7 x0 -4 x0 acot x1 
Add 1 Mul Pow acot Mul tan Add x0 Add x0 x0 Pow csch x6 Mul Pow Mul x7 x0 -4 x0 Add acot x1 -1 Mul acot x1 Mul -1 Mul Add Mul Pow csch x6 Mul Pow Mul x7 x0 -4 x0 Mul Pow sec Add x0 Add x0 x0 2 3 Mul tan Add x0 Add x0 x0 Mul Pow csch x6 Add Mul Pow Mul x7 x0 -4 x0 -1 Mul Mul csch x6 log csch x6 Add Mul x0 Mul Pow Mul x7 x0 5 Mul -4 x7 Pow Mul x7 x0 -4 Pow Add 1 Mul Mul tan Add x0 Add x0 x0 Pow csch x6 Mul Pow Mul x7 x0 -4 x0 Mul tan Add x0 Add x0 x0 Pow csch x6 Mul Pow Mul x7 x0 -4 x0 -1 