Add Pow x0 Mul pi asinh acos csch acot x0 x0 
Add Mul Pow x0 Add Mul pi asinh acos csch acot x0 -1 Add Mul pi asinh acos csch acot x0 Mul Mul x0 log x0 Mul pi Mul Mul -1 Mul Mul Mul Mul -1 coth acot x0 csch acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul csch acot x0 csch acot x0 -1 Pow sqrt Add 1 Mul acos csch acot x0 acos csch acot x0 -1 1 