acot Add Mul x1 Pow Mul x7 x7 Add x0 Pow x7 asinh asech x0 x0 
Mul -1 Mul Add Mul x1 Mul Pow Mul x7 x7 Add Add x0 Pow x7 asinh asech x0 -1 Mul Mul Mul x7 x7 log Mul x7 x7 Add 1 Mul Pow x7 Add asinh asech x0 -1 Mul Mul x7 log x7 Mul Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul asech x0 asech x0 -1 1 Pow Add 1 Mul Add Mul x1 Pow Mul x7 x7 Add x0 Pow x7 asinh asech x0 x0 Add Mul x1 Pow Mul x7 x7 Add x0 Pow x7 asinh asech x0 x0 -1 