Add coth Mul Mul Mul log asin x0 x0 acoth Mul Add x0 log x1 acoth pi Add 2 x0 Pow Mul x5 x2 x0 
Add Mul Mul -1 Pow csch Mul Mul Mul log asin x0 x0 acoth Mul Add x0 log x1 acoth pi Add 2 x0 2 Add Mul Add 2 x0 Add Mul acoth Mul Add x0 log x1 acoth pi Add Mul x0 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow asin x0 -1 log asin x0 Mul Mul log asin x0 x0 Mul acoth pi Pow Add 1 Mul -1 Mul Mul Add x0 log x1 acoth pi Mul Add x0 log x1 acoth pi -1 Mul Mul log asin x0 x0 acoth Mul Add x0 log x1 acoth pi Mul Pow Mul x5 x2 Add x0 -1 Mul Mul x5 x2 log Mul x5 x2 