atanh Mul 2 Mul Pow csch asin x0 Pow x0 Add coth log x0 4 Add x4 E 
Mul Mul 2 Mul Add x4 E Mul Pow csch asin x0 Add Pow x0 Add coth log x0 4 -1 Add Mul Pow x0 Add coth log x0 4 Mul Mul Mul -1 coth asin x0 csch asin x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul csch asin x0 log csch asin x0 Mul Pow x0 Add Add coth log x0 4 -1 Add Add coth log x0 4 Mul Mul x0 log x0 Mul Mul -1 Pow csch log x0 2 Pow x0 -1 Pow Add 1 Mul -1 Mul Mul 2 Mul Pow csch asin x0 Pow x0 Add coth log x0 4 Add x4 E Mul 2 Mul Pow csch asin x0 Pow x0 Add coth log x0 4 Add x4 E -1 