Pow Mul 4 Pow sec x0 Pow x0 x1 csch x4 
Mul Pow Mul 4 Pow sec x0 Pow x0 x1 Add csch x4 -1 Mul csch x4 Mul 4 Mul Pow sec x0 Add Pow x0 x1 -1 Add Mul Pow x0 x1 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Mul Pow x0 Add x1 -1 x1 