Mul Add x0 acot Mul Add tan x4 x0 Add -4 Mul x3 x1 asech Add 6 Mul x0 Pow x1 3 
Add Mul asech Add 6 Mul x0 Pow x1 3 Add 1 Mul -1 Mul Add -4 Mul x3 x1 Pow Add 1 Mul Mul Add tan x4 x0 Add -4 Mul x3 x1 Mul Add tan x4 x0 Add -4 Mul x3 x1 -1 Mul Add x0 acot Mul Add tan x4 x0 Add -4 Mul x3 x1 Mul Pow x1 3 Pow Mul Mul Add 6 Mul x0 Pow x1 3 Add 6 Mul x0 Pow x1 3 sqrt Add 1 Mul -1 Pow Mul Add 6 Mul x0 Pow x1 3 Add 6 Mul x0 Pow x1 3 -1 -1 