acot Pow Mul asinh Pow Pow Pow x6 Pow x0 Mul -5 asinh x1 x0 Pow Pow Mul x0 x0 x0 x0 Add -1 x0 -3 
Mul -1 Mul Mul Pow Mul asinh Pow Pow Pow x6 Pow x0 Mul -5 asinh x1 x0 Pow Pow Mul x0 x0 x0 x0 Add -1 x0 4 Mul -3 Add Mul Add -1 x0 Mul Mul Pow Pow Pow x6 Pow x0 Mul -5 asinh x1 x0 Add Pow Pow Mul x0 x0 x0 x0 -1 Add Mul Pow Pow Mul x0 x0 x0 x0 Mul Pow Pow x6 Pow x0 Mul -5 asinh x1 Add x0 -1 Add Mul x0 Mul Pow x6 Add Pow x0 Mul -5 asinh x1 -1 Mul Mul x6 log x6 Mul Pow x0 Add Mul -5 asinh x1 -1 Mul -5 asinh x1 Mul Pow x6 Pow x0 Mul -5 asinh x1 log Pow x6 Pow x0 Mul -5 asinh x1 Mul Mul Pow Pow x6 Pow x0 Mul -5 asinh x1 x0 log Pow Pow x6 Pow x0 Mul -5 asinh x1 x0 Mul Pow Pow Mul x0 x0 x0 Add x0 -1 Add Mul x0 Mul Pow Mul x0 x0 Add x0 -1 Add Mul x0 Add x0 x0 Mul Mul x0 x0 log Mul x0 x0 Mul Pow Mul x0 x0 x0 log Pow Mul x0 x0 x0 Pow sqrt Add 1 Mul Pow Pow Pow x6 Pow x0 Mul -5 asinh x1 x0 Pow Pow Mul x0 x0 x0 x0 Pow Pow Pow x6 Pow x0 Mul -5 asinh x1 x0 Pow Pow Mul x0 x0 x0 x0 -1 asinh Pow Pow Pow x6 Pow x0 Mul -5 asinh x1 x0 Pow Pow Mul x0 x0 x0 x0 Pow Add 1 Mul Pow Mul asinh Pow Pow Pow x6 Pow x0 Mul -5 asinh x1 x0 Pow Pow Mul x0 x0 x0 x0 Add -1 x0 -3 Pow Mul asinh Pow Pow Pow x6 Pow x0 Mul -5 asinh x1 x0 Pow Pow Mul x0 x0 x0 x0 Add -1 x0 -3 -1 