tanh Mul cosh acosh x6 Mul Mul 5 Pow x0 0.463647609000806 sqrt x3 
Mul Pow sech Mul cosh acosh x6 Mul Mul 5 Pow x0 0.463647609000806 sqrt x3 2 Mul cosh acosh x6 Mul sqrt x3 Mul 5 Mul Pow x0 -0.536352390999194 0.463647609000806 