tanh Add x0 Mul sec sinh acoth x0 log x3 
Mul Pow sech Add x0 Mul sec sinh acoth x0 log x3 2 Add 1 Mul log x3 Mul Mul tan sinh acoth x0 sec sinh acoth x0 Mul cosh acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 