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