Mul x0 asech Mul x0 log atan x6 
Add asech Mul x0 log atan x6 Mul x0 Mul log atan x6 Pow Mul Mul Mul x0 log atan x6 Mul x0 log atan x6 sqrt Add 1 Mul -1 Pow Mul Mul x0 log atan x6 Mul x0 log atan x6 -1 -1 