sinh Mul Add 4 x0 Pow cosh Mul x0 asech pi x0 
Mul cosh Mul Add 4 x0 Pow cosh Mul x0 asech pi x0 Add Pow cosh Mul x0 asech pi x0 Mul Add 4 x0 Mul Pow cosh Mul x0 asech pi Add x0 -1 Add Mul x0 Mul sinh Mul x0 asech pi asech pi Mul cosh Mul x0 asech pi log cosh Mul x0 asech pi 