Add 0.244978663126864 acot Pow x0 asech Pow asec x4 Pow Add 4 x0 32 
Mul -1 Mul Mul Pow x0 Add asech Pow asec x4 Pow Add 4 x0 32 -1 Add asech Pow asec x4 Pow Add 4 x0 32 Mul Mul x0 log x0 Mul Mul Pow asec x4 Add Pow Add 4 x0 32 -1 Mul Mul asec x4 log asec x4 Mul Pow Add 4 x0 31 32 Pow Mul Mul Pow asec x4 Pow Add 4 x0 32 Pow asec x4 Pow Add 4 x0 32 sqrt Add 1 Mul -1 Pow Mul Pow asec x4 Pow Add 4 x0 32 Pow asec x4 Pow Add 4 x0 32 -1 -1 Pow Add 1 Mul Pow x0 asech Pow asec x4 Pow Add 4 x0 32 Pow x0 asech Pow asec x4 Pow Add 4 x0 32 -1 