Pow csch Mul asin x1 x0 Mul x0 4 
Mul Pow csch Mul asin x1 x0 Add Mul x0 4 -1 Add Mul Mul x0 4 Mul Mul Mul -1 coth Mul asin x1 x0 csch Mul asin x1 x0 asin x1 Mul Mul csch Mul asin x1 x0 log csch Mul asin x1 x0 4 