Add coth x1 Pow Mul Mul x0 atan tan x0 x0 Mul asin x7 Add x0 Pow coth x1 x0 
Mul Pow Mul Mul x0 atan tan x0 x0 Add Mul asin x7 Add x0 Pow coth x1 x0 -1 Add Mul Mul asin x7 Add x0 Pow coth x1 x0 Add Mul x0 Add atan tan x0 Mul x0 Mul Pow sec x0 2 Pow Add 1 Mul tan x0 tan x0 -1 Mul x0 atan tan x0 Mul Mul Mul Mul x0 atan tan x0 x0 log Mul Mul x0 atan tan x0 x0 Mul asin x7 Add 1 Mul Pow coth x1 Add x0 -1 Mul coth x1 log coth x1 