Add x4 Mul acot Pow csch x5 Mul x0 x0 x0 
Add Mul x0 Mul -1 Mul Mul Pow csch x5 Add Mul x0 x0 -1 Mul Mul csch x5 log csch x5 Add x0 x0 Pow Add 1 Mul Pow csch x5 Mul x0 x0 Pow csch x5 Mul x0 x0 -1 acot Pow csch x5 Mul x0 x0 