Mul acos acot x1 Mul Pow 0.0625407617964914 x0 Mul log atanh Mul x0 asech x1 x0 
Mul acos acot x1 Add Mul Mul log atanh Mul x0 asech x1 x0 Mul Pow 0.0625407617964914 Add x0 -1 -2.70939598428208 Mul Pow 0.0625407617964914 x0 Add Mul x0 Mul Mul asech x1 Pow Add 1 Mul -1 Mul Mul x0 asech x1 Mul x0 asech x1 -1 Pow atanh Mul x0 asech x1 -1 log atanh Mul x0 asech x1 