exp Add x0 Pow sinh acoth x4 Pow pi sec Pow Mul E acot x2 exp x0 
Mul exp Add x0 Pow sinh acoth x4 Pow pi sec Pow Mul E acot x2 exp x0 Add 1 Mul Pow sinh acoth x4 Add Pow pi sec Pow Mul E acot x2 exp x0 -1 Mul Mul sinh acoth x4 log sinh acoth x4 Mul Pow pi Add sec Pow Mul E acot x2 exp x0 -1 Mul Mul pi log pi Mul Mul tan Pow Mul E acot x2 exp x0 sec Pow Mul E acot x2 exp x0 Mul Pow Mul E acot x2 Add exp x0 -1 Mul Mul Mul E acot x2 log Mul E acot x2 exp x0 