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