exp Mul x0 Add asinh asinh Mul x3 csch coth asinh x0 x0 
Mul exp Mul x0 Add asinh asinh Mul x3 csch coth asinh x0 x0 Add Add asinh asinh Mul x3 csch coth asinh x0 x0 Mul x0 Add Mul Mul Mul x3 Mul Mul Mul -1 coth coth asinh x0 csch coth asinh x0 Mul Mul -1 Pow csch asinh x0 2 Pow sqrt Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul Mul x3 csch coth asinh x0 Mul x3 csch coth asinh x0 -1 Pow sqrt Add 1 Mul asinh Mul x3 csch coth asinh x0 asinh Mul x3 csch coth asinh x0 -1 1 