tanh exp sech Add acsch log x0 x4 
Mul Pow sech exp sech Add acsch log x0 x4 2 Mul exp sech Add acsch log x0 x4 Mul Mul tanh Add acsch log x0 x4 Mul -1 sech Add acsch log x0 x4 Mul Mul -1 Pow x0 -1 Pow Mul Mul log x0 log x0 sqrt Add 1 Mul -1 Pow Mul log x0 log x0 -1 -1 