Pow asech exp asin Add acsch Add x0 x7 -3 Mul x0 x0 
Mul Pow asech exp asin Add acsch Add x0 x7 -3 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul Mul exp asin Add acsch Add x0 x7 -3 Mul Mul -1 Pow Mul Mul Add x0 x7 Add x0 x7 sqrt Add 1 Mul -1 Pow Mul Add x0 x7 Add x0 x7 -1 -1 Pow sqrt Add 1 Mul -1 Mul Add acsch Add x0 x7 -3 Add acsch Add x0 x7 -3 -1 Pow Mul Mul exp asin Add acsch Add x0 x7 -3 exp asin Add acsch Add x0 x7 -3 sqrt Add 1 Mul -1 Pow Mul exp asin Add acsch Add x0 x7 -3 exp asin Add acsch Add x0 x7 -3 -1 -1 Mul Mul asech exp asin Add acsch Add x0 x7 -3 log asech exp asin Add acsch Add x0 x7 -3 Add x0 x0 