Mul acot Mul Add atanh sqrt asech log x3 asec cosh x0 -4 Pow Add sec x6 1.41421356237310 x0 
Add Mul Pow Add sec x6 1.41421356237310 x0 Mul -1 Mul Mul -4 Mul sinh x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul cosh x0 cosh x0 -1 cosh x0 cosh x0 -1 Pow Add 1 Mul Mul Add atanh sqrt asech log x3 asec cosh x0 -4 Mul Add atanh sqrt asech log x3 asec cosh x0 -4 -1 Mul acot Mul Add atanh sqrt asech log x3 asec cosh x0 -4 Mul Pow Add sec x6 1.41421356237310 Add x0 -1 Mul Add sec x6 1.41421356237310 log Add sec x6 1.41421356237310 