Add Mul acoth Mul 3 x0 Mul sec x0 Pow Mul x0 x6 x1 Add Mul x0 -2 x3 
Add Add Mul Mul sec x0 Pow Mul x0 x6 x1 Mul 3 Pow Add 1 Mul -1 Mul Mul 3 x0 Mul 3 x0 -1 Mul acoth Mul 3 x0 Add Mul Pow Mul x0 x6 x1 Mul tan x0 sec x0 Mul sec x0 Mul Pow Mul x0 x6 Add x1 -1 Mul x1 x6 -2 