acot Mul Mul Pow x5 x2 0.909297426825682 Pow cosh x0 x1 
Mul -1 Mul Mul Mul Pow x5 x2 0.909297426825682 Mul Pow cosh x0 Add x1 -1 Mul x1 sinh x0 Pow Add 1 Mul Mul Mul Pow x5 x2 0.909297426825682 Pow cosh x0 x1 Mul Mul Pow x5 x2 0.909297426825682 Pow cosh x0 x1 -1 