atan Add Add asech x0 x0 Pow Pow Pow x0 asin Mul x0 E x5 2 
Mul Add Add Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 1 Mul Pow Pow x0 asin Mul x0 E x5 Mul 2 Mul Pow Pow x0 asin Mul x0 E Add x5 -1 Mul x5 Mul Pow x0 Add asin Mul x0 E -1 Add asin Mul x0 E Mul Mul x0 log x0 Mul E Pow sqrt Add 1 Mul -1 Mul Mul x0 E Mul x0 E -1 Pow Add 1 Mul Add Add asech x0 x0 Pow Pow Pow x0 asin Mul x0 E x5 2 Add Add asech x0 x0 Pow Pow Pow x0 asin Mul x0 E x5 2 -1 