acot Mul x0 Mul Pow x3 Mul cosh x0 Add x7 x6 -1.03731472072755 
Mul -1 Mul Add Mul Pow x3 Mul cosh x0 Add x7 x6 -1.03731472072755 Mul x0 Mul -1.03731472072755 Mul Pow x3 Add Mul cosh x0 Add x7 x6 -1 Mul Mul x3 log x3 Mul Add x7 x6 sinh x0 Pow Add 1 Mul Mul x0 Mul Pow x3 Mul cosh x0 Add x7 x6 -1.03731472072755 Mul x0 Mul Pow x3 Mul cosh x0 Add x7 x6 -1.03731472072755 -1 