Add Add Add atanh asinh asinh exp cosh x0 x4 Mul csch x0 x0 x0 
Add Add Mul Mul Mul Mul exp cosh x0 sinh x0 Pow sqrt Add 1 Mul exp cosh x0 exp cosh x0 -1 Pow sqrt Add 1 Mul asinh exp cosh x0 asinh exp cosh x0 -1 Pow Add 1 Mul -1 Mul asinh asinh exp cosh x0 asinh asinh exp cosh x0 -1 Add Mul x0 Mul Mul -1 coth x0 csch x0 csch x0 1 