Mul sec acot atanh Mul tanh Pow x0 2 x0 Add x6 -3 
Mul Add x6 -3 Mul Mul tan acot atanh Mul tanh Pow x0 2 x0 sec acot atanh Mul tanh Pow x0 2 x0 Mul -1 Mul Mul Add Mul x0 Mul Pow sech Pow x0 2 2 Mul x0 2 tanh Pow x0 2 Pow Add 1 Mul -1 Mul Mul tanh Pow x0 2 x0 Mul tanh Pow x0 2 x0 -1 Pow Add 1 Mul atanh Mul tanh Pow x0 2 x0 atanh Mul tanh Pow x0 2 x0 -1 