Mul 3 Mul sech sqrt Mul pi Mul asinh acot x0 asinh log x2 x0 
Mul 3 Add Mul x0 Mul Mul tanh sqrt Mul pi Mul asinh acot x0 asinh log x2 Mul -1 sech sqrt Mul pi Mul asinh acot x0 asinh log x2 Mul Pow Mul 2 sqrt Mul pi Mul asinh acot x0 asinh log x2 -1 Mul pi Mul asinh log x2 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul acot x0 acot x0 -1 sech sqrt Mul pi Mul asinh acot x0 asinh log x2 