Add cos acoth Pow Pow acsch Pow csc x3 x7 atan x0 pi E 
Mul Mul -1 sin acoth Pow Pow acsch Pow csc x3 x7 atan x0 pi Mul Mul Pow Pow acsch Pow csc x3 x7 atan x0 Add pi -1 Mul pi Mul Pow acsch Pow csc x3 x7 Add atan x0 -1 Mul Mul acsch Pow csc x3 x7 log acsch Pow csc x3 x7 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow Pow acsch Pow csc x3 x7 atan x0 pi Pow Pow acsch Pow csc x3 x7 atan x0 pi -1 