Mul Add x0 x4 asech acot Pow log asech x0 pi 
Add asech acot Pow log asech x0 pi Mul Add x0 x4 Mul Mul -1 Mul Mul Pow log asech x0 Add pi -1 Mul pi Mul Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow asech x0 -1 Pow Add 1 Mul Pow log asech x0 pi Pow log asech x0 pi -1 Pow Mul Mul acot Pow log asech x0 pi acot Pow log asech x0 pi sqrt Add 1 Mul -1 Pow Mul acot Pow log asech x0 pi acot Pow log asech x0 pi -1 -1 