atanh Add E Pow Mul acos x0 Add Add asec x7 sin Pow x0 acot pi x4 Add Pow x0 -5 8 
Mul Mul Pow Mul acos x0 Add Add asec x7 sin Pow x0 acot pi x4 Add Add Pow x0 -5 8 -1 Add Mul Add Pow x0 -5 8 Add Mul Add Add asec x7 sin Pow x0 acot pi x4 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Mul cos Pow x0 acot pi Mul Pow x0 Add acot pi -1 acot pi Mul Mul Mul acos x0 Add Add asec x7 sin Pow x0 acot pi x4 log Mul acos x0 Add Add asec x7 sin Pow x0 acot pi x4 Mul Pow x0 6 -5 Pow Add 1 Mul -1 Mul Add E Pow Mul acos x0 Add Add asec x7 sin Pow x0 acot pi x4 Add Pow x0 -5 8 Add E Pow Mul acos x0 Add Add asec x7 sin Pow x0 acot pi x4 Add Pow x0 -5 8 -1 