Mul x2 Pow Pow Mul Add 4 Pow x0 2 acot sec acos x4 E Pow sec x0 Pow x0 4 
Mul x2 Mul Pow Pow Mul Add 4 Pow x0 2 acot sec acos x4 E Add Pow sec x0 Pow x0 4 -1 Add Mul Pow sec x0 Pow x0 4 Mul Pow Mul Add 4 Pow x0 2 acot sec acos x4 Add E -1 Mul E Mul acot sec acos x4 Mul x0 2 Mul Mul Pow Mul Add 4 Pow x0 2 acot sec acos x4 E log Pow Mul Add 4 Pow x0 2 acot sec acos x4 E Mul Pow sec x0 Add Pow x0 4 -1 Add Mul Pow x0 4 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Mul Pow x0 3 4 