acot Pow Mul Pow x0 x4 sech Pow x1 x0 sqrt sec Pow log x4 2 
Mul -1 Mul Mul Pow Mul Pow x0 x4 sech Pow x1 x0 Add sqrt sec Pow log x4 2 -1 Mul sqrt sec Pow log x4 2 Add Mul sech Pow x1 x0 Mul Pow x0 Add x4 -1 x4 Mul Pow x0 x4 Mul Mul tanh Pow x1 x0 Mul -1 sech Pow x1 x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow Add 1 Mul Pow Mul Pow x0 x4 sech Pow x1 x0 sqrt sec Pow log x4 2 Pow Mul Pow x0 x4 sech Pow x1 x0 sqrt sec Pow log x4 2 -1 