exp Add Pow Mul 2 log x4 Mul Add x0 asin Add x0 asech pi pi exp x0 
Mul exp Add Pow Mul 2 log x4 Mul Add x0 asin Add x0 asech pi pi exp x0 Add Mul Pow Mul 2 log x4 Add Mul Add x0 asin Add x0 asech pi pi -1 Mul Mul Mul 2 log x4 log Mul 2 log x4 Mul pi Add 1 Pow sqrt Add 1 Mul -1 Mul Add x0 asech pi Add x0 asech pi -1 exp x0 