Mul Pow x3 acot x0 Pow acos atanh acos x0 Mul x0 asinh x4 
Add Mul Pow acos atanh acos x0 Mul x0 asinh x4 Mul Pow x3 Add acot x0 -1 Mul Mul x3 log x3 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow x3 acot x0 Mul Pow acos atanh acos x0 Add Mul x0 asinh x4 -1 Add Mul Mul x0 asinh x4 Mul -1 Mul Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acos x0 acos x0 -1 Pow sqrt Add 1 Mul -1 Mul atanh acos x0 atanh acos x0 -1 Mul Mul acos atanh acos x0 log acos atanh acos x0 asinh x4 