acos Mul asin acoth Pow Mul x0 x0 pi Pow x0 2 
Mul -1 Mul Add Mul Pow x0 2 Mul Mul Mul Pow Mul x0 x0 Add pi -1 Mul pi Add x0 x0 Pow Add 1 Mul -1 Mul Pow Mul x0 x0 pi Pow Mul x0 x0 pi -1 Pow sqrt Add 1 Mul -1 Mul acoth Pow Mul x0 x0 pi acoth Pow Mul x0 x0 pi -1 Mul asin acoth Pow Mul x0 x0 pi Mul x0 2 Pow sqrt Add 1 Mul -1 Mul Mul asin acoth Pow Mul x0 x0 pi Pow x0 2 Mul asin acoth Pow Mul x0 x0 pi Pow x0 2 -1 