Mul x0 asech Pow Mul -2 log cosh Pow x0 asech Add acos Add x0 Add x7 E Add x0 Mul 3 pi x0 
Add asech Pow Mul -2 log cosh Pow x0 asech Add acos Add x0 Add x7 E Add x0 Mul 3 pi x0 Mul x0 Mul Mul Pow Mul -2 log cosh Pow x0 asech Add acos Add x0 Add x7 E Add x0 Mul 3 pi Add x0 -1 Add Mul x0 Mul -2 Mul Mul sinh Pow x0 asech Add acos Add x0 Add x7 E Add x0 Mul 3 pi Mul Pow x0 Add asech Add acos Add x0 Add x7 E Add x0 Mul 3 pi -1 Add asech Add acos Add x0 Add x7 E Add x0 Mul 3 pi Mul Mul x0 log x0 Mul Add Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 Add x7 E Add x0 Add x7 E -1 1 Pow Mul Mul Add acos Add x0 Add x7 E Add x0 Mul 3 pi Add acos Add x0 Add x7 E Add x0 Mul 3 pi sqrt Add 1 Mul -1 Pow Mul Add acos Add x0 Add x7 E Add x0 Mul 3 pi Add acos Add x0 Add x7 E Add x0 Mul 3 pi -1 -1 Pow cosh Pow x0 asech Add acos Add x0 Add x7 E Add x0 Mul 3 pi -1 Mul Mul -2 log cosh Pow x0 asech Add acos Add x0 Add x7 E Add x0 Mul 3 pi log Mul -2 log cosh Pow x0 asech Add acos Add x0 Add x7 E Add x0 Mul 3 pi Pow Mul Mul Pow Mul -2 log cosh Pow x0 asech Add acos Add x0 Add x7 E Add x0 Mul 3 pi x0 Pow Mul -2 log cosh Pow x0 asech Add acos Add x0 Add x7 E Add x0 Mul 3 pi x0 sqrt Add 1 Mul -1 Pow Mul Pow Mul -2 log cosh Pow x0 asech Add acos Add x0 Add x7 E Add x0 Mul 3 pi x0 Pow Mul -2 log cosh Pow x0 asech Add acos Add x0 Add x7 E Add x0 Mul 3 pi x0 -1 -1 