acot Mul x0 Mul Mul x0 Mul 3 Pow Add 2 x7 asinh x0 x0 
Mul -1 Mul Add Mul Mul x0 Mul 3 Pow Add 2 x7 asinh x0 x0 Mul x0 Add Mul x0 Add Mul 3 Pow Add 2 x7 asinh x0 Mul x0 Mul 3 Mul Pow Add 2 x7 Add asinh x0 -1 Mul Mul Add 2 x7 log Add 2 x7 Pow sqrt Add 1 Mul x0 x0 -1 Mul x0 Mul 3 Pow Add 2 x7 asinh x0 Pow Add 1 Mul Mul x0 Mul Mul x0 Mul 3 Pow Add 2 x7 asinh x0 x0 Mul x0 Mul Mul x0 Mul 3 Pow Add 2 x7 asinh x0 x0 -1 