atanh Mul Mul Pow Mul x0 Mul x0 Mul acot acos x2 1.81844645923207 x7 4 -1 
Mul Mul -1 Mul 4 Mul Pow Mul x0 Mul x0 Mul acot acos x2 1.81844645923207 Add x7 -1 Mul x7 Add Mul x0 Mul acot acos x2 1.81844645923207 Mul x0 Mul acot acos x2 1.81844645923207 Pow Add 1 Mul -1 Mul Mul Mul Pow Mul x0 Mul x0 Mul acot acos x2 1.81844645923207 x7 4 -1 Mul Mul Pow Mul x0 Mul x0 Mul acot acos x2 1.81844645923207 x7 4 -1 -1 