Pow Mul x0 Mul pi 2 Mul acot asinh x0 -2 
Mul Pow Mul x0 Mul pi 2 Add Mul acot asinh x0 -2 -1 Add Mul Mul acot asinh x0 -2 Mul pi 2 Mul Mul Mul x0 Mul pi 2 log Mul x0 Mul pi 2 Mul -2 Mul -1 Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul asinh x0 asinh x0 -1 