Mul Mul x0 Mul Mul x0 asin tan x0 x0 Mul coth x0 atanh x3 
Add Mul Mul coth x0 atanh x3 Add Mul Mul x0 asin tan x0 x0 Mul x0 Add Mul x0 Add asin tan x0 Mul x0 Mul Pow sec x0 2 Pow sqrt Add 1 Mul -1 Mul tan x0 tan x0 -1 Mul x0 asin tan x0 Mul Mul x0 Mul Mul x0 asin tan x0 x0 Mul atanh x3 Mul -1 Pow csch x0 2 