Add x0 Add 1 Add Mul acoth x0 asech Mul Add Mul -2 atanh x0 -1 2 Pow -2 x6 
Add 1 Add Mul asech Mul Add Mul -2 atanh x0 -1 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Mul 2 Mul -2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Mul Add Mul -2 atanh x0 -1 2 Mul Add Mul -2 atanh x0 -1 2 sqrt Add 1 Mul -1 Pow Mul Mul Add Mul -2 atanh x0 -1 2 Mul Add Mul -2 atanh x0 -1 2 -1 -1 