Pow Mul Pow x0 asech Mul Pow x0 Add x1 Add 4 x6 x5 sqrt acosh Add x0 pi x0 
Mul Pow Mul Pow x0 asech Mul Pow x0 Add x1 Add 4 x6 x5 sqrt acosh Add x0 pi Add x0 -1 Add Mul x0 Add Mul sqrt acosh Add x0 pi Mul Pow x0 Add asech Mul Pow x0 Add x1 Add 4 x6 x5 -1 Add asech Mul Pow x0 Add x1 Add 4 x6 x5 Mul Mul x0 log x0 Mul Mul x5 Mul Pow x0 Add Add x1 Add 4 x6 -1 Add x1 Add 4 x6 Pow Mul Mul Mul Pow x0 Add x1 Add 4 x6 x5 Mul Pow x0 Add x1 Add 4 x6 x5 sqrt Add 1 Mul -1 Pow Mul Mul Pow x0 Add x1 Add 4 x6 x5 Mul Pow x0 Add x1 Add 4 x6 x5 -1 -1 Mul Pow x0 asech Mul Pow x0 Add x1 Add 4 x6 x5 Mul Pow Mul 2 sqrt acosh Add x0 pi -1 Pow Mul sqrt Add Add x0 pi -1 sqrt Add 1 Add x0 pi -1 Mul Mul Pow x0 asech Mul Pow x0 Add x1 Add 4 x6 x5 sqrt acosh Add x0 pi log Mul Pow x0 asech Mul Pow x0 Add x1 Add 4 x6 x5 sqrt acosh Add x0 pi 