Add Pow Mul Mul Add x0 Mul x0 x3 Add x0 x1 -2 3 Add Pow acos x0 coth atanh x0 asec acos x7 
Add Mul Pow Mul Mul Add x0 Mul x0 x3 Add x0 x1 -2 2 Mul 3 Mul -2 Add Mul Add x0 x1 Add 1 x3 Add x0 Mul x0 x3 Mul Pow acos x0 Add coth atanh x0 -1 Add Mul coth atanh x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acos x0 log acos x0 Mul Mul -1 Pow csch atanh x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 