acos Mul Add Add Mul Mul tan x0 atanh coth x7 x0 -3 x0 x0 
Mul -1 Mul Add Mul x0 Add Add Mul x0 Mul atanh coth x7 Pow sec x0 2 Mul tan x0 atanh coth x7 1 Add Add Mul Mul tan x0 atanh coth x7 x0 -3 x0 Pow sqrt Add 1 Mul -1 Mul Mul Add Add Mul Mul tan x0 atanh coth x7 x0 -3 x0 x0 Mul Add Add Mul Mul tan x0 atanh coth x7 x0 -3 x0 x0 -1 