Pow acot Mul 0.197395559849881 x0 cosh x5 
Mul Pow acot Mul 0.197395559849881 x0 Add cosh x5 -1 Mul cosh x5 Mul -1 Mul 0.197395559849881 Pow Add 1 Mul Mul 0.197395559849881 x0 Mul 0.197395559849881 x0 -1 