Mul x0 Add Mul Mul asech asin x0 Mul Mul pi Mul x0 x0 -4 6 -3 
Add Add Mul Mul asech asin x0 Mul Mul pi Mul x0 x0 -4 6 -3 Mul x0 Mul 6 Add Mul Mul Mul pi Mul x0 x0 -4 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul asin x0 asin x0 sqrt Add 1 Mul -1 Pow Mul asin x0 asin x0 -1 -1 Mul asech asin x0 Mul -4 Mul pi Add x0 x0 