Mul cosh Pow x0 -4 Pow Mul exp x0 acot x2 tan x0 
Add Mul Pow Mul exp x0 acot x2 tan x0 Mul sinh Pow x0 -4 Mul Pow x0 5 -4 Mul cosh Pow x0 -4 Mul Pow Mul exp x0 acot x2 Add tan x0 -1 Add Mul tan x0 Mul acot x2 exp x0 Mul Mul Mul exp x0 acot x2 log Mul exp x0 acot x2 Pow sec x0 2 