Add asin atanh Mul x0 Pow x0 asec acot Mul x0 pi Pow x0 pi 
Add Mul Mul Add Pow x0 asec acot Mul x0 pi Mul x0 Mul Pow x0 Add asec acot Mul x0 pi -1 Add asec acot Mul x0 pi Mul Mul x0 log x0 Mul Mul -1 Mul pi Pow Add 1 Mul Mul x0 pi Mul x0 pi -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acot Mul x0 pi acot Mul x0 pi -1 acot Mul x0 pi acot Mul x0 pi -1 Pow Add 1 Mul -1 Mul Mul x0 Pow x0 asec acot Mul x0 pi Mul x0 Pow x0 asec acot Mul x0 pi -1 Pow sqrt Add 1 Mul -1 Mul atanh Mul x0 Pow x0 asec acot Mul x0 pi atanh Mul x0 Pow x0 asec acot Mul x0 pi -1 Mul Pow x0 Add pi -1 pi 