Pow cosh Pow acos Add x0 x3 Pow Add exp tan Add x0 asech x0 x0 cot Pow -2 x7 x0 
Mul Pow cosh Pow acos Add x0 x3 Pow Add exp tan Add x0 asech x0 x0 cot Pow -2 x7 Add x0 -1 Add Mul x0 Mul sinh Pow acos Add x0 x3 Pow Add exp tan Add x0 asech x0 x0 cot Pow -2 x7 Mul Pow acos Add x0 x3 Add Pow Add exp tan Add x0 asech x0 x0 cot Pow -2 x7 -1 Add Mul Pow Add exp tan Add x0 asech x0 x0 cot Pow -2 x7 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 x3 Add x0 x3 -1 Mul Mul acos Add x0 x3 log acos Add x0 x3 Mul Pow Add exp tan Add x0 asech x0 x0 Add cot Pow -2 x7 -1 Mul cot Pow -2 x7 Add Mul exp tan Add x0 asech x0 Mul Pow sec Add x0 asech x0 2 Add 1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 1 Mul cosh Pow acos Add x0 x3 Pow Add exp tan Add x0 asech x0 x0 cot Pow -2 x7 log cosh Pow acos Add x0 x3 Pow Add exp tan Add x0 asech x0 x0 cot Pow -2 x7 