Add asin asech asinh acoth Add x0 asinh x7 acoth asech asech acot x0 
Add Mul Mul Mul Pow Add 1 Mul -1 Mul Add x0 asinh x7 Add x0 asinh x7 -1 Pow sqrt Add 1 Mul acoth Add x0 asinh x7 acoth Add x0 asinh x7 -1 Pow Mul Mul asinh acoth Add x0 asinh x7 asinh acoth Add x0 asinh x7 sqrt Add 1 Mul -1 Pow Mul asinh acoth Add x0 asinh x7 asinh acoth Add x0 asinh x7 -1 -1 Pow sqrt Add 1 Mul -1 Mul asech asinh acoth Add x0 asinh x7 asech asinh acoth Add x0 asinh x7 -1 Mul Mul Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul acot x0 acot x0 sqrt Add 1 Mul -1 Pow Mul acot x0 acot x0 -1 -1 Pow Mul Mul asech acot x0 asech acot x0 sqrt Add 1 Mul -1 Pow Mul asech acot x0 asech acot x0 -1 -1 Pow Add 1 Mul -1 Mul asech asech acot x0 asech asech acot x0 -1 