Add Pow csch Pow acoth Pow asin x0 pi x7 x0 Pow pi x1 
Mul Pow csch Pow acoth Pow asin x0 pi x7 Add x0 -1 Add Mul x0 Mul Mul Mul -1 coth Pow acoth Pow asin x0 pi x7 csch Pow acoth Pow asin x0 pi x7 Mul Pow acoth Pow asin x0 pi Add x7 -1 Mul x7 Mul Mul Pow asin x0 Add pi -1 Mul pi Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow asin x0 pi Pow asin x0 pi -1 Mul csch Pow acoth Pow asin x0 pi x7 log csch Pow acoth Pow asin x0 pi x7 