Pow Pow acot acoth Mul x2 pi x0 sech asinh Mul -1 x4 
Mul Pow Pow acot acoth Mul x2 pi x0 Add sech asinh Mul -1 x4 -1 Mul sech asinh Mul -1 x4 Mul Pow acot acoth Mul x2 pi Add x0 -1 Mul acot acoth Mul x2 pi log acot acoth Mul x2 pi 