Add asec cosh x7 Pow atanh csch Mul -4 Mul Pow -2 E -4 sec x0 
Mul Pow atanh csch Mul -4 Mul Pow -2 E -4 Add sec x0 -1 Mul Mul atanh csch Mul -4 Mul Pow -2 E -4 log atanh csch Mul -4 Mul Pow -2 E -4 Mul tan x0 sec x0 