Add Pow x2 asinh Pow Pow Add 2 acot Pow x5 acos Add x6 -3 x0 acot Mul x0 2 -4 
Mul Pow x2 Add asinh Pow Pow Add 2 acot Pow x5 acos Add x6 -3 x0 acot Mul x0 2 -1 Mul Mul x2 log x2 Mul Mul Pow Pow Add 2 acot Pow x5 acos Add x6 -3 x0 Add acot Mul x0 2 -1 Add Mul acot Mul x0 2 Mul Pow Add 2 acot Pow x5 acos Add x6 -3 Add x0 -1 Mul Add 2 acot Pow x5 acos Add x6 -3 log Add 2 acot Pow x5 acos Add x6 -3 Mul Mul Pow Add 2 acot Pow x5 acos Add x6 -3 x0 log Pow Add 2 acot Pow x5 acos Add x6 -3 x0 Mul -1 Mul 2 Pow Add 1 Mul Mul x0 2 Mul x0 2 -1 Pow sqrt Add 1 Mul Pow Pow Add 2 acot Pow x5 acos Add x6 -3 x0 acot Mul x0 2 Pow Pow Add 2 acot Pow x5 acos Add x6 -3 x0 acot Mul x0 2 -1 