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