atan Pow Add Mul Add x0 x0 x5 1 asec asin sinh asinh x1 
Mul Mul Pow Add Mul Add x0 x0 x5 1 Add asec asin sinh asinh x1 -1 Mul asec asin sinh asinh x1 Mul x5 2 Pow Add 1 Mul Pow Add Mul Add x0 x0 x5 1 asec asin sinh asinh x1 Pow Add Mul Add x0 x0 x5 1 asec asin sinh asinh x1 -1 