acoth Add x0 Pow atanh Mul x0 2 sinh x7 
Mul Add 1 Mul Pow atanh Mul x0 2 Add sinh x7 -1 Mul sinh x7 Mul 2 Pow Add 1 Mul -1 Mul Mul x0 2 Mul x0 2 -1 Pow Add 1 Mul -1 Mul Add x0 Pow atanh Mul x0 2 sinh x7 Add x0 Pow atanh Mul x0 2 sinh x7 -1 