Add x0 Pow Pow x2 atan Mul x0 Pow x0 asech Add sec x0 acot acoth x0 acoth Mul x0 x0 
Add 1 Mul Pow Pow x2 atan Mul x0 Pow x0 asech Add sec x0 acot acoth x0 Add acoth Mul x0 x0 -1 Add Mul acoth Mul x0 x0 Mul Pow x2 Add atan Mul x0 Pow x0 asech Add sec x0 acot acoth x0 -1 Mul Mul x2 log x2 Mul Add Pow x0 asech Add sec x0 acot acoth x0 Mul x0 Mul Pow x0 Add asech Add sec x0 acot acoth x0 -1 Add asech Add sec x0 acot acoth x0 Mul Mul x0 log x0 Mul Add Mul tan x0 sec x0 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acoth x0 acoth x0 -1 Pow Mul Mul Add sec x0 acot acoth x0 Add sec x0 acot acoth x0 sqrt Add 1 Mul -1 Pow Mul Add sec x0 acot acoth x0 Add sec x0 acot acoth x0 -1 -1 Pow Add 1 Mul Mul x0 Pow x0 asech Add sec x0 acot acoth x0 Mul x0 Pow x0 asech Add sec x0 acot acoth x0 -1 Mul Mul Pow x2 atan Mul x0 Pow x0 asech Add sec x0 acot acoth x0 log Pow x2 atan Mul x0 Pow x0 asech Add sec x0 acot acoth x0 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 