acoth acoth Mul asech Mul x0 pi Add x0 8165619676597685 
Mul Mul Add Mul Add x0 8165619676597685 Mul pi Pow Mul Mul Mul x0 pi Mul x0 pi sqrt Add 1 Mul -1 Pow Mul Mul x0 pi Mul x0 pi -1 -1 asech Mul x0 pi Pow Add 1 Mul -1 Mul Mul asech Mul x0 pi Add x0 8165619676597685 Mul asech Mul x0 pi Add x0 8165619676597685 -1 Pow Add 1 Mul -1 Mul acoth Mul asech Mul x0 pi Add x0 8165619676597685 acoth Mul asech Mul x0 pi Add x0 8165619676597685 -1 