Pow x0 cosh Pow x0 Mul Mul asech x2 x0 x4 
Mul Pow x0 Add cosh Pow x0 Mul Mul asech x2 x0 x4 -1 Add cosh Pow x0 Mul Mul asech x2 x0 x4 Mul Mul x0 log x0 Mul sinh Pow x0 Mul Mul asech x2 x0 x4 Mul Pow x0 Add Mul Mul asech x2 x0 x4 -1 Add Mul Mul asech x2 x0 x4 Mul Mul x0 log x0 Mul x4 asech x2 