Add Pow Mul 4 x0 -2 Pow Add tan x0 Pow acoth x0 x2 E 
Add Mul Pow Mul 4 x0 3 2 Mul Pow Add tan x0 Pow acoth x0 x2 Add E -1 Mul E Add Pow sec x0 2 Mul Pow acoth x0 Add x2 -1 Mul x2 Pow Add 1 Mul -1 Mul x0 x0 -1 