Add x7 asinh log Pow acos asech acoth Pow x0 pi x0 
Mul Mul Mul Pow acos asech acoth Pow x0 pi Add x0 -1 Add Mul x0 Mul -1 Mul Mul Mul Mul Pow x0 Add pi -1 pi Pow Add 1 Mul -1 Mul Pow x0 pi Pow x0 pi -1 Pow Mul Mul acoth Pow x0 pi acoth Pow x0 pi sqrt Add 1 Mul -1 Pow Mul acoth Pow x0 pi acoth Pow x0 pi -1 -1 Pow sqrt Add 1 Mul -1 Mul asech acoth Pow x0 pi asech acoth Pow x0 pi -1 Mul acos asech acoth Pow x0 pi log acos asech acoth Pow x0 pi Pow Pow acos asech acoth Pow x0 pi x0 -1 Pow sqrt Add 1 Mul log Pow acos asech acoth Pow x0 pi x0 log Pow acos asech acoth Pow x0 pi x0 -1 