Pow Mul x0 Pow Pow tan x0 x0 Pow x0 16 atan x0 
Mul Pow Mul x0 Pow Pow tan x0 x0 Pow x0 16 Add atan x0 -1 Add Mul atan x0 Add Pow Pow tan x0 x0 Pow x0 16 Mul x0 Mul Pow Pow tan x0 x0 Add Pow x0 16 -1 Add Mul Pow x0 16 Mul Pow tan x0 Add x0 -1 Add Mul x0 Pow sec x0 2 Mul tan x0 log tan x0 Mul Mul Pow tan x0 x0 log Pow tan x0 x0 Mul Pow x0 15 16 Mul Mul Mul x0 Pow Pow tan x0 x0 Pow x0 16 log Mul x0 Pow Pow tan x0 x0 Pow x0 16 Pow Add 1 Mul x0 x0 -1 