Mul Pow x0 tan Pow acoth atanh pi sec cos x0 Mul 3 Pow sech pi -2 
Mul Mul 3 Pow sech pi -2 Mul Pow x0 Add tan Pow acoth atanh pi sec cos x0 -1 Add tan Pow acoth atanh pi sec cos x0 Mul Mul x0 log x0 Mul Pow sec Pow acoth atanh pi sec cos x0 2 Mul Pow acoth atanh pi Add sec cos x0 -1 Mul Mul acoth atanh pi log acoth atanh pi Mul Mul tan cos x0 sec cos x0 Mul -1 sin x0 