Mul Mul E x1 Mul Add Mul cosh Add Pow acoth E x3 sec x6 x0 2 Add -2 Mul -0.255412811882995 x0 
Mul Mul E x1 Add Mul Add -2 Mul -0.255412811882995 x0 cosh Add Pow acoth E x3 sec x6 Mul Add Mul cosh Add Pow acoth E x3 sec x6 x0 2 -0.255412811882995 