Pow Pow x1 x0 Add Add Add x0 acot Pow asech Pow acos asin Mul x0 x0 x4 x0 x0 log x2 
Mul Pow Pow x1 x0 Add Add Add Add x0 acot Pow asech Pow acos asin Mul x0 x0 x4 x0 x0 log x2 -1 Add Mul Add Add Add x0 acot Pow asech Pow acos asin Mul x0 x0 x4 x0 x0 log x2 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Mul Pow x1 x0 log Pow x1 x0 Add Add 1 Mul -1 Mul Mul Pow asech Pow acos asin Mul x0 x0 x4 Add x0 -1 Add Mul x0 Mul Mul Pow acos asin Mul x0 x0 Add x4 -1 Mul x4 Mul -1 Mul Mul Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul asin Mul x0 x0 asin Mul x0 x0 -1 Pow Mul Mul Pow acos asin Mul x0 x0 x4 Pow acos asin Mul x0 x0 x4 sqrt Add 1 Mul -1 Pow Mul Pow acos asin Mul x0 x0 x4 Pow acos asin Mul x0 x0 x4 -1 -1 Mul asech Pow acos asin Mul x0 x0 x4 log asech Pow acos asin Mul x0 x0 x4 Pow Add 1 Mul Pow asech Pow acos asin Mul x0 x0 x4 x0 Pow asech Pow acos asin Mul x0 x0 x4 x0 -1 1 