acos Pow Mul x0 Add x4 Mul x0 pi Pow cosh x0 asech E 
Mul -1 Mul Mul Pow Mul x0 Add x4 Mul x0 pi Add Pow cosh x0 asech E -1 Add Mul Pow cosh x0 asech E Add Add x4 Mul x0 pi Mul x0 pi Mul Mul Mul x0 Add x4 Mul x0 pi log Mul x0 Add x4 Mul x0 pi Mul Pow cosh x0 Add asech E -1 Mul asech E sinh x0 Pow sqrt Add 1 Mul -1 Mul Pow Mul x0 Add x4 Mul x0 pi Pow cosh x0 asech E Pow Mul x0 Add x4 Mul x0 pi Pow cosh x0 asech E -1 