Pow Pow x5 Pow Mul -2 acot x2 Mul -1 x0 tan x3 
Mul Pow Pow x5 Pow Mul -2 acot x2 Mul -1 x0 Add tan x3 -1 Mul tan x3 Mul Pow x5 Add Pow Mul -2 acot x2 Mul -1 x0 -1 Mul Mul x5 log x5 Mul Pow Mul -2 acot x2 Add Mul -1 x0 -1 Mul Mul Mul -2 acot x2 log Mul -2 acot x2 -1 