Mul Add Pow x0 Mul acos Mul cosh x0 Add Add x0 -4 x6 pi x0 asech Add Add x2 E E 
Mul asech Add Add x2 E E Add Mul Pow x0 Add Mul acos Mul cosh x0 Add Add x0 -4 x6 pi -1 Add Mul acos Mul cosh x0 Add Add x0 -4 x6 pi Mul Mul x0 log x0 Mul pi Mul -1 Mul Add Mul Add Add x0 -4 x6 sinh x0 cosh x0 Pow sqrt Add 1 Mul -1 Mul Mul cosh x0 Add Add x0 -4 x6 Mul cosh x0 Add Add x0 -4 x6 -1 1 