Mul x0 log Mul asinh acoth sqrt x0 Pow x6 log atanh x0 
Add log Mul asinh acoth sqrt x0 Pow x6 log atanh x0 Mul x0 Mul Add Mul Pow x6 log atanh x0 Mul Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 Pow sqrt Add 1 Mul acoth sqrt x0 acoth sqrt x0 -1 Mul asinh acoth sqrt x0 Mul Pow x6 Add log atanh x0 -1 Mul Mul x6 log x6 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow atanh x0 -1 Pow Mul asinh acoth sqrt x0 Pow x6 log atanh x0 -1 