asin Pow Mul asech Mul x0 E x0 log x3 
Mul Mul Pow Mul asech Mul x0 E x0 Add log x3 -1 Mul log x3 Add Mul x0 Mul E Pow Mul Mul Mul x0 E Mul x0 E sqrt Add 1 Mul -1 Pow Mul Mul x0 E Mul x0 E -1 -1 asech Mul x0 E Pow sqrt Add 1 Mul -1 Mul Pow Mul asech Mul x0 E x0 log x3 Pow Mul asech Mul x0 E x0 log x3 -1 