Add atan Mul Add x0 Mul E atanh Mul x0 asinh acot x1 Mul x0 -2 Add 0.254916202082568 x0 
Add Mul Add Mul Mul x0 -2 Add 1 Mul E Mul asinh acot x1 Pow Add 1 Mul -1 Mul Mul x0 asinh acot x1 Mul x0 asinh acot x1 -1 Mul Add x0 Mul E atanh Mul x0 asinh acot x1 -2 Pow Add 1 Mul Mul Add x0 Mul E atanh Mul x0 asinh acot x1 Mul x0 -2 Mul Add x0 Mul E atanh Mul x0 asinh acot x1 Mul x0 -2 -1 1 