Add Pow x0 exp exp Add Add x0 2 cosh coth asin x0 x7 
Mul Pow x0 Add exp exp Add Add x0 2 cosh coth asin x0 -1 Add exp exp Add Add x0 2 cosh coth asin x0 Mul Mul x0 log x0 Mul exp exp Add Add x0 2 cosh coth asin x0 Mul exp Add Add x0 2 cosh coth asin x0 Add 1 Mul sinh coth asin x0 Mul Mul -1 Pow csch asin x0 2 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 