Add sinh Add Pow x0 atan coth Add x5 4.18839510577812 x6 Mul sinh Add x0 x0 asech x6 
Add Mul cosh Add Pow x0 atan coth Add x5 4.18839510577812 x6 Mul Pow x0 Add atan coth Add x5 4.18839510577812 -1 atan coth Add x5 4.18839510577812 Mul asech x6 Mul cosh Add x0 x0 2 