acos Pow Mul sqrt x4 0.841470984807897 acoth Pow pi x0 
Mul -1 Mul Mul Pow Mul sqrt x4 0.841470984807897 Add acoth Pow pi x0 -1 Mul Mul Mul sqrt x4 0.841470984807897 log Mul sqrt x4 0.841470984807897 Mul Mul Pow pi Add x0 -1 Mul pi log pi Pow Add 1 Mul -1 Mul Pow pi x0 Pow pi x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow Mul sqrt x4 0.841470984807897 acoth Pow pi x0 Pow Mul sqrt x4 0.841470984807897 acoth Pow pi x0 -1 