sec Pow sinh asinh acsc acot E x0 
Mul Mul tan Pow sinh asinh acsc acot E x0 sec Pow sinh asinh acsc acot E x0 Mul Pow sinh asinh acsc acot E Add x0 -1 Mul sinh asinh acsc acot E log sinh asinh acsc acot E 