Mul Mul log pi Pow log sinh E acot Mul acsch x0 2 x4 
Mul x4 Mul log pi Mul Pow log sinh E Add acot Mul acsch x0 2 -1 Mul Mul log sinh E log log sinh E Mul -1 Mul Mul 2 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul Mul acsch x0 2 Mul acsch x0 2 -1 