Pow Pow x0 asech acosh Add x0 pi Mul x0 Mul 7.01525255143453 Add Add x0 x0 x0 
Mul Pow Pow x0 asech acosh Add x0 pi Add Mul x0 Mul 7.01525255143453 Add Add x0 x0 x0 -1 Add Mul Mul x0 Mul 7.01525255143453 Add Add x0 x0 x0 Mul Pow x0 Add asech acosh Add x0 pi -1 Add asech acosh Add x0 pi Mul Mul x0 log x0 Mul Pow Mul sqrt Add Add x0 pi -1 sqrt Add 1 Add x0 pi -1 Pow Mul Mul acosh Add x0 pi acosh Add x0 pi sqrt Add 1 Mul -1 Pow Mul acosh Add x0 pi acosh Add x0 pi -1 -1 Mul Mul Pow x0 asech acosh Add x0 pi log Pow x0 asech acosh Add x0 pi Add Mul 7.01525255143453 Add Add x0 x0 x0 Mul x0 10.0152525514345 