Pow x0 Add Mul x0 Mul Pow x0 Mul x0 acoth x5 x0 Add x0 0.0123456790123457 
Mul Pow x0 Add Add Mul x0 Mul Pow x0 Mul x0 acoth x5 x0 Add x0 0.0123456790123457 -1 Add Add Mul x0 Mul Pow x0 Mul x0 acoth x5 x0 Add x0 0.0123456790123457 Mul Mul x0 log x0 Add Add Mul Pow x0 Mul x0 acoth x5 x0 Mul x0 Add Mul x0 Mul Pow x0 Add Mul x0 acoth x5 -1 Add Mul x0 acoth x5 Mul Mul x0 log x0 acoth x5 Pow x0 Mul x0 acoth x5 1 