Mul 1.02571304583553 Pow Add x6 -4 exp coth sinh Mul x0 sqrt x0 
Mul 1.02571304583553 Mul Pow Add x6 -4 Add exp coth sinh Mul x0 sqrt x0 -1 Mul Mul Add x6 -4 log Add x6 -4 Mul exp coth sinh Mul x0 sqrt x0 Mul Mul -1 Pow csch sinh Mul x0 sqrt x0 2 Mul cosh Mul x0 sqrt x0 Add sqrt x0 Mul x0 Pow Mul 2 sqrt x0 -1 