Mul acot asinh Pow x0 -2 sqrt x0 
Add Mul sqrt x0 Mul -1 Mul Mul Mul Pow x0 3 -2 Pow sqrt Add 1 Mul Pow x0 -2 Pow x0 -2 -1 Pow Add 1 Mul asinh Pow x0 -2 asinh Pow x0 -2 -1 Mul acot asinh Pow x0 -2 Pow Mul 2 sqrt x0 -1 