Add exp Add Pow Add x0 x0 coth asinh acsc x3 atanh x0 sinh x0 
Add Mul exp Add Pow Add x0 x0 coth asinh acsc x3 atanh x0 Add Mul Pow Add x0 x0 Add coth asinh acsc x3 -1 Mul coth asinh acsc x3 2 Pow Add 1 Mul -1 Mul x0 x0 -1 cosh x0 