Add Pow atan x7 Pow 1.82347658193698 x0 asech x0 
Add Mul Pow atan x7 Add Pow 1.82347658193698 x0 -1 Mul Mul atan x7 log atan x7 Mul Pow 1.82347658193698 Add x0 -1 2.42422147075038 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 