Pow Pow x1 2.29243166956118 acot Mul Pow cosh x0 x6 Add x0 x0 
Mul Pow Pow x1 2.29243166956118 Add acot Mul Pow cosh x0 x6 Add x0 x0 -1 Mul Mul Pow x1 2.29243166956118 log Pow x1 2.29243166956118 Mul -1 Mul Add Mul Add x0 x0 Mul Pow cosh x0 Add x6 -1 Mul x6 sinh x0 Mul Pow cosh x0 x6 2 Pow Add 1 Mul Mul Pow cosh x0 x6 Add x0 x0 Mul Pow cosh x0 x6 Add x0 x0 -1 