Add Mul x0 Mul Pow acoth Add x6 Mul x0 Add coth E E exp cosh x0 sqrt x0 x0 
Add Add Mul Pow acoth Add x6 Mul x0 Add coth E E exp cosh x0 sqrt x0 Mul x0 Add Mul sqrt x0 Mul Pow acoth Add x6 Mul x0 Add coth E E Add exp cosh x0 -1 Add Mul exp cosh x0 Mul Add coth E E Pow Add 1 Mul -1 Mul Add x6 Mul x0 Add coth E E Add x6 Mul x0 Add coth E E -1 Mul Mul acoth Add x6 Mul x0 Add coth E E log acoth Add x6 Mul x0 Add coth E E Mul exp cosh x0 sinh x0 Mul Pow acoth Add x6 Mul x0 Add coth E E exp cosh x0 Pow Mul 2 sqrt x0 -1 1 