Pow Mul cosh Mul x0 x0 Mul x0 Mul cosh x5 3 asech x4 
Mul Pow Mul cosh Mul x0 x0 Mul x0 Mul cosh x5 3 Add asech x4 -1 Mul asech x4 Add Mul Mul x0 Mul cosh x5 3 Mul sinh Mul x0 x0 Add x0 x0 Mul cosh Mul x0 x0 Mul cosh x5 3 