Pow x0 Mul Pow x0 -2 Add Mul atan Mul x0 x6 asech E x0 
Mul Pow x0 Add Mul Pow x0 -2 Add Mul atan Mul x0 x6 asech E x0 -1 Add Mul Pow x0 -2 Add Mul atan Mul x0 x6 asech E x0 Mul Mul x0 log x0 Add Mul Add Mul atan Mul x0 x6 asech E x0 Mul Pow x0 3 -2 Mul Pow x0 -2 Add Mul asech E Mul x6 Pow Add 1 Mul Mul x0 x6 Mul x0 x6 -1 1 