atanh acot Mul 1.38171769354253 x0 
Mul Mul -1 Mul 1.38171769354253 Pow Add 1 Mul Mul 1.38171769354253 x0 Mul 1.38171769354253 x0 -1 Pow Add 1 Mul -1 Mul acot Mul 1.38171769354253 x0 acot Mul 1.38171769354253 x0 -1 