Pow Mul acoth x3 x0 atan Mul atanh tan x0 x7 
Mul Pow Mul acoth x3 x0 Add atan Mul atanh tan x0 x7 -1 Add Mul atan Mul atanh tan x0 x7 acoth x3 Mul Mul Mul acoth x3 x0 log Mul acoth x3 x0 Mul Mul x7 Mul Pow sec x0 2 Pow Add 1 Mul -1 Mul tan x0 tan x0 -1 Pow Add 1 Mul Mul atanh tan x0 x7 Mul atanh tan x0 x7 -1 