Mul x0 acos Pow x0 exp Add Mul Pow x0 acot x0 Pow Add atanh x0 x0 x7 x4 
Add acos Pow x0 exp Add Mul Pow x0 acot x0 Pow Add atanh x0 x0 x7 x4 Mul x0 Mul -1 Mul Mul Pow x0 Add exp Add Mul Pow x0 acot x0 Pow Add atanh x0 x0 x7 x4 -1 Add exp Add Mul Pow x0 acot x0 Pow Add atanh x0 x0 x7 x4 Mul Mul x0 log x0 Mul exp Add Mul Pow x0 acot x0 Pow Add atanh x0 x0 x7 x4 Add Mul Pow Add atanh x0 x0 x7 Mul Pow x0 Add acot x0 -1 Add acot x0 Mul Mul x0 log x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow x0 acot x0 Mul Pow Add atanh x0 x0 Add x7 -1 Mul x7 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 Pow sqrt Add 1 Mul -1 Mul Pow x0 exp Add Mul Pow x0 acot x0 Pow Add atanh x0 x0 x7 x4 Pow x0 exp Add Mul Pow x0 acot x0 Pow Add atanh x0 x0 x7 x4 -1 