asin Mul Mul Mul Add x0 pi x0 x0 asin sech x7 
Mul Mul asin sech x7 Add Mul x0 Add x0 Add x0 pi Mul Add x0 pi x0 Pow sqrt Add 1 Mul -1 Mul Mul Mul Mul Add x0 pi x0 x0 asin sech x7 Mul Mul Mul Add x0 pi x0 x0 asin sech x7 -1 