acosh sech Pow acot x0 log tan Mul x0 pi 
Mul Mul Mul tanh Pow acot x0 log tan Mul x0 pi Mul -1 sech Pow acot x0 log tan Mul x0 pi Mul Pow acot x0 Add log tan Mul x0 pi -1 Add Mul log tan Mul x0 pi Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul Mul Pow sec Mul x0 pi 2 pi Pow tan Mul x0 pi -1 Pow Mul sqrt Add sech Pow acot x0 log tan Mul x0 pi -1 sqrt Add 1 sech Pow acot x0 log tan Mul x0 pi -1 