Pow Mul Mul -1 csch Mul -3 x4 x0 tan x0 
Mul Pow Mul Mul -1 csch Mul -3 x4 x0 Add tan x0 -1 Add Mul tan x0 Mul -1 csch Mul -3 x4 Mul Mul Mul Mul -1 csch Mul -3 x4 x0 log Mul Mul -1 csch Mul -3 x4 x0 Pow sec x0 2 