Add Pow cosh acosh Add x0 x7 3 acot csch exp sqrt Pow x0 asech pi 
Add Mul Pow cosh acosh Add x0 x7 2 Mul 3 Mul sinh acosh Add x0 x7 Pow Mul sqrt Add Add x0 x7 -1 sqrt Add 1 Add x0 x7 -1 Mul -1 Mul Mul Mul Mul -1 coth exp sqrt Pow x0 asech pi csch exp sqrt Pow x0 asech pi Mul exp sqrt Pow x0 asech pi Mul Pow Mul 2 sqrt Pow x0 asech pi -1 Mul Pow x0 Add asech pi -1 asech pi Pow Add 1 Mul csch exp sqrt Pow x0 asech pi csch exp sqrt Pow x0 asech pi -1 