Add Add Add x7 Pow Mul sin acot cosh x0 x0 x0 atan sec sinh x0 5 
Add Mul Pow Mul sin acot cosh x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul cos acot cosh x0 Mul -1 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 sin acot cosh x0 Mul Mul sin acot cosh x0 x0 log Mul sin acot cosh x0 x0 Mul Mul Mul tan sinh x0 sec sinh x0 cosh x0 Pow Add 1 Mul sec sinh x0 sec sinh x0 -1 