Mul Pow Add x6 Add -4 Pow x2 asech asinh asin Mul x2 acsc E x0 2 
Mul 2 Mul Pow Add x6 Add -4 Pow x2 asech asinh asin Mul x2 acsc E Add x0 -1 Mul Add x6 Add -4 Pow x2 asech asinh asin Mul x2 acsc E log Add x6 Add -4 Pow x2 asech asinh asin Mul x2 acsc E 