Add Pow x0 Add x0 Add Add acoth acos Mul coth x3 -5 Mul x3 acoth x2 x5 x0 
Add Mul Pow x0 Add Add x0 Add Add acoth acos Mul coth x3 -5 Mul x3 acoth x2 x5 -1 Add Add x0 Add Add acoth acos Mul coth x3 -5 Mul x3 acoth x2 x5 Mul x0 log x0 1 