cos Mul Pow Mul sqrt x3 atan Mul x0 x4 tan x0 x1 
Mul Mul -1 sin Mul Pow Mul sqrt x3 atan Mul x0 x4 tan x0 x1 Mul x1 Mul Pow Mul sqrt x3 atan Mul x0 x4 Add tan x0 -1 Add Mul tan x0 Mul sqrt x3 Mul x4 Pow Add 1 Mul Mul x0 x4 Mul x0 x4 -1 Mul Mul Mul sqrt x3 atan Mul x0 x4 log Mul sqrt x3 atan Mul x0 x4 Pow sec x0 2 