Mul Mul Add x0 acot x0 Mul asech x6 x3 asin Pow Add pi x0 3 
Add Mul asin Pow Add pi x0 3 Mul Mul asech x6 x3 Add 1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Add x0 acot x0 Mul asech x6 x3 Mul Mul Pow Add pi x0 2 3 Pow sqrt Add 1 Mul -1 Mul Pow Add pi x0 3 Pow Add pi x0 3 -1 