asinh Pow atan x1 Pow asech x7 x0 
Mul Mul Pow atan x1 Add Pow asech x7 x0 -1 Mul Mul atan x1 log atan x1 Mul Pow asech x7 Add x0 -1 Mul asech x7 log asech x7 Pow sqrt Add 1 Mul Pow atan x1 Pow asech x7 x0 Pow atan x1 Pow asech x7 x0 -1 