atanh Pow x0 acoth asin log Pow x0 E 
Mul Mul Pow x0 Add acoth asin log Pow x0 E -1 Add acoth asin log Pow x0 E Mul Mul x0 log x0 Mul Mul Mul Mul Pow x0 Add E -1 E Pow Pow x0 E -1 Pow sqrt Add 1 Mul -1 Mul log Pow x0 E log Pow x0 E -1 Pow Add 1 Mul -1 Mul asin log Pow x0 E asin log Pow x0 E -1 Pow Add 1 Mul -1 Mul Pow x0 acoth asin log Pow x0 E Pow x0 acoth asin log Pow x0 E -1 