Add x0 Pow acot sin cosh Add 3 Pow Pow acosh x2 Add x0 x0 Add x3 cosh Pow x0 x1 x6 
Add 1 Mul Pow acot sin cosh Add 3 Pow Pow acosh x2 Add x0 x0 Add x3 cosh Pow x0 x1 Add x6 -1 Mul x6 Mul -1 Mul Mul cos cosh Add 3 Pow Pow acosh x2 Add x0 x0 Add x3 cosh Pow x0 x1 Mul sinh Add 3 Pow Pow acosh x2 Add x0 x0 Add x3 cosh Pow x0 x1 Mul Pow Pow acosh x2 Add x0 x0 Add Add x3 cosh Pow x0 x1 -1 Add Mul Add x3 cosh Pow x0 x1 Mul Pow acosh x2 Add Add x0 x0 -1 Mul Mul acosh x2 log acosh x2 2 Mul Mul Pow acosh x2 Add x0 x0 log Pow acosh x2 Add x0 x0 Mul sinh Pow x0 x1 Mul Pow x0 Add x1 -1 x1 Pow Add 1 Mul sin cosh Add 3 Pow Pow acosh x2 Add x0 x0 Add x3 cosh Pow x0 x1 sin cosh Add 3 Pow Pow acosh x2 Add x0 x0 Add x3 cosh Pow x0 x1 -1 