Mul Pow x0 Mul x0 Pow asin Add x5 asech x1 Add exp x0 x0 x3 
Mul x3 Mul Pow x0 Add Mul x0 Pow asin Add x5 asech x1 Add exp x0 x0 -1 Add Mul x0 Pow asin Add x5 asech x1 Add exp x0 x0 Mul Mul x0 log x0 Add Pow asin Add x5 asech x1 Add exp x0 x0 Mul x0 Mul Pow asin Add x5 asech x1 Add Add exp x0 x0 -1 Mul Mul asin Add x5 asech x1 log asin Add x5 asech x1 Add exp x0 1 