Mul Mul x0 -2 Add atanh Add Add exp Add -4 Pow x0 x0 x0 acot x7 asech x1 
Add Mul Add atanh Add Add exp Add -4 Pow x0 x0 x0 acot x7 asech x1 -2 Mul Mul x0 -2 Mul Add Mul exp Add -4 Pow x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 Pow Add 1 Mul -1 Mul Add Add exp Add -4 Pow x0 x0 x0 acot x7 Add Add exp Add -4 Pow x0 x0 x0 acot x7 -1 