Mul Pow x0 x0 Mul x0 Mul Add asinh Mul Mul x2 sqrt acot x3 -2 asin x3 x0 
Add Mul Mul x0 Mul Add asinh Mul Mul x2 sqrt acot x3 -2 asin x3 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 Add Mul Add asinh Mul Mul x2 sqrt acot x3 -2 asin x3 x0 Mul x0 Add asinh Mul Mul x2 sqrt acot x3 -2 asin x3 