acsch exp Mul Mul Add 2 x0 asech x7 Pow Add Add -2 x1 x7 x0 
Mul Mul -1 Mul exp Mul Mul Add 2 x0 asech x7 Pow Add Add -2 x1 x7 x0 Add Mul Pow Add Add -2 x1 x7 x0 asech x7 Mul Mul Add 2 x0 asech x7 Mul Pow Add Add -2 x1 x7 Add x0 -1 Mul Add Add -2 x1 x7 log Add Add -2 x1 x7 Pow Mul Mul exp Mul Mul Add 2 x0 asech x7 Pow Add Add -2 x1 x7 x0 exp Mul Mul Add 2 x0 asech x7 Pow Add Add -2 x1 x7 x0 sqrt Add 1 Mul -1 Pow Mul exp Mul Mul Add 2 x0 asech x7 Pow Add Add -2 x1 x7 x0 exp Mul Mul Add 2 x0 asech x7 Pow Add Add -2 x1 x7 x0 -1 -1 