exp Pow exp Add asech x0 Mul x5 Add Add x0 acos x0 x4 x0 
Mul exp Pow exp Add asech x0 Mul x5 Add Add x0 acos x0 x4 x0 Mul Pow exp Add asech x0 Mul x5 Add Add x0 acos x0 x4 Add x0 -1 Add Mul x0 Mul exp Add asech x0 Mul x5 Add Add x0 acos x0 x4 Add Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul x5 Add 1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul exp Add asech x0 Mul x5 Add Add x0 acos x0 x4 log exp Add asech x0 Mul x5 Add Add x0 acos x0 x4 