atan Mul x0 asec Add -1 Mul Add coth acos acot E 1.58740105196820 -2 
Mul asec Add -1 Mul Add coth acos acot E 1.58740105196820 -2 Pow Add 1 Mul Mul x0 asec Add -1 Mul Add coth acos acot E 1.58740105196820 -2 Mul x0 asec Add -1 Mul Add coth acos acot E 1.58740105196820 -2 -1 