Pow sec Pow acoth x0 asinh sqrt acot x2 pi 
Mul Pow sec Pow acoth x0 asinh sqrt acot x2 Add pi -1 Mul pi Mul Mul tan Pow acoth x0 asinh sqrt acot x2 sec Pow acoth x0 asinh sqrt acot x2 Mul Pow acoth x0 Add asinh sqrt acot x2 -1 Mul asinh sqrt acot x2 Pow Add 1 Mul -1 Mul x0 x0 -1 