exp atanh cos Add Pow tanh E acot x0 -1 
Mul exp atanh cos Add Pow tanh E acot x0 -1 Mul Mul Mul -1 sin Add Pow tanh E acot x0 -1 Mul Pow tanh E Add acot x0 -1 Mul Mul tanh E log tanh E Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul cos Add Pow tanh E acot x0 -1 cos Add Pow tanh E acot x0 -1 -1 