Add Pow sec cosh x0 Add Mul acot x2 x0 E x0 
Add Mul Pow sec cosh x0 Add Add Mul acot x2 x0 E -1 Add Mul Add Mul acot x2 x0 E Mul Mul tan cosh x0 sec cosh x0 sinh x0 Mul Mul sec cosh x0 log sec cosh x0 acot x2 1 