Mul Pow coth Mul x0 Pow tan x3 x0 acot csc x3 asec Mul x0 -4 
Add Mul asec Mul x0 -4 Mul Pow coth Mul x0 Pow tan x3 x0 Add acot csc x3 -1 Mul acot csc x3 Mul Mul -1 Pow csch Mul x0 Pow tan x3 x0 2 Add Pow tan x3 x0 Mul x0 Mul Pow tan x3 Add x0 -1 Mul tan x3 log tan x3 Mul Pow coth Mul x0 Pow tan x3 x0 acot csc x3 Mul -4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 -4 Mul x0 -4 -1 Mul x0 -4 Mul x0 -4 -1 