Pow Mul acot E x0 tanh Add cosh Pow x0 x0 x0 
Mul Pow Mul acot E x0 Add tanh Add cosh Pow x0 x0 x0 -1 Add Mul tanh Add cosh Pow x0 x0 x0 acot E Mul Mul Mul acot E x0 log Mul acot E x0 Mul Pow sech Add cosh Pow x0 x0 x0 2 Add Mul sinh Pow x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 