acot Add x7 Pow Mul x0 x0 csch Pow csc x5 -5 
Mul -1 Mul Mul Pow Mul x0 x0 Add csch Pow csc x5 -5 -1 Mul csch Pow csc x5 -5 Add x0 x0 Pow Add 1 Mul Add x7 Pow Mul x0 x0 csch Pow csc x5 -5 Add x7 Pow Mul x0 x0 csch Pow csc x5 -5 -1 