Add Mul x0 Add 5 x1 Pow Mul acoth atan Pow log x4 Mul -1 x7 coth x3 x0 
Add Add 5 x1 Mul Pow Mul acoth atan Pow log x4 Mul -1 x7 coth x3 Add x0 -1 Mul Mul acoth atan Pow log x4 Mul -1 x7 coth x3 log Mul acoth atan Pow log x4 Mul -1 x7 coth x3 