Pow x0 Pow atan Add Pow Mul asech sec x1 x0 x0 x0 sqrt x3 
Mul Pow x0 Add Pow atan Add Pow Mul asech sec x1 x0 x0 x0 sqrt x3 -1 Add Pow atan Add Pow Mul asech sec x1 x0 x0 x0 sqrt x3 Mul Mul x0 log x0 Mul Pow atan Add Pow Mul asech sec x1 x0 x0 x0 Add sqrt x3 -1 Mul sqrt x3 Mul Add Mul Pow Mul asech sec x1 x0 Add x0 -1 Add Mul x0 asech sec x1 Mul Mul asech sec x1 x0 log Mul asech sec x1 x0 1 Pow Add 1 Mul Add Pow Mul asech sec x1 x0 x0 x0 Add Pow Mul asech sec x1 x0 x0 x0 -1 