Mul -2 acot acos coth sec Mul x0 x0 
Mul -2 Mul -1 Mul Mul -1 Mul Mul Mul -1 Pow csch sec Mul x0 x0 2 Mul Mul tan Mul x0 x0 sec Mul x0 x0 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul coth sec Mul x0 x0 coth sec Mul x0 x0 -1 Pow Add 1 Mul acos coth sec Mul x0 x0 acos coth sec Mul x0 x0 -1 