Mul x0 Pow Mul acot x0 Mul tan x0 Pow atanh x0 x6 3 
Add Pow Mul acot x0 Mul tan x0 Pow atanh x0 x6 3 Mul x0 Mul Pow Mul acot x0 Mul tan x0 Pow atanh x0 x6 2 Mul 3 Add Mul Mul tan x0 Pow atanh x0 x6 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Add Mul Pow atanh x0 x6 Pow sec x0 2 Mul tan x0 Mul Pow atanh x0 Add x6 -1 Mul x6 Pow Add 1 Mul -1 Mul x0 x0 -1 