Mul Pow acot Pow -1 x4 acot acot Mul Add x0 -2 atan x2 sech tan x0 
Add Mul sech tan x0 Mul Pow acot Pow -1 x4 Add acot acot Mul Add x0 -2 atan x2 -1 Mul Mul acot Pow -1 x4 log acot Pow -1 x4 Mul -1 Mul Mul -1 Mul atan x2 Pow Add 1 Mul Mul Add x0 -2 atan x2 Mul Add x0 -2 atan x2 -1 Pow Add 1 Mul acot Mul Add x0 -2 atan x2 acot Mul Add x0 -2 atan x2 -1 Mul Pow acot Pow -1 x4 acot acot Mul Add x0 -2 atan x2 Mul Mul tanh tan x0 Mul -1 sech tan x0 Pow sec x0 2 