Pow x0 Pow atan x2 Mul x0 asech x2 
Mul Pow x0 Add Pow atan x2 Mul x0 asech x2 -1 Add Pow atan x2 Mul x0 asech x2 Mul Mul x0 log x0 Mul Pow atan x2 Add Mul x0 asech x2 -1 Mul Mul atan x2 log atan x2 asech x2 