Mul x0 Mul asinh asin Add sec Pow asech E x0 1 -4 
Add Mul asinh asin Add sec Pow asech E x0 1 -4 Mul x0 Mul -4 Mul Mul Mul Mul tan Pow asech E x0 sec Pow asech E x0 Mul Pow asech E Add x0 -1 Mul asech E log asech E Pow sqrt Add 1 Mul -1 Mul Add sec Pow asech E x0 1 Add sec Pow asech E x0 1 -1 Pow sqrt Add 1 Mul asin Add sec Pow asech E x0 1 asin Add sec Pow asech E x0 1 -1 