Mul Pow x0 tan x0 asech Mul tan Pow x3 exp acoth log x0 x2 
Add Mul asech Mul tan Pow x3 exp acoth log x0 x2 Mul Pow x0 Add tan x0 -1 Add tan x0 Mul Mul x0 log x0 Pow sec x0 2 Mul Pow x0 tan x0 Mul Mul x2 Mul Pow sec Pow x3 exp acoth log x0 2 Mul Pow x3 Add exp acoth log x0 -1 Mul Mul x3 log x3 Mul exp acoth log x0 Mul Pow x0 -1 Pow Add 1 Mul -1 Mul log x0 log x0 -1 Pow Mul Mul Mul tan Pow x3 exp acoth log x0 x2 Mul tan Pow x3 exp acoth log x0 x2 sqrt Add 1 Mul -1 Pow Mul Mul tan Pow x3 exp acoth log x0 x2 Mul tan Pow x3 exp acoth log x0 x2 -1 -1 