Add 5 Mul Pow x0 pi Add acoth Pow asech Add x0 x2 asech x0 x0 
Add Mul Add acoth Pow asech Add x0 x2 asech x0 x0 Mul Pow x0 Add pi -1 pi Mul Pow x0 pi Add Mul Mul Pow asech Add x0 x2 Add asech x0 -1 Add Mul asech x0 Pow Mul Mul Add x0 x2 Add x0 x2 sqrt Add 1 Mul -1 Pow Mul Add x0 x2 Add x0 x2 -1 -1 Mul Mul asech Add x0 x2 log asech Add x0 x2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul -1 Mul Pow asech Add x0 x2 asech x0 Pow asech Add x0 x2 asech x0 -1 1 