Pow cosh asin Add x0 asec Pow x0 Add Mul exp x0 x0 x3 -5 
Mul Pow cosh asin Add x0 asec Pow x0 Add Mul exp x0 x0 x3 6 Mul -5 Mul sinh asin Add x0 asec Pow x0 Add Mul exp x0 x0 x3 Mul Add 1 Mul Mul Pow x0 Add Add Mul exp x0 x0 x3 -1 Add Add Mul exp x0 x0 x3 Mul Mul x0 log x0 Add Mul x0 exp x0 exp x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x0 Add Mul exp x0 x0 x3 Pow x0 Add Mul exp x0 x0 x3 -1 Pow x0 Add Mul exp x0 x0 x3 Pow x0 Add Mul exp x0 x0 x3 -1 Pow sqrt Add 1 Mul -1 Mul Add x0 asec Pow x0 Add Mul exp x0 x0 x3 Add x0 asec Pow x0 Add Mul exp x0 x0 x3 -1 