log tanh cosh Mul x6 Mul 1.73205080756888 x0 
Mul Mul Pow sech cosh Mul x6 Mul 1.73205080756888 x0 2 Mul sinh Mul x6 Mul 1.73205080756888 x0 Mul x6 1.73205080756888 Pow tanh cosh Mul x6 Mul 1.73205080756888 x0 -1 