Mul x0 cos acot sqrt acot tan Mul acosh Mul -3 sech E x0 
Add cos acot sqrt acot tan Mul acosh Mul -3 sech E x0 Mul x0 Mul Mul -1 sin acot sqrt acot tan Mul acosh Mul -3 sech E x0 Mul -1 Mul Mul Pow Mul 2 sqrt acot tan Mul acosh Mul -3 sech E x0 -1 Mul -1 Mul Mul Pow sec Mul acosh Mul -3 sech E x0 2 acosh Mul -3 sech E Pow Add 1 Mul tan Mul acosh Mul -3 sech E x0 tan Mul acosh Mul -3 sech E x0 -1 Pow Add 1 Mul sqrt acot tan Mul acosh Mul -3 sech E x0 sqrt acot tan Mul acosh Mul -3 sech E x0 -1 