Add acsch x1 Add x0 Add asech Pow Pow asin x0 Mul pi x7 x3 x0 
Add 1 Add Mul Mul Pow Pow asin x0 Mul pi x7 Add x3 -1 Mul x3 Mul Pow asin x0 Add Mul pi x7 -1 Mul Mul pi x7 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Pow Pow asin x0 Mul pi x7 x3 Pow Pow asin x0 Mul pi x7 x3 sqrt Add 1 Mul -1 Pow Mul Pow Pow asin x0 Mul pi x7 x3 Pow Pow asin x0 Mul pi x7 x3 -1 -1 1 