asin Mul Mul x0 atanh x0 Pow sec asin Add x0 Mul E x0 2 
Mul Add Mul Pow sec asin Add x0 Mul E x0 2 Add atanh x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x0 atanh x0 Mul sec asin Add x0 Mul E x0 Mul 2 Mul Mul tan asin Add x0 Mul E x0 sec asin Add x0 Mul E x0 Mul Add 1 E Pow sqrt Add 1 Mul -1 Mul Add x0 Mul E x0 Add x0 Mul E x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 atanh x0 Pow sec asin Add x0 Mul E x0 2 Mul Mul x0 atanh x0 Pow sec asin Add x0 Mul E x0 2 -1 