Mul cosh x0 cot Add Add log cosh Add -2 Add x0 x0 x0 sqrt x3 
Add Mul cot Add Add log cosh Add -2 Add x0 x0 x0 sqrt x3 sinh x0 Mul cosh x0 Mul Mul -1 Pow csc Add Add log cosh Add -2 Add x0 x0 x0 sqrt x3 2 Add Mul Mul sinh Add -2 Add x0 x0 2 Pow cosh Add -2 Add x0 x0 -1 1 