Mul atanh x0 sec Add cosh sech acot x0 -2 
Add Mul sec Add cosh sech acot x0 -2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Mul Mul tan Add cosh sech acot x0 -2 sec Add cosh sech acot x0 -2 Mul sinh sech acot x0 Mul Mul tanh acot x0 Mul -1 sech acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 