acot Pow sech Pow x0 -2 x3 
Mul -1 Mul Mul Pow sech Pow x0 -2 Add x3 -1 Mul x3 Mul Mul tanh Pow x0 -2 Mul -1 sech Pow x0 -2 Mul Pow x0 3 -2 Pow Add 1 Mul Pow sech Pow x0 -2 x3 Pow sech Pow x0 -2 x3 -1 