Mul atanh Pow x0 Add x7 Pow log x1 sinh x2 2 
Mul 2 Mul Mul Pow x0 Add Add x7 Pow log x1 sinh x2 -1 Add x7 Pow log x1 sinh x2 Pow Add 1 Mul -1 Mul Pow x0 Add x7 Pow log x1 sinh x2 Pow x0 Add x7 Pow log x1 sinh x2 -1 