acot Mul atan Add Pow tan x4 sqrt Add x0 x0 4 Add 1 Add x6 x3 
Mul -1 Mul Mul Add 1 Add x6 x3 Mul Mul Pow tan x4 Add sqrt Add x0 x0 -1 Mul Mul tan x4 log tan x4 Mul Pow Mul 2 sqrt Add x0 x0 -1 2 Pow Add 1 Mul Add Pow tan x4 sqrt Add x0 x0 4 Add Pow tan x4 sqrt Add x0 x0 4 -1 Pow Add 1 Mul Mul atan Add Pow tan x4 sqrt Add x0 x0 4 Add 1 Add x6 x3 Mul atan Add Pow tan x4 sqrt Add x0 x0 4 Add 1 Add x6 x3 -1 