acot Mul x0 Mul Add x3 asec cosh Pow Pow acos x0 sinh E x3 x7 
Mul -1 Mul Add Mul Add x3 asec cosh Pow Pow acos x0 sinh E x3 x7 Mul x0 Mul x7 Mul Mul sinh Pow Pow acos x0 sinh E x3 Mul Pow Pow acos x0 sinh E Add x3 -1 Mul x3 Mul Pow acos x0 Add sinh E -1 Mul sinh E Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul cosh Pow Pow acos x0 sinh E x3 cosh Pow Pow acos x0 sinh E x3 -1 cosh Pow Pow acos x0 sinh E x3 cosh Pow Pow acos x0 sinh E x3 -1 Pow Add 1 Mul Mul x0 Mul Add x3 asec cosh Pow Pow acos x0 sinh E x3 x7 Mul x0 Mul Add x3 asec cosh Pow Pow acos x0 sinh E x3 x7 -1 