Add Mul Add 0.958924274663138 Add x0 acot cosh x0 Add x0 6.09861228866811 x0 
Add Add Mul Add x0 6.09861228866811 Add 1 Mul -1 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 Add 0.958924274663138 Add x0 acot cosh x0 1 