Add acoth Pow Mul log x0 x7 log Add x0 x5 -4 
Mul Mul Pow Mul log x0 x7 Add log Add x0 x5 -1 Add Mul log Add x0 x5 Mul x7 Pow x0 -1 Mul Mul Mul log x0 x7 log Mul log x0 x7 Pow Add x0 x5 -1 Pow Add 1 Mul -1 Mul Pow Mul log x0 x7 log Add x0 x5 Pow Mul log x0 x7 log Add x0 x5 -1 