Add Mul x0 asinh sin coth asin x0 Mul log x1 -5 
Add asinh sin coth asin x0 Mul x0 Mul Mul cos coth asin x0 Mul Mul -1 Pow csch asin x0 2 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul sin coth asin x0 sin coth asin x0 -1 