Add 2 acoth Pow tan Pow Mul x6 2 acot Add tan x6 x7 x0 
Mul Mul Pow tan Pow Mul x6 2 acot Add tan x6 x7 Add x0 -1 Mul tan Pow Mul x6 2 acot Add tan x6 x7 log tan Pow Mul x6 2 acot Add tan x6 x7 Pow Add 1 Mul -1 Mul Pow tan Pow Mul x6 2 acot Add tan x6 x7 x0 Pow tan Pow Mul x6 2 acot Add tan x6 x7 x0 -1 