Add Add -3 Pow x0 Add atan sech exp coth atan x0 x0 Pow x0 x1 
Add Mul Pow x0 Add Add atan sech exp coth atan x0 x0 -1 Add Add atan sech exp coth atan x0 x0 Mul Mul x0 log x0 Add Mul Mul Mul tanh exp coth atan x0 Mul -1 sech exp coth atan x0 Mul exp coth atan x0 Mul Mul -1 Pow csch atan x0 2 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul sech exp coth atan x0 sech exp coth atan x0 -1 1 Mul Pow x0 Add x1 -1 x1 