Mul acot asech acosh tan x7 Add Mul Add x0 sinh atanh Pow x0 E -4 x0 
Mul acot asech acosh tan x7 Add Mul -4 Add 1 Mul cosh atanh Pow x0 E Mul Mul Pow x0 Add E -1 E Pow Add 1 Mul -1 Mul Pow x0 E Pow x0 E -1 1 