atanh acot tan Add atanh x0 -1 
Mul Mul -1 Mul Mul Pow sec Add atanh x0 -1 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul tan Add atanh x0 -1 tan Add atanh x0 -1 -1 Pow Add 1 Mul -1 Mul acot tan Add atanh x0 -1 acot tan Add atanh x0 -1 -1 