acot Pow Mul Pow csch E x0 -4 Add x0 x5 
Mul -1 Mul Mul Pow Mul Pow csch E x0 -4 Add Add x0 x5 -1 Add Mul Add x0 x5 Mul -4 Mul Pow csch E Add x0 -1 Mul csch E log csch E Mul Mul Pow csch E x0 -4 log Mul Pow csch E x0 -4 Pow Add 1 Mul Pow Mul Pow csch E x0 -4 Add x0 x5 Pow Mul Pow csch E x0 -4 Add x0 x5 -1 