acot Mul x0 atanh Mul 1.81844645923207 Mul x1 sqrt x7 
Mul -1 Mul atanh Mul 1.81844645923207 Mul x1 sqrt x7 Pow Add 1 Mul Mul x0 atanh Mul 1.81844645923207 Mul x1 sqrt x7 Mul x0 atanh Mul 1.81844645923207 Mul x1 sqrt x7 -1 