Add Mul Pow sec x0 x3 Mul acsch acoth Pow asin x0 pi x6 x6 
Add Mul Mul acsch acoth Pow asin x0 pi x6 Mul Pow sec x0 Add x3 -1 Mul x3 Mul tan x0 sec x0 Mul Pow sec x0 x3 Mul x6 Mul Mul -1 Mul Mul Pow asin x0 Add pi -1 Mul pi Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow asin x0 pi Pow asin x0 pi -1 Pow Mul Mul acoth Pow asin x0 pi acoth Pow asin x0 pi sqrt Add 1 Mul -1 Pow Mul acoth Pow asin x0 pi acoth Pow asin x0 pi -1 -1 