Mul Pow acot Add x0 Add Pow x6 tan x0 atanh x4 x7 x0 
Add Mul x0 Mul Pow acot Add x0 Add Pow x6 tan x0 atanh x4 Add x7 -1 Mul x7 Mul -1 Mul Add 1 Mul Pow x6 Add tan x0 -1 Mul Mul x6 log x6 Pow sec x0 2 Pow Add 1 Mul Add x0 Add Pow x6 tan x0 atanh x4 Add x0 Add Pow x6 tan x0 atanh x4 -1 Pow acot Add x0 Add Pow x6 tan x0 atanh x4 x7 