Pow x0 tan Mul x0 Add x0 Add acot Pow x1 2 asech Add 3 Mul x1 sec x0 
Mul Pow x0 Add tan Mul x0 Add x0 Add acot Pow x1 2 asech Add 3 Mul x1 sec x0 -1 Add tan Mul x0 Add x0 Add acot Pow x1 2 asech Add 3 Mul x1 sec x0 Mul Mul x0 log x0 Mul Pow sec Mul x0 Add x0 Add acot Pow x1 2 asech Add 3 Mul x1 sec x0 2 Add Add x0 Add acot Pow x1 2 asech Add 3 Mul x1 sec x0 Mul x0 Add 1 Mul Mul x1 Mul tan x0 sec x0 Pow Mul Mul Add 3 Mul x1 sec x0 Add 3 Mul x1 sec x0 sqrt Add 1 Mul -1 Pow Mul Add 3 Mul x1 sec x0 Add 3 Mul x1 sec x0 -1 -1 