Mul Add x3 acot sech tan tanh x0 Mul x0 2 
Add Mul Mul x0 2 Mul -1 Mul Mul Mul tanh tan tanh x0 Mul -1 sech tan tanh x0 Mul Pow sec tanh x0 2 Pow sech x0 2 Pow Add 1 Mul sech tan tanh x0 sech tan tanh x0 -1 Mul Add x3 acot sech tan tanh x0 2 