Mul Pow cosh Add -2 acot Mul x0 Add x0 x6 Add x0 acos asinh Pow 4 x7 x0 
Add Mul x0 Mul Pow cosh Add -2 acot Mul x0 Add x0 x6 Add Add x0 acos asinh Pow 4 x7 -1 Add Mul Add x0 acos asinh Pow 4 x7 Mul sinh Add -2 acot Mul x0 Add x0 x6 Mul -1 Mul Add Add x0 x6 x0 Pow Add 1 Mul Mul x0 Add x0 x6 Mul x0 Add x0 x6 -1 Mul cosh Add -2 acot Mul x0 Add x0 x6 log cosh Add -2 acot Mul x0 Add x0 x6 Pow cosh Add -2 acot Mul x0 Add x0 x6 Add x0 acos asinh Pow 4 x7 