Mul acsch x0 Add Mul pi Mul Mul 7.01525255143453 x0 Add x0 x0 Pow x7 asech acosh Add x0 Add pi x4 
Add Mul Add Mul pi Mul Mul 7.01525255143453 x0 Add x0 x0 Pow x7 asech acosh Add x0 Add pi x4 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul acsch x0 Add Mul pi Add Mul Add x0 x0 7.01525255143453 Mul Mul 7.01525255143453 x0 2 Mul Pow x7 Add asech acosh Add x0 Add pi x4 -1 Mul Mul x7 log x7 Mul Pow Mul sqrt Add Add x0 Add pi x4 -1 sqrt Add 1 Add x0 Add pi x4 -1 Pow Mul Mul acosh Add x0 Add pi x4 acosh Add x0 Add pi x4 sqrt Add 1 Mul -1 Pow Mul acosh Add x0 Add pi x4 acosh Add x0 Add pi x4 -1 -1 